Mutation Testing Author

Name: Ana Rosa Cavalli
Affiliation: Institut National des Telecommunications
1Samrat S. Batth and Elisangela Rodrigues Vieira and Ana Rosa Cavalli and M. Umit Uyar
Specification of Timed EFSM Fault Models in SDL
Proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'07)Tallinn, Estonia, 26-29 June 2007.
BibTeX | Abstract | URL