Paulo Sergio Lopes de Souza

Orcid: 0000-0002-1560-2704

Affiliations:
  • University of São Paulo, Institute of Mathematics and Computer Sciences, Brazil


According to our database1, Paulo Sergio Lopes de Souza authored at least 64 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
Performance analysis of a Vehicular Ad Hoc network Using LoRa technology and IoT devices in Amazon Rivers.
Ad Hoc Networks, January, 2024

2023
Bio-inspired optimization to support the test data generation of concurrent software.
Concurr. Comput. Pract. Exp., January, 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

Metabuleiro: a Digital Board Game About the Human Body and a Healthy Diet.
Proceedings of the IEEE Frontiers in Education Conference, 2023

Enzigame: An Educational Game About Enzymes and Metabolism.
Proceedings of the IEEE Frontiers in Education Conference, 2023

Food Battle: Game-Based Learning to Teach Healthy Eating Habits.
Proceedings of the IEEE Frontiers in Education Conference, 2023

Health Tycoon: An Educational Simulation Game on Positive Habits.
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

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

The impact of using CouchDB on Hyperledger Fabric performance for heterogeneous medical data storage.
Proceedings of the XLVII Latin American Computing Conference, 2021

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

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

Learning Parallel Programming Through Programming Challenges.
Proceedings of the IEEE Frontiers in Education Conference, 2020

Research on Parallel Computing Teaching: state of the art and future directions.
Proceedings of the IEEE Frontiers in Education Conference, 2020

Teaching Parallel Programming for Beginners in Computer Science.
Proceedings of the IEEE Frontiers in Education Conference, 2020

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

Testing Techniques Selection: A Systematic Mapping Study.
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

High Performance Algorithms for Counting Collisions and Pairwise Interactions.
Proceedings of the Computational Science - ICCS 2019, 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 Systematic Mapping on High-Performance Computing for Protein Structure Prediction.
Proceedings of the High Performance Computing for Computational Science - VECPAR 2018, 2018

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

2017
A systematic review on search based mutation testing.
Inf. Softw. Technol., 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

Providing Computing Services through Mobile Devices in a Collaborative Way - A Fog Computing Case Study.
Proceedings of the 20th ACM International Conference on Modelling, 2017

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

An interactive approach for the teaching of virtual memory using open educational resources.
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.
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

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

Amnesia: A learning object for memory hierarchy teaching.
Proceedings of the 2015 IEEE Frontiers in Education Conference, 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

Design and implementation of fault tolerance techniques to improve QoS in SOA.
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.
Concurr. Comput. Pract. Exp., 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
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

Jerrymouse: A Tool for a Flexible and Dynamic Distribution of Web Service Requests.
Proceedings of the IEEE International Conference on Services Computing, 2011

2010
Optimizing van der Waals calculi using Cell-lists and MPI.
Proceedings of the IEEE Congress on Evolutionary Computation, 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

2006
Binary SCF: GAMESS improvements for energy evaluation based on SCF methods.
Comput. Phys. Commun., 2006

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

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).
PhD thesis, 2000

1999
A New Scheduling Environment for Near-Optimal Performance.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

A New Dynamical Scheduling Algorithm.
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.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 1997

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


  Loading...