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