SAST 2019: Proceedings of the IV Brazilian Symposium on Systematic and Automated Software Testing
ACM2019 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
SAST 2019: IV Brazilian Symposium on Systematic and Automated Software Testing Salvador Brazil September, 2019
ISBN:
978-1-4503-7648-8
In-Cooperation:
SBC

Bibliometrics

Abstract

Modern society has been increasingly more dependent on software for a growing number of crucial tasks, such as financial systems, automatically trading billions of dollars, autonomous vehicles, and various systems for day-to-day tasks. The quality of those systems has a significant impact on the life of billions of people. In this scenario, software testing is a paramount activity, exacting a high toll on the cost of development. By its turn, if done poorly, testing can impact negatively on the overall cost of the system. Therefore, rigorous techniques and tool support are in high demand. The pressure to reduce the cost encourages the investigation of systematic and automated approaches for software testing. On top of that, evidence of the effectiveness of those approaches is mandatory for fostering the adoption by industry.

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

The Internet of Things (IoT) is a paradigm based on the interaction between intelligent devices (things) and physical and/or virtual resources through the Internet. Thus, applications in this domain may become more prone to failures. In this scenario, ...

research-article
An Evaluation of Internal Program Metrics as Predictors of Mutation Operator Score
September 2019, pp 12–21https://doi.org/10.1145/3356317.3356323

Context: Mutation testing is effective in producing high quality test sets. On the downside, it is expensive due to factors like the large number of mutants and the need for manual analysis tasks. Over time, researchers devised several ways of reducing ...

research-article
Analyzing the effectiveness of One-Op Mutation against the minimal set of mutants
September 2019, pp 22–31https://doi.org/10.1145/3356317.3356321

Mutation testing is a fault-based criterion that helps testers to evaluate the adequacy of a test set applied to a given program. In order to do that, mutation operators are applied to the software being tested, creating versions with few syntactic ...

research-article
Assessing Android Test Data Generation Tools via Mutation Testing
September 2019, pp 32–41https://doi.org/10.1145/3356317.3356320

A growing number of test data generation techniques and tools for Android applications (apps) has been proposed in the last years. As a consequence, a demand for evaluations comparing such tools has emerged. However, we find few studies only dedicated ...

research-article
On the Exploratory Testing of Mobile Apps
September 2019, pp 42–51https://doi.org/10.1145/3356317.3356322

While the literature acknowledges that mobile apps present different testing challenges and automated solutions have been pursued, it lacks a better understanding of how pervasive practices of manual testing (namely Exploratory Testing - ET) can be more ...

research-article
Reusing Test Cases on Graph Product Line Variants: Results from a State-of-the-Practice Test Data Generation Tool
September 2019, pp 52–61https://doi.org/10.1145/3356317.3356318

Software testing is an essential activity for quality assurance, but, it is an error-prone and effort consuming task when conducted manually. Because of this, the use of automated tools is fundamental, as well as, the evaluation of these tools in ...

research-article
SeleCTT: An Infrastructure for Selection of Concurrent Software Testing Techniques
September 2019, pp 62–71https://doi.org/10.1145/3356317.3356324

[Background]: A variety of software testing techniques have been published by the academia in the last years, however, the industry rarely embraces their use. The transference of knowledge between academia and industry is a challenge which is mainly ...

research-article
Singularity: A methodology for automatic unit test data generation for C++ applications based on Model Checking counterexamples
September 2019, pp 72–79https://doi.org/10.1145/3356317.3356319

One of the most challenging task of testing activity is the generation of test cases/data. While there is significant amount of studies in this regard, there is still need to move towards approaches that can generate test case/data based only on source ...

research-article
What is the adoption level of automated support for testing in open-source ecosystems?
September 2019, pp 80–89https://doi.org/10.1145/3356317.3356325

In the last decades, different kinds of automated support for testing have emerged in the open-source community. However, we still have limited evidence about the adoption level of such automated support in practice, considering different programming ...

Contributors

  • Ivan Do Carmo Machado
    Federal University of Bahia
  • Rita Suzana Pitangueira Maciel
    Federal University of Bahia
  • Cláudio Nogueira Sant'Anna
    Federal University of Bahia

Acceptance Rates

SAST 2019 Paper Acceptance Rate 9 of 22 submissions, 41%
Overall Acceptance Rate 45 of 92 submissions, 49%
YearSubmittedAcceptedRate
SAST 201922941%
SAST '18201050%
SAST161169%
SAST341544%
Overall924549%

Comments

About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!