OConGraX automatically generating data-flow test cases for fault-tolerant systems
Paulo Roberto de Araújo França Nunes Simone Hanazumi; Ana Cristina Vieira de Melo; International Workshop on Formal Approaches to Software Testing - FATES (9. 2009 Eindhoven, The Netherlands); International Conference on Testing of Software and Communicating Systems - TestCom: IFIP (21. 2009 Eindhoven, The Netherlands)
Proceedings Berlin : Springer, 2009Berlin Springer 2009
Localização: IME - Inst. Matemática e Estatística (PROD-3010427 )(Acessar)