default search action
Simone do Rócio Senger de Souza
Simone R. S. Souza
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j23]V. S. Amaral, Paulo Sérgio Marques dos Santos, Gilson N. Silva
, Simone R. S. Souza:
A Quasi-Newton method for solving generalized equations by using a Kantorovich approach. Comput. Appl. Math. 43(2): 104 (2024) - [j22]Helder J. F. Luz
Structural testing for CUDA programming model. Concurr. Comput. Pract. Exp. 36(14) (2024) - [j21]Vitaliano de Sousa Amaral
A modified Newton-Secant method for solving nonsmooth generalized equations. Math. Model. Anal. 29(2): 347-366 (2024) - [c67]Bruno E. R. Garcia, Márcio E. Delamaro, Simone R. S. Souza:
Towards differential fuzzing to reduce manual efforts to identify equivalent mutants: A preliminary study. SBES 2024: 568-573 - 2023
- [j20]Ricardo Ferreira Vilela
Bio-inspired optimization to support the test data generation of concurrent software. Concurr. Comput. Pract. Exp. 35(2) (2023) - [c66]Maria Lydia Fioravanti
Software Engineering Education Through Experiential Learning for Fostering Soft Skills. FIE 2023: 1-8 - [c65]Allan Mori
An Approach to Regression Testing Selection based on Code Changes and Smells. SAST 2023: 25-34 - [c64]Beatriz Nogueira Carvalho da Silveira, Vinicius H. S. Durelli
Test Data Selection Based on Applying Mutation Testing to Decision Tree Models. SAST 2023: 38-46 - [c63]Vinícius Gomes Ferreira
Software Testing applied to the Development of IoT Systems: preliminary results. SAST 2023: 113-122 - [c62]Leo Natan Paschoal
An Open Educational Resource Supporting Mutation Testing Teaching. SBQS 2023: 291-300 - 2022
- [j19]Leo Natan Paschoal
On the Experimental Process in Evaluations of Brazilian Conversational Agents in Education. Rev. Iberoam. de Tecnol. del Aprendiz. 17(1): 99-107 (2022) - [j18]Silvana M. Melo
A survey on the practices of software testing: a look into Brazilian companies. J. Softw. Eng. Res. Dev. 10: 11:1-11:15 (2022) - [j17]Maria A. S. Brito
Integration testing for robotic systems. Softw. Qual. J. 30(1): 3-35 (2022) - [c61]João Choma Neto, Ricardo Chagas, Allan Mori, Ricardo Ferreira Vilela, Thelma Elita Colanzi, Simone R. S. Souza:
A Strategy to Support the Infeasible Test Requirements Identification. SAST 2022: 29-38 - 2021
- [j16]Sílvia M. D. Diaz
Structural testing for communication events into loops of message-passing parallel programs. Concurr. Comput. Pract. Exp. 33(18) (2021) - [j15]Márcio E. Delamaro, Stevão Alves de Andrade, Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza
Parallel Execution of Programs as a Support for Mutation Testing: A Replication Study. Int. J. Softw. Eng. Knowl. Eng. 31(3): 337-380 (2021) - [c60]João Choma Neto, Allan Mori
How to Identify the Infeasible Test Requirements using Static Analyse? An Exploratory Study. ICEIS (1) 2021: 782-789 - [c59]Sebastião H. N. Santos, Beatriz Nogueira Carvalho da Silveira, Vinicius H. S. Durelli, Rafael S. Durelli, Simone R. S. Souza, Márcio E. Delamaro:
On Using Decision Tree Coverage Criteria forTesting Machine Learning Models. SAST 2021: 1-9 - 2020
- [j14]Gabriela Martins de Jesus, Fabiano Cutigi Ferrari, Leo Natan Paschoal
Is It Worth Using Gamification on Software Testing Education? An Extended Experience Report in the Context of Undergraduate Students. J. Softw. Eng. Res. Dev. 8: 6 (2020) - [c58]Leo Natan Paschoal, Simone R. S. Souza:
Teaching Scrum Practices with the Support of Brazilian Startups: an Initiative in Software Engineering Course. CIbSE 2020: 540-553 - [c57]Ítalo Santos, Júlio César C. Filho, Simone R. S. Souza:
A survey on the practices of mobile application testing. CLEI 2020: 232-241 - [c56]Leo Natan Paschoal
A Systematic Identification of Pedagogical Conversational Agents. FIE 2020: 1-9 - [c55]Naylor G. Bachiega
Performance Evaluation of Container's Shared Volumes. ICST Workshops 2020: 114-123 - [c54]Claudinei Brito Junior, Vinicius H. S. Durelli, Rafael Serapilha Durelli, Simone R. S. Souza, Auri M. R. Vincenzi
A Preliminary Investigation into Using Machine Learning Algorithms to Identify Minimal and Equivalent Mutants. ICST Workshops 2020: 304-313 - [c53]Ítalo Santos, Silvana Morita Melo, Paulo Sergio Lopes de Souza
Towards a unified catalog of attributes to guide industry in software testing technique selection. ICST Workshops 2020: 398-407 - [c52]Ítalo Santos, Andre B. P. Furlanetti, Silvana M. Melo, Paulo Sergio Lopes de Souza
Contributions to improve the combined selection of concurrent software testing techniques. SAST 2020: 69-78 - [c51]Sebastião H. N. Santos, Beatriz Nogueira Carvalho da Silveira, Stevão Alves de Andrade, Márcio E. Delamaro, Simone R. S. Souza:
An Experimental Study on Applying Metamorphic Testing in Machine Learning Applications. SAST 2020: 98-106 - [c50]Ítalo Santos, Emanuel F. Coutinho, Simone R. S. Souza:
Software testing ecosystems insights and research opportunities. SBES 2020: 421-426 - [c49]Silvana M. Melo, Veronica X. S. Moreira, Leo Natan Paschoal
Testing Education: A Survey on a Global Scale. SBES 2020: 554-563 - [c48]Leo Natan Paschoal
Evaluating the impact of Software Testing Education through the Flipped Classroom Model in deriving Test Requirements. SBES 2020: 570-579 - [c47]Leo Natan Paschoal
What are the differences between group and individual modeling when learning BPMN? SBSI 2020: 26:1-26:8
2010 – 2019
- 2019
- [j13]Silvana M. Melo
Empirical research on concurrent software testing: A systematic mapping study. Inf. Softw. Technol. 105: 226-251 (2019) - [c46]Victor Hugo Santiago C. Pinto, Simone R. S. Souza, Paulo S. L. Souza
A Preliminary Fault Taxonomy for Multi-tenant SaaS Systems. CCGRID 2019: 178-187 - [c45]Stevão Andrade, Ítalo Santos, Claudinei Brito Junior, Misael Costa Júnior, Simone do Rócio Senger de Souza
On applying metamorphic testing: an empirical study on academic search engines. MET@ICSE 2019: 9-16 - [c44]Silvana M. Melo, Felipe M. Moura, Paulo S. L. Souza
SeleCTT: An Infrastructure for Selection of Concurrent Software Testing Techniques. SAST 2019: 62-71 - [c43]Leo Natan Paschoal
Towards a Conversational Agent to Support the Software Testing Education. SBES 2019: 57-66 - [c42]Ítalo Santos, Silvana M. Melo, Paulo Sergio Lopes de Souza
Testing Techniques Selection: A Systematic Mapping Study. SBES 2019: 347-356 - [c41]Leo Natan Paschoal
Can we use the Flipped Classroom Model to teach Black-box Testing to Computer Students? SBQS 2019: 158-167 - [c40]Gabriela Martins de Jesus, Leo Natan Paschoal
Is It Worth Using Gamification on Software Testing Education?: An Experience Report. SBQS 2019: 178-187 - [c39]Ricardo Ferreira Vilela
Bio-Inspired Optimization of Test Data Generation for Concurrent Software. SSBSE 2019: 121-136 - 2018
- [j12]Glaydston de Carvalho Bento, João Xavier da Cruz Neto, Paulo Sérgio Marques dos Santos
A weighting subgradient algorithm for multiobjective optimization. Optim. Lett. 12(2): 399-410 (2018) - [j11]Silvana Morita Melo, Simone do Rócio Senger de Souza
Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. Softw. Qual. J. 26(3): 921-959 (2018) - [c38]Victor Hugo Santiago C. Pinto, Ricardo R. Oliveira
Evaluating the User Acceptance Testing for Multi-tenant Cloud Applications. CLOSER 2018: 47-56 - [c37]Naylor G. Bachiega
Container-Based Performance Evaluation: A Survey and Challenges. IC2E 2018: 398-403 - [c36]Henrique Neves da Silva
Evaluating the Impact of Different Testers on Model-based Testing. SAST 2018: 57-66 - [c35]Leo Natan Paschoal
A Survey on Software Testing Education in Brazil. SBQS 2018: 334-343 - [c34]Maria Lydia Fioravanti
Integrating Project Based Learning and Project Management for Software Engineering Teaching: An Experience Report. SIGCSE 2018: 806-811 - 2017
- [j10]Arnaldo S. Brito, João Xavier da Cruz Neto, Paulo Sérgio Marques dos Santos
A relaxed projection method for solving multiobjective optimization problems. Eur. J. Oper. Res. 256(1): 17-23 (2017) - [j9]Rodolfo Adamshuk Silva, Simone do Rócio Senger de Souza
A systematic review on search based mutation testing. Inf. Softw. Technol. 81: 19-35 (2017) - [c33]Silvana Morita Melo, Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza
How to test your concurrent software: an approach for the selection of testing techniques. SEPS@SPLASH 2017: 42-43 - 2016
- [j8]Jorge Francisco Cutigi
Reducing FSM-Based Test Suites with Guaranteed Fault Coverage. Comput. J. 59(8): 1129-1143 (2016) - [c32]Maria A. S. Brito, Marcos Pereira, Simone R. S. Souza, Paulo Sergio Lopes de Souza:
A Systematic Mapping of Data Generation for Integration Software Testing. CIbSE 2016: 229-242 - [c31]Ricardo Ferreira Vilela, Paulo S. L. Souza, Márcio E. Delamaro, Simone R. S. Souza:
Evidências sobre Configurações de Algoritmos Genéticos para Geração Automática de Dados de Teste. CIbSE 2016: 243-256 - [c30]George Gabriel Mendes Dourado, Paulo Sergio Lopes de Souza
A Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools. ICCS 2016: 2226-2230 - [c29]Alexandre P. Oliveira, Paulo S. L. Souza
ValiErlang: A Structural Testing Tool for Erlang Programs. SAST 2016: 13:1-13:10 - [c28]Silvana M. Melo, Paulo S. L. Souza, Simone R. S. Souza:
Towards an Empirical Study Design for Concurrent Software Testing. SE-HPCCSE@SC 2016: 49 - [c27]Victor H. S. C. Pinto, Helder J. F. Luz, Ricardo R. Oliveira, Paulo S. L. Souza
A Systematic Mapping Study on the Multi-tenant Architecture of SaaS Systems. SEKE 2016: 396-401 - [c26]Auri M. R. Vincenzi, Tiago Bachiega, Daniel G. de Oliveira, Simone do Rócio Senger de Souza, José Carlos Maldonado:
The complementary aspect of automatically and manually generated test case sets. A-TEST@SIGSOFT FSE 2016: 23-30 - 2015
- [j7]Elder Macedo Rodrigues, Flávio Moreira de Oliveira
An empirical comparison of model-based and capture and replay approaches for performance testing. Empir. Softw. Eng. 20(6): 1831-1860 (2015) - [j6]Simone R. S. Souza
Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. Softw. Test. Verification Reliab. 25(3): 310-332 (2015) - [c25]Rafael R. Prado, Paulo S. L. Souza
Extracting static and dynamic structural information from java concurrent programs for coverage testing. CLEI 2015: 1-8 - [c24]Maria A. S. Brito, Marcos Santos, Paulo S. L. Souza
Integration testing criteria for mobile robotic systems. SEKE 2015: 182-187 - [c23]Silvana M. Melo, Simone R. S. Souza, Rodolfo A. Silva, Paulo S. L. Souza
Concurrent software testing in practice: a catalog of tools. A-TEST@SIGSOFT FSE 2015: 31-40 - 2014
- [j5]Paulo S. L. Souza
Structural testing for message-passing concurrent programs: an extended test model. Concurr. Comput. Pract. Exp. 26(1): 21-50 (2014) - [c22]Draylson Micael de Souza, Bruno H. Oliveira, José Carlos Maldonado, Simone R. S. Souza, Ellen F. Barbosa:
Towards the use of an automatic assessment system in the teaching of software testing. FIE 2014: 1-8 - [c21]Bruno H. Oliveira, Simone R. S. Souza:
The Agile Quality Culture - A survey on agile culture and software quality. SEKE 2014: 298-303 - 2013
- [c20]Paulo Sergio Lopes de Souza
Data Flow Testing in Concurrent Programs with Message Passing and Shared Memory Paradigms. ICCS 2013: 149-158 - [c19]Maria A. S. Brito, Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza
An Empirical Evaluation of the Cost and Effectiveness of Structural Testing Criteria for Concurrent Programs. ICCS 2013: 250-259 - 2012
- [j4]Maria A. S. Brito, João L. Rossi, Simone do Rócio Senger de Souza, Rosana T. V. Braga:
An Experience on Applying Software Testing for Teaching Introductory Programming Courses. CLEI Electron. J. 15(1) (2012) - [j3]Simone do Rócio Senger de Souza, Marllos Paiva Prado, Ellen Francine Barbosa, José Carlos Maldonado:
An Experimental Study to Evaluate the Impact of the Programming Paradigm in the Testing Activity. CLEI Electron. J. 15(1) (2012) - [c18]Rodolfo Adamshuk Silva, Simone do Rócio Senger de Souza
Mutation operators for concurrent programs in MPI. LATW 2012: 1-6 - [c17]Silvana M. Melo, Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza:
Structural Testing for Multithreaded Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness. SEKE 2012: 476-479 - [e1]Jeremy S. Bradbury, Simone do Rócio Senger de Souza:
Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012, Minneapolis, MN, USA, July 16, 2012. ACM 2012, ISBN 978-1-4503-1456-5 [contents] - 2011
- [c16]Simone do Rócio Senger de Souza, Maria A. S. Brito, Rodolfo A. Silva, Paulo Sergio Lopes de Souza
Research in concurrent software testing: a systematic review. PADTAD 2011: 1-5 - [c15]Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza, Mario C. C. Machado, Mário S. Camillo, Adenilso da Silva Simão, Ed Zaluska:
Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality. SEKE 2011: 207-212 - 2010
- [c14]Diogo N. Campanha, Simone do Rócio Senger de Souza, José Carlos Maldonado:
Mutation Testing in Procedural and Object-Oriented Paradigms: An Evaluation of Data Structure Programs. SBES 2010: 90-99 - [c13]André Takeshi Endo
Event- and Coverage-Based Testing of Web Services. SSIRI (Companion) 2010: 62-69
2000 – 2009
- 2008
- [j2]Simone do Rócio Senger de Souza, Silvia Regina Vergilio, Paulo Sergio Lopes de Souza
Structural testing criteria for message-passing parallel programs. Concurr. Comput. Pract. Exp. 20(16): 1893-1916 (2008) - [c12]Ellen Francine Barbosa
An Experience on Applying Learning Mechanisms for Teaching Inspection and Software Testing. CSEE&T 2008: 189-196 - [c11]Felipe S. Sarmanho, Paulo Sergio Lopes de Souza
Structural Testing for Semaphore-Based Multithread Programs. ICCS (1) 2008: 337-346 - [c10]Paulo Sergio Lopes de Souza
ValiPVM - A Graphical Tool for Structural Testing of PVM Programs. PVM/MPI 2008: 257-264 - 2007
- [c9]Ellen F. Barbosa, Simone R. S. Souza, André L. S. Domingues, Alessandra Chan, Erika Nina Höhn, José Carlos Maldonado:
Uma Experiência no Ensino de Inspeção e Teste de Software. SBQS 2007: 309-324 - 2005
- [c8]Simone do Rócio Senger de Souza, Silvia Regina Vergilio, Paulo Sergio Lopes de Souza, Adenilso da Silva Simão, Thiago Bliscosque Goncalves, Alexandre de Melo Lima, Alexandre Ceolin Hausen:
ValiPar: A Testing Tool for Message-Passing Parallel Programs. SEKE 2005: 386-391 - 2004
- [c7]Paulo Sergio Lopes de Souza, Alceu de Souza Britto Jr., Robert Sabourin, Simone do Rócio Senger de Souza, Díbio Leandro Borges:
K-Means VQ algorithm using a low-cost parallel cluster computing. Parallel and Distributed Computing and Networks 2004: 392-397 - 2003
- [c6]Alceu de Souza Britto Jr., Paulo Sergio Lopes de Souza
A Low-Cost Parallel K-Means VQ Algorithm Using Cluster Computing. ICDAR 2003: 839-843 - [c5]Adenilso da Silva Simão, Simone do Rócio Senger de Souza, José Carlos Maldonado:
A Family of Coverage Testing Criteria for Coloured Petri Nets. SBES 2003: 205-220 - 2001
- [c4]Simone do Rócio Senger de Souza, José Carlos Maldonado, Sandra C. P. F. Fabbri:
FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle. SBES 2001: 256-271 - 2000
- [c3]Simone do Rócio Senger de Souza, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza:
Mutation Testing Applied to Estelle Specifications. HICSS 2000
1990 – 1999
- 1999
- [j1]Simone do Rócio Senger de Souza, José Carlos Maldonado, Sandra Camargo Pinto Ferraz Fabbri, Wanderley Lopes de Souza:
Mutation Testing Applied to Estelle Specifications. Softw. Qual. J. 8(4): 285-301 (1999) - 1997
- [c2]Simone do Rócio Senger de Souza, José Carlos Maldonado:
Avaliação do Impacto da Minimização de Conjuntos de Casos de Teste no Custo e Eficácia do Critério Análise de Mutantes. SBES 1997: 445-460 - 1996
- [c1]Marcos José Santana, Regina Helena Carlucci Santana, Paulo Sergio Lopes de Souza
Parallel Virtual Machine for Windows95. PVM 1996: 288-295
Coauthor Index
Márcio Eduardo Delamaro
aka: Márcio E. Delamaro
aka: Márcio E. Delamaro
Silvana M. Melo
aka: Silvana Morita Melo
aka: Silvana Morita Melo
Paulo Sergio Lopes de Souza
aka: Paulo S. L. Souza
aka: Paulo S. L. Souza
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: