Paulo Sergio Lopes de Souza

According to our database, Paulo Sergio Lopes de Souza authored at least 65 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Structural testing for CUDA programming model.

Helder J. F. Luz, Paulo S. L. Souza, Simone R. S. Souza

Concurr. Comput. Pract. Exp., June, 2024

Performance analysis of a Vehicular Ad Hoc network Using LoRa technology and IoT devices in Amazon Rivers.

Lucélia Cunha da Rocha Santos, Sarita Mazzini Bruschi, Paulo Sergio Lopes de Souza, Jó Ueyama, Alyson de Jesus dos Santos, Jezreel Souto Barbosa

Ad Hoc Networks, January, 2024

2023

Bio-inspired optimization to support the test data generation of concurrent software.

Ricardo Ferreira Vilela, João Choma Neto, Victor Hugo Santiago Costa Pinto, Paulo Sergio Lopes de Souza, Simone do Rócio Senger de Souza

Concurr. Comput. Pract. Exp., January, 2023

Software Testing applied to the Development of IoT Systems: preliminary results.

Vinícius Gomes Ferreira, Caio Guimarães Herrera, Simone R. S. Souza, Ricardo Ribeiro dos Santos, Paulo Sergio Lopes de Souza

Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023

Metabuleiro: a Digital Board Game About the Human Body and a Healthy Diet.

Alexandre Ponce de Oliveira, Matheus Henrique Dias Cirilo, Gustavo M. Sarenci de Carvalho Ferreira, Michel Hecker Faria, Carla Roberta de Oliveira Carvalho, Paulo Sergio Lopes de Souza

Proceedings of the IEEE Frontiers in Education Conference, 2023

Enzigame: An Educational Game About Enzymes and Metabolism.

Gustavo M. Sarenci de Carvalho Ferreira, Michel Hecker Faria, Matheus Henrique Dias Cirilo, Alexandre Ponce de Oliveira, Carla Roberta de Oliveira Carvalho, Paulo Sergio Lopes de Souza

Proceedings of the IEEE Frontiers in Education Conference, 2023

Food Battle: Game-Based Learning to Teach Healthy Eating Habits.

Michel Hecker Faria, Gustavo M. Sarenci de Carvalho Ferreira, Matheus Henrique Dias Cirilo, Alexandre Ponce de Oliveira, Carla Roberta de Oliveira Carvalho, Paulo Sergio Lopes de Souza

Proceedings of the IEEE Frontiers in Education Conference, 2023

Health Tycoon: An Educational Simulation Game on Positive Habits.

Matheus Henrique Dias Cirilo, Gustavo M. Sarenci de Carvalho Ferreira, Michel Hecker Faria, Alexandre Ponce de Oliveira, Carla Roberta de Oliveira Carvalho, Paulo Sergio Lopes de Souza

Proceedings of the IEEE Frontiers in Education Conference, 2023

2022

Integration testing for robotic systems.

Maria A. S. Brito, Simone R. S. Souza, Paulo S. L. Souza

Softw. Qual. J., 2022

A survey on the practices of software testing: a look into Brazilian companies.

Silvana M. Melo, Ítalo Santos, Paulo S. L. Souza, Simone R. S. Souza

J. Softw. Eng. Res. Dev., 2022

2021

Parallel Execution of Programs as a Support for Mutation Testing: A Replication Study.

Márcio E. Delamaro, Stevão Alves de Andrade, Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza

Int. J. Softw. Eng. Knowl. Eng., 2021

Structural testing for communication events into loops of message-passing parallel programs.

Sílvia M. D. Diaz, Paulo S. L. Souza, Simone R. S. Souza

Concurr. Comput. Pract. Exp., 2021

The impact of using CouchDB on Hyperledger Fabric performance for heterogeneous medical data storage.

Ana Caroline Fernandes Spengler, Paulo Sergio Lopes de Souza

Proceedings of the XLVII Latin American Computing Conference, 2021

2020

Contributions to improve the combined selection of concurrent software testing techniques.

Ítalo Santos, Andre B. P. Furlanetti, Silvana M. Melo, Paulo Sergio Lopes de Souza, Márcio E. Delamaro, Simone R. S. Souza

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.

Ítalo Santos, Silvana Morita Melo, Paulo Sergio Lopes de Souza, Simone R. S. Souza

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Performance Evaluation of Container's Shared Volumes.

Naylor G. Bachiega, Paulo Sergio Lopes de Souza, Sarita Mazzini Bruschi, Simone do Rócio Senger de Souza

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Learning Parallel Programming Through Programming Challenges.

Guilherme Martins, Paulo Sergio Lopes de Souza, Davi Jose Conte, Sarita Mazzini Bruschi

Proceedings of the IEEE Frontiers in Education Conference, 2020

Research on Parallel Computing Teaching: state of the art and future directions.

Thiago de Jesus Oliveira Duraes, Paulo Sergio Lopes de Souza, Guilherme Martins, Davi Jose Conte, Naylor Garcia Bachiega, Sarita Mazzini Bruschi

Proceedings of the IEEE Frontiers in Education Conference, 2020

Teaching Parallel Programming for Beginners in Computer Science.

Davi Jose Conte, Paulo Sergio Lopes de Souza, Guilherme Martins, Sarita Mazzini Bruschi

Proceedings of the IEEE Frontiers in Education Conference, 2020

2019

Empirical research on concurrent software testing: A systematic mapping study.

Silvana M. Melo, Jeffrey C. Carver, Paulo S. L. Souza, Simone R. S. Souza

Inf. Softw. Technol., 2019

Testing Techniques Selection: A Systematic Mapping Study.

Ítalo Santos, Silvana M. Melo, Paulo Sergio Lopes de Souza, Simone R. S. Souza

Proceedings of the XXXIII Brazilian Symposium on Software Engineering, 2019

SeleCTT: An Infrastructure for Selection of Concurrent Software Testing Techniques.

Silvana M. Melo, Felipe M. Moura, Paulo S. L. Souza, Simone R. S. Souza

Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing, 2019

High Performance Algorithms for Counting Collisions and Pairwise Interactions.

Matheus Henrique Junqueira Saldanha, Paulo Sergio Lopes de Souza

Proceedings of the Computational Science - ICCS 2019, 2019

A Preliminary Fault Taxonomy for Multi-tenant SaaS Systems.

Victor Hugo Santiago C. Pinto, Simone R. S. Souza, Paulo S. L. Souza

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.

Silvana Morita Melo, Simone do Rócio Senger de Souza, Felipe S. Sarmanho, Paulo Sergio Lopes de Souza

Softw. Qual. J., 2018

A Systematic Mapping on High-Performance Computing for Protein Structure Prediction.

Gesiel Rios Lopes, Paulo Sergio Lopes de Souza, Alexandre C. B. Delbem

Proceedings of the High Performance Computing for Computational Science - VECPAR 2018, 2018

Container-Based Performance Evaluation: A Survey and Challenges.

Naylor G. Bachiega, Paulo S. L. Souza, Sarita Mazzini Bruschi, Simone do Rócio Senger de Souza

Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

2017

A systematic review on search based mutation testing.

Rodolfo Adamshuk Silva, Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza

Inf. Softw. Technol., 2017

How to test your concurrent software: an approach for the selection of testing techniques.

Silvana Morita Melo, Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza, Jeffrey C. Carver

Proceedings of the 4th ACM SIGPLAN International Workshop on Software Engineering for Parallel Systems, 2017

Providing Computing Services through Mobile Devices in a Collaborative Way - A Fog Computing Case Study.

Danilo Costa Marim Segura, Rafael de Souza Stabile, Sarita Mazzini Bruschi, Paulo Sergio Lopes de Souza

Proceedings of the 20th ACM International Conference on Modelling, 2017

2016

A Systematic Mapping Study on the Multi-tenant Architecture of SaaS Systems.

Victor H. S. C. Pinto, Helder J. F. Luz, Ricardo R. Oliveira, Paulo S. L. Souza, Simone R. S. Souza

Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Towards an Empirical Study Design for Concurrent Software Testing.

Silvana M. Melo, Paulo S. L. Souza, Simone R. S. Souza

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.

Alexandre P. Oliveira, Paulo S. L. Souza, Simone R. S. Souza

Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing, 2016

An interactive approach for the teaching of virtual memory using open educational resources.

Carlos Emilio de Andrade Cacho, Paulo S. L. Souza, Sarita Mazzini Bruschi, Ellen F. Barbosa, Fernando Tiosso

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A Suite of Java Message-Passing Benchmarks to Support the Validation of Testing Models, Criteria and Tools.

George Gabriel Mendes Dourado, Paulo Sergio Lopes de Souza, Rafael R. Prado, Raphael Negrisoli Batista, Simone R. S. Souza, Júlio Cezar Estrella, Sarita Mazzini Bruschi, João Lourenço

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.

Ricardo Ferreira Vilela, Paulo S. L. Souza, Márcio E. Delamaro, Simone R. S. Souza

Proceedings of XIX Ibero-American Conference on Software Engineering, 2016

A Systematic Mapping of Data Generation for Integration Software Testing.

Maria A. S. Brito, Marcos Pereira, Simone R. S. Souza, Paulo Sergio Lopes de Souza

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.

Simone R. S. Souza, Paulo S. L. Souza, Maria A. S. Brito, Adenilso da Silva Simão, Ed Zaluska

Softw. Test. Verification Reliab., 2015

Concurrent software testing in practice: a catalog of tools.

Silvana M. Melo, Simone R. S. Souza, Rodolfo A. Silva, Paulo S. L. Souza

Proceedings of the 6th International Workshop on Automating Test Case Design, 2015

Integration testing criteria for mobile robotic systems.

Maria A. S. Brito, Marcos Santos, Paulo S. L. Souza, Simone R. S. Souza

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Amnesia: A learning object for memory hierarchy teaching.

Fernando Tiosso, Sarita Mazzini Bruschi, Paulo S. L. Souza, Ellen F. Barbosa, Carlos Emilio de Andrade Cacho

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

Extracting static and dynamic structural information from java concurrent programs for coverage testing.

Rafael R. Prado, Paulo S. L. Souza, George G. M. Dourado, Simone R. S. Souza, Júlio Cezar Estrella, Sarita Mazzini Bruschi, João Lourenço

Proceedings of the 2015 Latin American Computing Conference, 2015

2014

Structural testing for message-passing concurrent programs: an extended test model.

Paulo S. L. Souza, Simone do Rócio Senger de Souza, Ed Zaluska

Concurr. Comput. Pract. Exp., 2014

Design and implementation of fault tolerance techniques to improve QoS in SOA.

Edvard Martins de Oliveira, Júlio Cezar Estrella, Bruno Tardiole Kuehne, Dionisio Machado Leite Filho, Lucas Junqueira Adami, Luiz Henrique Nunes, Luis Hideo Vasconcelos Nakamura, Rafael Mira De Oliveira Libardi, Paulo Sergio Lopes de Souza, Stephan Reiff-Marganiec

Proceedings of the 10th International Conference on Network and Service Management, 2014

2013

Enhanced Van der Waals calculations in genetic algorithms for protein structure prediction.

Daniel Rodrigo Ferraz Bonetti, Alexandre C. B. Delbem, Gonzalo Travieso, Paulo Sergio Lopes de Souza

Concurr. Comput. Pract. Exp., 2013

Data Flow Testing in Concurrent Programs with Message Passing and Shared Memory Paradigms.

Paulo Sergio Lopes de Souza, Simone do Rócio Senger de Souza, Murilo G. Rocha, Rafael R. Prado, Raphael Negrisoli Batista

Proceedings of the International Conference on Computational Science, 2013

An Empirical Evaluation of the Cost and Effectiveness of Structural Testing Criteria for Concurrent Programs.

Maria A. S. Brito, Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza

Proceedings of the International Conference on Computational Science, 2013

2012

Structural Testing for Multithreaded Programs: An Experimental Evaluation of the Cost, Strength and Effectiveness.

Silvana M. Melo, Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Mutation operators for concurrent programs in MPI.

Rodolfo Adamshuk Silva, Simone do Rócio Senger de Souza, Paulo Sergio Lopes de Souza

Proceedings of the 13th Latin American Test Workshop, 2012

2011

Using Coverage and Reachability Testing to Improve Concurrent Program Testing Quality.

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

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Research in concurrent software testing: a systematic review.

Simone do Rócio Senger de Souza, Maria A. S. Brito, Rodolfo A. Silva, Paulo Sergio Lopes de Souza, Ed Zaluska

Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, 2011

Jerrymouse: A Tool for a Flexible and Dynamic Distribution of Web Service Requests.

Paulo Sergio Lopes de Souza, Bruno S. Faiçal, Marcos José Santana, Regina H. C. Santana, Jonathan de Matos, Ed Zaluska

Proceedings of the IEEE International Conference on Services Computing, 2011

2010

Optimizing van der Waals calculi using Cell-lists and MPI.

Daniel Rodrigo Ferraz Bonetti, Alexandre C. B. Delbem, Gonzalo Travieso, Paulo Sergio Lopes de Souza

Proceedings of the IEEE Congress on Evolutionary Computation, 2010

2008

Structural testing criteria for message-passing parallel programs.

Simone do Rócio Senger de Souza, Silvia Regina Vergilio, Paulo Sergio Lopes de Souza, Adenilso da Silva Simão, Alexandre Ceolin Hausen

Concurr. Comput. Pract. Exp., 2008

ValiPVM - A Graphical Tool for Structural Testing of PVM Programs.

Paulo Sergio Lopes de Souza, Eduardo T. Sawabe, Adenilso da Silva Simão, Silvia Regina Vergilio, Simone do Rócio Senger de Souza

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2008

Structural Testing for Semaphore-Based Multithread Programs.

Felipe S. Sarmanho, Paulo Sergio Lopes de Souza, Simone do Rócio Senger de Souza, Adenilso da Silva Simão

Proceedings of the Computational Science, 2008

2006

Binary SCF: GAMESS improvements for energy evaluation based on SCF methods.

Jonathan de Matos, Eduardo Bortolato, Alexandre Camilo Jr., João Angelo Martini, Ronaldo Augusto Lara Gonçalves, Paulo Sergio Lopes de Souza

Comput. Phys. Commun., 2006

2005

ValiPar: A Testing Tool for Message-Passing Parallel Programs.

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

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.

Paulo Sergio Lopes de Souza, Alceu de Souza Britto Jr., Robert Sabourin, Simone do Rócio Senger de Souza, Díbio Leandro Borges

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.

Alceu de Souza Britto Jr., Paulo Sergio Lopes de Souza, Robert Sabourin, Simone do Rócio Senger de Souza, Díbio Leandro Borges

Proceedings of the 7th International Conference on Document Analysis and Recognition (ICDAR 2003), 2003

2000

AMIGO: a contribution to the convergence in the area of process scheduling (AMIGO: Uma contribuição para a convergência na área de escalonamento de processos).

Paulo Sergio Lopes de Souza

PhD thesis, 2000

1999

A New Scheduling Environment for Near-Optimal Performance.

Paulo Sergio Lopes de Souza, Marcos José Santana

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

A New Dynamical Scheduling Algorithm.

Aletéia Patrícia Favacho de Araújo, Marcos José Santana, Regina Helena Carlucci Santana, Paulo Sergio Lopes de Souza

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1997

Evaluating Personal High Performance Computing with PVM on Windows and LINUX Environments.

Paulo S. L. Souza, Luciano José Senger, Marcos José Santana, Regina Helena Carlucci Santana

Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 1997

1996

Parallel Virtual Machine for Windows95.

Marcos José Santana, Regina Helena Carlucci Santana, Paulo Sergio Lopes de Souza, Simone do Rócio Senger de Souza

Proceedings of the Parallel Virtual Machine, 1996