| 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 | 57 | 2008 |
| 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 | 57 | 2001 |
| Generating reduced tests for FSMs with extra states A Simão, A Petrenko, N Yevtushenko Testing of Software and Communication Systems, 129-145, 2009 | 49 | 2009 |
| 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 | 46 | 2007 |
| Checking completeness of tests for finite state machines A Simao, A Petrenko IEEE Transactions on Computers 59 (8), 1023-1032, 2010 | 45 | 2010 |
| Comparing finite state machine test coverage criteria A Simao, A Petrenko, JC Maldonado IET software 3 (2), 91-105, 2009 | 43 | 2009 |
| Web services composition testing: a strategy based on structural testing of parallel programs AT Endo, A da Silva Simao, SRS de Souza, PSL de Souza Testing: Academic & Industrial Conference-Practice and Research Techniques …, 2008 | 41 | 2008 |
| Generating checking sequences for partial reduced finite state machines A Simão, A Petrenko Testing of Software and Communicating Systems, 153-168, 2008 | 41 | 2008 |
| 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 | 38 | 2013 |
| Fault coverage-driven incremental test generation A Simão, A Petrenko The Computer Journal 53 (9), 1508-1522, 2010 | 37 | 2010 |
| 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 | 35 | 2014 |
| Generating asynchronous test cases from test purposes A Simao, A Petrenko Information and Software Technology 53 (11), 1252-1262, 2011 | 31 | 2011 |
| Structural testing for semaphore-based multithread programs FS Sarmanho, PSL Souza, SRS Souza, AS Simão International Conference on Computational Science, 337-346, 2008 | 31 | 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 | 31 | 2006 |
| 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 | 30 | 2012 |
| 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 | 26 | 2012 |
| Model-based testing of service-oriented applications via state models AT Endo, A Simao 2011 IEEE International Conference on Services Computing, 432-439, 2011 | 26 | 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 |
| ValiPar: A Testing Tool for Message-Passing Parallel Programs. SRS de Souza, SR Vergilio, PSL de Souza, A da Silva Simão, ... SEKE, 386-391, 2005 | 23 | 2005 |
| Generating checking sequences for nondeterministic finite state machines A Petrenko, A Simao, N Yevtushenko 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 22 | 2012 |
Andre Takeshi EndoAssistant professor, Universidade Tecnologica Federal do Parana, BrazilVerified email at utfpr.edu.br
