Simone do Rócio Senger de Souza

Orcid: 0000-0001-9007-9821

According to our database1, Simone do Rócio Senger de Souza authored at least 86 papers between 1996 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Quasi-Newton method for solving generalized equations by using a Kantorovich approach.
Comput. Appl. Math., March, 2024

2023
Bio-inspired optimization to support the test data generation of concurrent software.
Concurr. Comput. Pract. Exp., January, 2023

An Open Educational Resource Supporting Mutation Testing Teaching.
Proceedings of the XXII Brazilian Symposium on Software Quality, 2023

Test Data Selection Based on Applying Mutation Testing to Decision Tree Models.
Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023

An Approach to Regression Testing Selection based on Code Changes and Smells.
Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023

Software Testing applied to the Development of IoT Systems: preliminary results.
Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023

Software Engineering Education Through Experiential Learning for Fostering Soft Skills.
Proceedings of the IEEE Frontiers in Education Conference, 2023

2022
Integration testing for robotic systems.
Softw. Qual. J., 2022

A survey on the practices of software testing: a look into Brazilian companies.
J. Softw. Eng. Res. Dev., 2022

On the Experimental Process in Evaluations of Brazilian Conversational Agents in Education.
Rev. Iberoam. de Tecnol. del Aprendiz., 2022

A Strategy to Support the Infeasible Test Requirements Identification.
Proceedings of the SAST 2022: 7th Brazilian Symposium on Systematic and Automated Software Testing, Uberlandia, Brazil, October 3, 2022

2021
Parallel Execution of Programs as a Support for Mutation Testing: A Replication Study.
Int. J. Softw. Eng. Knowl. Eng., 2021

Structural testing for communication events into loops of message-passing parallel programs.
Concurr. Comput. Pract. Exp., 2021

On Using Decision Tree Coverage Criteria forTesting Machine Learning Models.
Proceedings of the SAST'21: Brazilian Symposium on Systematic and Automated Software Testing, Joinville, Brazil, 27 September 2021, 2021

How to Identify the Infeasible Test Requirements using Static Analyse? An Exploratory Study.
Proceedings of the 23rd International Conference on Enterprise Information Systems, 2021

2020
Is It Worth Using Gamification on Software Testing Education? An Extended Experience Report in the Context of Undergraduate Students.
J. Softw. Eng. Res. Dev., 2020

What are the differences between group and individual modeling when learning BPMN?
Proceedings of the SBSI'20: XVI Brazilian Symposium on Information Systems, 2020

Software testing ecosystems insights and research opportunities.
Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

Evaluating the impact of Software Testing Education through the Flipped Classroom Model in deriving Test Requirements.
Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

Testing Education: A Survey on a Global Scale.
Proceedings of the 34th Brazilian Symposium on Software Engineering, 2020

An Experimental Study on Applying Metamorphic Testing in Machine Learning Applications.
Proceedings of the SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, 2020

Contributions to improve the combined selection of concurrent software testing techniques.
Proceedings of the SAST 20: 5th Brazilian Symposium on Systematic and Automated Software Testing, 2020

Towards a unified catalog of attributes to guide industry in software testing technique selection.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

A Preliminary Investigation into Using Machine Learning Algorithms to Identify Minimal and Equivalent Mutants.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Performance Evaluation of Container's Shared Volumes.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

A Systematic Identification of Pedagogical Conversational Agents.
Proceedings of the IEEE Frontiers in Education Conference, 2020

A survey on the practices of mobile application testing.
Proceedings of the XLVI Latin American Computing Conference, 2020

Teaching Scrum Practices with the Support of Brazilian Startups: an Initiative in Software Engineering Course.
Proceedings of the XXIII Iberoamerican Conference on Software Engineering, 2020

2019
Empirical research on concurrent software testing: A systematic mapping study.
Inf. Softw. Technol., 2019

Bio-Inspired Optimization of Test Data Generation for Concurrent Software.
Proceedings of the Search-Based Software Engineering - 11th International Symposium, 2019

Can we use the Flipped Classroom Model to teach Black-box Testing to Computer Students?
Proceedings of the XVIII Brazilian Symposium on Software Quality, 2019

Is It Worth Using Gamification on Software Testing Education?: An Experience Report.
Proceedings of the XVIII Brazilian Symposium on Software Quality, 2019

Testing Techniques Selection: A Systematic Mapping Study.
Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019

Towards a Conversational Agent to Support the Software Testing Education.
Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019

SeleCTT: An Infrastructure for Selection of Concurrent Software Testing Techniques.
Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing, 2019

On applying metamorphic testing: an empirical study on academic search engines.
Proceedings of the 4th International Workshop on Metamorphic Testing, 2019

A Preliminary Fault Taxonomy for Multi-tenant SaaS Systems.
Proceedings of the 19th IEEE/ACM International Symposium on Cluster, 2019

2018
Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation.
Softw. Qual. J., 2018

A weighting subgradient algorithm for multiobjective optimization.
Optim. Lett., 2018

Integrating Project Based Learning and Project Management for Software Engineering Teaching: An Experience Report.
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

