Software
Postcondition
EiffelStudio
Eiffel
Design by contract
Test case
Precondition
Test automation
Oracle
Software testing
Software engineering
Software development