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