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, 2009
Berlin Springer 2009
Localização:
IME - Inst. Matemática e Estatística
(PROD-3010427 )(Acessar)