Adenilso Simao
Cited by
Cited by
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
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
Generating reduced tests for FSMs with extra states
A Simão, A Petrenko, N Yevtushenko
Testing of Software and Communication Systems, 129-145, 2009
Checking completeness of tests for finite state machines
A Simao, A Petrenko
IEEE Transactions on Computers 59 (8), 1023-1032, 2010
Comparing finite state machine test coverage criteria
A Simao, A Petrenko, JC Maldonado
IET software 3 (2), 91-105, 2009
Towards a Reference Architecture for Software Testing Tools.
EY Nakagawa, A da Silva Simao, FC Ferrari, JC Maldonado
SEKE 7, 1-6, 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
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
Generating checking sequences for partial reduced finite state machines
A Simão, A Petrenko
Testing of Software and Communicating Systems, 153-168, 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
Fault coverage-driven incremental test generation
A Simão, A Petrenko
The Computer Journal 53 (9), 1508-1522, 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
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
Generating asynchronous test cases from test purposes
A Simao, A Petrenko
Information and Software Technology 53 (11), 1252-1262, 2011
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
Structural testing for semaphore-based multithread programs
FS Sarmanho, PSL Souza, SRS Souza, AS Simao
International Conference on Computational Science, 337-346, 2008
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
Model-based testing of service-oriented applications via state models
AT Endo, A Simao
2011 IEEE International Conference on Services Computing, 432-439, 2011
Generating checking sequences for nondeterministic finite state machines
A Petrenko, A Simao, N Yevtushenko
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
A systematic review on formal testing approaches for web services
AT Endo, AS Simao
Brazilian Workshop on Systematic and Automated Software Testing …, 2010
The system can't perform the operation now. Try again later.
Articles 1–20