Simone do Rocio Senger de Souza

According to our database1, Simone do Rocio Senger de Souza authored at least 61 papers between 1996 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

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

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

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

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

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


  Loading...