A Survey on Software Testing Education in Brazil.
Proceedings of the 17th Brazilian Symposium on Software Quality, 2018

Evaluating the Impact of Different Testers on Model-based Testing.
Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing, 2018

Container-Based Performance Evaluation: A Survey and Challenges.
Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

Evaluating the User Acceptance Testing for Multi-tenant Cloud Applications.
Proceedings of the 8th International Conference on Cloud Computing and Services Science, 2018

2017
A systematic review on search based mutation testing.
Inf. Softw. Technol., 2017

A relaxed projection method for solving multiobjective optimization problems.
Eur. J. Oper. Res., 2017

How to test your concurrent software: an approach for the selection of testing techniques.
Proceedings of the 4th ACM SIGPLAN International Workshop on Software Engineering for Parallel Systems, 2017

2016
Reducing FSM-Based Test Suites with Guaranteed Fault Coverage.
Comput. J., 2016

The complementary aspect of automatically and manually generated test case sets.
Proceedings of the 7th International Workshop on Automating Test Case Design, 2016

A Systematic Mapping Study on the Multi-tenant Architecture of SaaS Systems.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Towards an Empirical Study Design for Concurrent Software Testing.
Proceedings of the Fourth International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2016

ValiErlang: A Structural Testing Tool for Erlang Programs.
Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing, 2016

A Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools.
Proceedings of the International Conference on Computational Science 2016, 2016

Evidências sobre Configurações de Algoritmos Genéticos para Geração Automática de Dados de Teste.
Proceedings of XIX Ibero-American Conference on Software Engineering, 2016

A Systematic Mapping of Data Generation for Integration Software Testing.
Proceedings of XIX Ibero-American Conference on Software Engineering, 2016

2015
Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs.
Softw. Test. Verification Reliab., 2015

An empirical comparison of model-based and capture and replay approaches for performance testing.
Empir. Softw. Eng., 2015

Concurrent software testing in practice: a catalog of tools.
Proceedings of the 6th International Workshop on Automating Test Case Design, 2015

Integration testing criteria for mobile robotic systems.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Extracting static and dynamic structural information from java concurrent programs for coverage testing.
Proceedings of the 2015 Latin American Computing Conference, 2015

2014
Structural testing for message-passing concurrent programs: an extended test model.
Concurr. Comput. Pract. Exp., 2014

The Agile Quality Culture - A survey on agile culture and software quality.
Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Towards the use of an automatic assessment system in the teaching of software testing.
Proceedings of the IEEE Frontiers in Education Conference, 2014

2013
Data Flow Testing in Concurrent Programs with Message Passing and Shared Memory Paradigms.
Proceedings of the International Conference on Computational Science, 2013

An Empirical Evaluation of the Cost and Effectiveness of Structural Testing Criteria for Concurrent Programs.
Proceedings of the International Conference on Computational Science, 2013

2012
An Experimental Study to Evaluate the Impact of the Programming Paradigm in the Testing Activity.
CLEI Electron. J., 2012

An Experience on Applying Software Testing for Teaching Introductory Programming Courses.
CLEI Electron. J., 2012

Structural Testing for Multithreaded Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness.
Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Mutation operators for concurrent programs in MPI.
Proceedings of the 13th Latin American Test Workshop, 2012

2011
Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Research in concurrent software testing: a systematic review.
Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, 2011

2010
Event- and Coverage-Based Testing of Web Services.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Mutation Testing in Procedural and Object-Oriented Paradigms: An Evaluation of Data Structure Programs.
Proceedings of the 24th Brazilian Symposium on Software Engineering, 2010

2008
Structural testing criteria for message-passing parallel programs.
Concurr. Comput. Pract. Exp., 2008

ValiPVM - A Graphical Tool for Structural Testing of PVM Programs.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

Structural Testing for Semaphore-Based Multithread Programs.
Proceedings of the Computational Science, 2008

An Experience on Applying Learning Mechanisms for Teaching Inspection and Software Testing.
Proceedings of the Proceedings 21st Conference on Software Engineering Education and Training, 2008

2007
Uma Experiência no Ensino de Inspeção e Teste de Software.
Proceedings of the 6th Brazilian Symposium on Software Quality, 2007

2005
ValiPar: A Testing Tool for Message-Passing Parallel Programs.
Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

2004
K-Means VQ algorithm using a low-cost parallel cluster computing.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2004

2003
A Family of Coverage Testing Criteria for Coloured Petri Nets.
Proceedings of the 17th Brazilian Symposium on Software Engineering, 2003

A Low-Cost Parallel K-Means VQ Algorithm Using Cluster Computing.
Proceedings of the 7th International Conference on Document Analysis and Recognition (ICDAR 2003), 2003

2001
FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle.
Proceedings of the 15th Brazilian Symposium on Software Engineering, 2001

1999
Mutation Testing Applied to Estelle Specifications.
Softw. Qual. J., 1999

1997
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.
Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997

1996
Parallel Virtual Machine for Windows95.
Proceedings of the Parallel Virtual Machine, 1996


  Loading...