Advanced search
Start date

A search approach for supporting the identification of infeasible sequences in concurrent software

Grant number: 18/25744-6
Support Opportunities:Scholarships in Brazil - Doctorate
Effective date (Start): August 01, 2019
Effective date (End): July 31, 2022
Field of knowledge:Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
Principal Investigator:Simone Do Rocio Senger de Souza
Grantee:João Choma Neto
Host Institution: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brazil


Software testing activity is imperative to improve the quality of a software product. However, finding a set of test data that satisfies a given test criterion is not a trivial task because the domain can be large and different test sets can be satisfactory solutions. Testing concurrent programs in addition to presenting the sequential program problems yet, for example, can address the problem of non-determinism and non-executability of synchronization sequences. Search Based Software Engineering (SBSE) seeks to solve difficult problems like this by using search algorithms. Numerous research reports the benefits of using genetic algorithms to solve problems related to software testing and other Software Engineering (SE) problems. After previous results of a state-of-the-art survey, no work was found regarding the use of genetic algorithms to solve the problem of non-executable synchronization sequences in concurrent programs. This project proposes the use of the genetic algorithm to support the problem of non-executability in concurrent programs. (AU)

News published in Agência FAPESP Newsletter about the scholarship:
Articles published in other media outlets (0 total):
More itemsLess items

Scientific publications
(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)
CHOMA NETO, JOAO; MORI, ALLAN; VILELA, RICARDO FERREIRA; COLANZI, THELMA E.; DE SOUZA, SIMONE R. S.; FILIPE, J; SMIALEK, M; BRODSKY, A; HAMMOUDI, S. How to Identify the Infeasible Test Requirements using Static Analyse? An Exploratory Study. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (ICEIS 2021), VOL 1, v. N/A, p. 8-pg., . (19/06937-0, 18/25744-6)
Academic Publications
(References retrieved automatically from State of São Paulo Research Institutions)
CHOMA NETO, João. An approach to support the identification of non-executability in structural software testing. 2023. Doctoral Thesis - Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC/SB) São Carlos.

Please report errors in scientific publications list using this form.