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 93 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Concurr. Comput. Pract. Exp., June, 2024
A Quasi-Newton method for solving generalized equations by using a Kantorovich approach.
Comput. Appl. Math., March, 2024
Math. Model. Anal., 2024
A methodology to support the execution of proficiency tests for software quality assessment.
Proceedings of the XXIII Brazilian Symposium on Software Quality, 2024
Towards differential fuzzing to reduce manual efforts to identify equivalent mutants: A preliminary study.
Proceedings of the 38th Brazilian Symposium on Software Engineering, 2024
Proceedings of the 9th Brazilian Symposium on Systematic and Automated Software Testing, 2024
Proceedings of the 9th Brazilian Symposium on Systematic and Automated Software Testing, 2024
2023
Bio-inspired optimization to support the test data generation of concurrent software.
Concurr. Comput. Pract. Exp., January, 2023
Informatics Educ., 2023
Proceedings of the XXII Brazilian Symposium on Software Quality, 2023
Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023
Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023
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
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
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
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
Proceedings of the SBSI'20: XVI Brazilian Symposium on Information Systems, 2020
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
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
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
Proceedings of the IEEE Frontiers in Education Conference, 2020
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
Inf. Softw. Technol., 2019
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
Proceedings of the XVIII Brazilian Symposium on Software Quality, 2019
Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019
Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019
Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing, 2019
Proceedings of the 4th International Workshop on Metamorphic Testing, 2019
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
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
Proceedings of the 17th Brazilian Symposium on Software Quality, 2018
Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing, 2018
Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018
Proceedings of the 8th International Conference on Cloud Computing and Services Science, 2018
2017
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
Proceedings of the 7th International Workshop on Automating Test Case Design, 2016
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016
Proceedings of the Fourth International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2016
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
Proceedings of the 6th International Workshop on Automating Test Case Design, 2015
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
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
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
Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, 2011
2010
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
Concurr. Comput. Pract. Exp., 2008
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008
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
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
Proceedings of the 17th Brazilian Symposium on Software Engineering, 2003
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
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
Proceedings of the Parallel Virtual Machine, 1996