Simone do Rocio Senger de Souza
Simone do Rocio Senger de Souza
Verified email at
Cited by
Cited by
Mutation testing applied to estelle specifications
SDRS De Souza, JC Maldonado, SCPF Fabbri, WL De Souza
System Sciences, 2000. Proceedings of the 33rd Annual Hawaii International …, 2000
Introduçao ao teste de software
JC Maldonado, EF Barbosa, AMR Vincenzi, ME Delamaro, SRS Souza, ...
São Carlos: ICMC/USP, 2004
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
A systematic review on search based mutation testing
RA Silva, SRS de Souza, PSL de Souza
Information and Software Technology 81, 19-35, 2017
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
Practice and Research Techniques, 2008. TAIC PART'08. Testing: Academic …, 2008
Introdução ao teste de software
EF Barbosa, JC Maldonado, AMR Vincenzi, ME Delamaro, SRS Souza, ...
Minicurso apresentado no XIV Simpósio Brasileiro de Engenharia de Software …, 2000
Structural testing for semaphore-based multithread programs
FS Sarmanho, PSL Souza, SRS Souza, AS Simao
International Conference on Computational Science, 337-346, 2008
Research in concurrent software testing: a systematic review
SRS Souza, MAS Brito, RA Silva, PSL Souza, E Zaluska
Proceedings of the Workshop on Parallel and Distributed Systems: Testing …, 2011
Aspectos teóricos e empíricos de teste de cobertura de software
JC Maldonado, AMR Vincenzi, EF Barbosa, SRS de Souza, ME Delamaro
Integrating Project Based Learning and Project Management for Software Engineering Teaching: An Experience Report
ML Fioravanti, B Sena, LN Paschoal, LR Silva, AP Allian, EY Nakagawa, ...
Proceedings of the 49th ACM Technical Symposium on Computer Science …, 2018
Structural testing for message‐passing concurrent programs: an extended test model
PSL Souza, SRS Souza, E Zaluska
Concurrency and Computation: Practice and Experience 26 (1), 21-50, 2014
Statecharts specifications: a family of coverage testing criteria
SRS de Souza, JC Maldonado, S Fabbri, PC Masiero
XXVI Conferência Latinoamericana de Informática, 2000
Coverage testing criteria for message-passing parallel programs
SR Vergilio, SRS Souza, PSL Souza
LATW2005-6th IEEE Latin-American test workshop 1 (2), 161-166, 2005
A comparison of selective mutation in C and fortran
WE Wong, JC Maldonado, ME Delamaro, SRS Souza
Workshop do Projeto Validação e Teste de Sistemas de Operação, 71-80, 1997
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
Container-Based Performance Evaluation: A Survey and Challenges
NG Bachiega, PSL Souza, SM Bruschi, SRS de Souza
2018 IEEE International Conference on Cloud Engineering (IC2E), 398-403, 2018
The use of visual text mining to support the study selection activity in systematic literature reviews: a replication study
KR Felizardo, SRS Souza, JC Maldonado
2013 3rd International Workshop on Replication in Empirical Software …, 2013
Event-and coverage-based testing of web services
AT Endo, M Linschulte, A da Silva Simão, SRS de Souza
2010 Fourth International Conference on Secure Software Integration and …, 2010
Data flow testing in concurrent programs with message passing and shared memory paradigms
PSL Souza, SS Souza, MG Rocha, RR Prado, RN Batista
Procedia Computer Science 18, 149-158, 2013
A tool for structural testing of MPI programs
AC Hausen, SR Vergilio, SRS Souza, PSL Souza, AS Simao
8th IEEE Latin-American Test Workshop (LATW 2007), 1-6, 2007
The system can't perform the operation now. Try again later.
Articles 1–20