Adenilso Simao
Citado por
Citado por
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
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
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
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
Generating checking sequences for partial reduced finite state machines
A Simão, A Petrenko
Testing of Software and Communicating Systems, 153-168, 2008
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
Fault coverage-driven incremental test generation
A Simão, A Petrenko
The Computer Journal 53 (9), 1508-1522, 2010
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
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
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 Simão
International Conference on Computational Science, 337-346, 2008
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
Model-based testing of service-oriented applications via state models
AT Endo, A Simao
2011 IEEE International Conference on Services Computing, 432-439, 2011
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
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
A systematic review on formal testing approaches for web services
AT Endo, AS Simao
Brazilian Workshop on Systematic and Automated Software Testing …, 2010
Generating checking sequences for nondeterministic finite state machines
A Petrenko, A Simao, N Yevtushenko
2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20