Model-based testing of software and systems: recent advances and challenges
Experimental Evaluation of Coverage Criteria for FSM-based Testing
Int J Softw Tools Technol Transfer
José Carlos Maldonado
Adenilso da Silva Simão