Proteum: A family of tools to support specification and program testing based on mutation JC Maldonado, ME Delamaro, SCPF Fabbri, A Silva Simão, T Sugeta, ... Mutation testing for the new century, 113-116, 2001 | 66 | 2001 |
Structural testing criteria for message‐passing parallel programs SRS Souza, SR Vergilio, PSL Souza, AS Simao, AC Hausen Concurrency and Computation: Practice and Experience 20 (16), 1893-1916, 2008 | 61 | 2008 |
Generating reduced tests for FSMs with extra states A Simão, A Petrenko, N Yevtushenko Testing of Software and Communication Systems, 129-145, 2009 | 54 | 2009 |
Checking completeness of tests for finite state machines A Simao, A Petrenko IEEE Transactions on Computers 59 (8), 1023-1032, 2010 | 48 | 2010 |
Comparing finite state machine test coverage criteria A Simao, A Petrenko, JC Maldonado IET software 3 (2), 91-105, 2009 | 48 | 2009 |
Towards a Reference Architecture for Software Testing Tools. EY Nakagawa, A da Silva Simao, FC Ferrari, JC Maldonado SEKE 7, 1-6, 2007 | 48 | 2007 |
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 | 45 | 2013 |
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 | 45 | 2008 |
Generating checking sequences for partial reduced finite state machines A Simão, A Petrenko Testing of Software and Communicating Systems, 153-168, 2008 | 45 | 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 | 43 | 2014 |
Fault coverage-driven incremental test generation A Simão, A Petrenko The Computer Journal 53 (9), 1508-1522, 2010 | 42 | 2010 |
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 | 38 | 2012 |
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 (4), 383-386, 2012 | 37 | 2012 |
Generating asynchronous test cases from test purposes A Simao, A Petrenko Information and Software Technology 53 (11), 1252-1262, 2011 | 33 | 2011 |
Structural testing for semaphore-based multithread programs FS Sarmanho, PSL Souza, SRS Souza, AS Simao International Conference on Computational Science, 337-346, 2008 | 32 | 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 | 32 | 2006 |
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 | 29 | 2013 |
Model-based testing of service-oriented applications via state models AT Endo, A Simao 2011 IEEE International Conference on Services Computing, 432-439, 2011 | 28 | 2011 |
A systematic review on formal testing approaches for web services AT Endo, AS Simao Brazilian Workshop on Systematic and Automated Software Testing …, 2010 | 25 | 2010 |
Generating complete and finite test suite for ioco: is it possible? A Simao, A Petrenko arXiv preprint arXiv:1403.7261, 2014 | 24 | 2014 |