Proteum: A family of tools to support specification and program testing based on mutation JC Maldonado, ME Delamaro, SCPF Fabbri, A da Silva Simão, T Sugeta, ... Mutation testing for the new century, 113-116, 2001 | 70 | 2001 |
Structural testing criteria for message‐passing parallel programs S Souza, SR Vergilio, PSL Souza, AS Simão, AC Hausen Concurrency and Computation: Practice and Experience 20 (16), 1893-1916, 2008 | 65 | 2008 |
Generating reduced tests for FSMs with extra states A Simão, A Petrenko, N Yevtushenko International Workshop on Formal Approaches to Software Testing, 129-145, 2009 | 57 | 2009 |
On reducing test length for FSMs with extra states A Simao, A Petrenko, N Yevtushenko Software testing, verification and reliability 22 (6), 435-454, 2012 | 54 | 2012 |
Comparing finite state machine test coverage criteria A Simao, A Petrenko, JC Maldonado IET software 3 (2), 91-105, 2009 | 54 | 2009 |
Checking completeness of tests for finite state machines A Simao, A Petrenko IEEE Transactions on Computers 59 (8), 1023-1032, 2010 | 53 | 2010 |
Evaluating test suite characteristics, cost, and effectiveness of FSM-based testing methods AT Endo, A Simao Information and Software Technology 55 (6), 1045-1062, 2013 | 51 | 2013 |
Towards a Reference Architecture for Software Testing Tools. EY Nakagawa, A da Silva Simao, FC Ferrari, JC Maldonado, S Carlos SEKE 7, 1-6, 2007 | 50 | 2007 |
Fault coverage-driven incremental test generation A Simão, A Petrenko The Computer Journal 53 (9), 1508-1522, 2010 | 46 | 2010 |
Web services composition testing: a strategy based on structural testing of parallel programs AT Endo, A da Silva Simão, SRS de Souza, PSL de Souza Testing: Academic & Industrial Conference-Practice and Research Techniques …, 2008 | 46 | 2008 |
A holistic approach to model‐based testing of Web service compositions F Belli, AT Endo, M Linschulte, A Simao Software: Practice and Experience 44 (2), 201-234, 2014 | 45 | 2014 |
Generating checking sequences for partial reduced finite state machines A Simão, A Petrenko International Workshop on Formal Approaches to Software Testing, 153-168, 2008 | 44 | 2008 |
Model-based testing of software and systems: recent advances and challenges A Petrenko, A Simao, JC Maldonado International Journal on Software Tools for Technology Transfer 14, 383-386, 2012 | 41 | 2012 |
Generating asynchronous test cases from test purposes A Simao, A Petrenko Information and Software Technology 53 (11), 1252-1262, 2011 | 34 | 2011 |
Model-based testing of RESTful web services using UML protocol state machines PVP Pinheiro, AT Endo, A Simao Brazilian workshop on systematic and automated software testing, 1-10, 2013 | 33 | 2013 |
Structural testing for semaphore-based multithread programs FS Sarmanho, PSL Souza, SRS Souza, AS Simao Computational Science–ICCS 2008: 8th International Conference, Kraków …, 2008 | 33 | 2008 |
A technique to reduce the test case suites for regression testing based on a self-organizing neural network architecture ADS Simao, RF De Mello, LJ Senger 30th Annual International Computer Software and Applications Conference …, 2006 | 33 | 2006 |
Model-based testing of service-oriented applications via state models AT Endo, A Simao 2011 IEEE International Conference on Services Computing, 432-439, 2011 | 31 | 2011 |
A finite difference method with meshless interpolation for incompressible flows in non-graded tree-based grids FS Sousa, CF Lages, JL Ansoni, A Castelo, A Simao Journal of Computational physics 396, 848-866, 2019 | 30 | 2019 |
Generating complete and finite test suite for ioco: Is it possible? A Simao, A Petrenko arXiv preprint arXiv:1403.7261, 2014 | 29 | 2014 |