2019: Proceedings of the 4th Brazilian Symposium on Systematic and Automated Software Testing | Proceedings of the Brazilian Symposium on Systematic and Automated Software Testing (SAST)

The Proceedings of the 4th Brazilian Symposium on Systematic and Automated Software Testing (SAST 2019) bring the papers selected and presented in the city of Salvador/BA, Brazil, from September 23 to 27, 2019, as part of the 10th Brazilian Congress on Software: Theory and Practice (CBSoft 2019). In this issue, the proceedings include 09 full papers. All the papers received at least three reviews. The event's program committee was coordinated by Adenilso Simão (USP) and Elder Macedo Rodrigues (UNIPAMPA), who organized this volume. The articles in this volume were submitted on 07/14/2019, accepted for publication on 08/06/2019, with the final version submitted on 08/13/2019.

You can find more information about SAST 2019 by visiting the website of the event.

Published: 2019-09-23

Full Papers

Adoption of Software Testing in Internet of Things: A Systematic Literature Mapping

Mariela Cortés, Raphael Saraiva, Marcia Souza, Patricia Mello, Pamella Soares

3–11
- ACM DL
An Evaluation of Internal Program Metrics as Predictors of Mutation Operator Score

Lucas Diniz Dallilo, Alessandro Viola Pizzoleto, Fabiano Cutigi Ferrari

12–21
- ACM DL
Analyzing the effectiveness of One-Op Mutation against the minimal set of mutants

Stevão A. Andrade, Claudinei Brito, Misael Júnior, Ana Claudia Marciel, Gabriel Abdalla, Márcio E. Delamaro

22–31
- ACM DL
Assessing Android Test Data Generation Tools via Mutation Testing

Henrique Neves da Silva, Paulo Roberto Farah, Willian Douglas Ferrari Mendonça, Silvia Regina Vergilio

32–41
- ACM DL
On the Exploratory Testing of Mobile Apps

Mariana Souza, Isabel K. Villanes, Arilo Claudio Dias-Neto, Andre T. Endo

42–51
- ACM DL
Reusing Test Cases on Graph Product Line Variants: Results from a State-of-the-Practice Test Data Generation Tool

Willian D. F. Mendonça, Wesley K. G. Assunção, Silvia R. Vergilio

52–61
- ACM DL
SeleCTT: An Infrastructure for Selection of Concurrent Software Testing Techniques

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

62–71
- ACM DL
Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples

Eduardo Rohde Eras, Valdivino Alexandre de Santiago, Luciana Brasil Rebelo dos Santos

72–79
- ACM DL
What is the adoption level of automated support for testing in open-source ecosystems?

Rômulo Martins da Silva, Cafer Cruz, Heleno de S. Campos, Leonardo G. P. Murta, Vânia de Oliveira Neves

80–89
- ACM DL