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 da Silva Simão, T Sugeta, ...
Mutation testing for the new century, 113-116, 2001
642001
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
602008
Generating reduced tests for FSMs with extra states
A Simão, A Petrenko, N Yevtushenko
Testing of Software and Communication Systems, 129-145, 2009
522009
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
492007
Checking completeness of tests for finite state machines
A Simao, A Petrenko
IEEE Transactions on Computers 59 (8), 1023-1032, 2010
472010
Comparing finite state machine test
A Simao, A Petrenko, JC Maldonado
IET software 3 (2), 91-105, 2009
462009
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
442008
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
422013
Fault coverage-driven incremental test generation
A Simão, A Petrenko
The Computer Journal 53 (9), 1508-1522, 2010
412010
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
402014
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
342012
Generating asynchronous test cases from test purposes
A Simao, A Petrenko
Information and Software Technology 53 (11), 1252-1262, 2011
332011
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
322012
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 service-oriented applications via state models
AT Endo, A Simao
2011 IEEE International Conference on Services Computing, 432-439, 2011
282011
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
262013
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 2005 (November 2015), 386-391, 2005
242005
The system can't perform the operation now. Try again later.
Articles 1–20