Educational software program for teaching modal testing.

Felipe Jiménez Consuelo Huerta

Published in: Comput. Appl. Eng. Educ. (2010)

Keyphrases

educational software
software design
test cases
symbolic execution
computer games
test suite
teaching materials
secondary education
modal logic
learning strategies
software testing