• « computable software auto
• » computable: testing