An empirical study on mutation, statement and branch coverage fault revelation that avoids the unreliable clean program assumption
Many studies suggest using coverage concepts, such as branch coverage, as the starting
point of testing, while others as the most prominent test quality indicator. Yet the relationship …
point of testing, while others as the most prominent test quality indicator. Yet the relationship …
The fitness function for the job: Search-based generation of test suites that detect real faults
G Gay - 2017 IEEE International Conference on Software …, 2017 - ieeexplore.ieee.org
Search-based test generation, if effective at fault detection, can lower the cost of testing.
Such techniques rely on fitness functions to guide the search. Ultimately, such functions …
Such techniques rely on fitness functions to guide the search. Ultimately, such functions …
Behavioral execution comparison: Are tests representative of field behavior?
Software testing is the most widely used approach for assessing and improving software
quality, but it is inherently incomplete and may not be representative of how the software is …
quality, but it is inherently incomplete and may not be representative of how the software is …
Combining code and requirements coverage with execution cost for test suite reduction
Test suites tend to become large and complex after software evolution iterations, thus
increasing effort and cost to execute regression testing. In this context, test suite reduction …
increasing effort and cost to execute regression testing. In this context, test suite reduction …
Does choice of mutation tool matter?
Though mutation analysis is the primary means of evaluating the quality of test suites, it
suffers from inadequate standardization. Mutation analysis tools vary based on language …
suffers from inadequate standardization. Mutation analysis tools vary based on language …
Test coverage of impacted code elements for detecting refactoring faults: An exploratory study
Refactoring validation by testing is critical for quality in agile development. However, this
activity may be misleading when a test suite is insufficiently robust for revealing faults …
activity may be misleading when a test suite is insufficiently robust for revealing faults …
Analyzing automatic test generation tools for refactoring validation
IPSC Silva, ELG Alves… - 2017 IEEE/ACM 12th …, 2017 - ieeexplore.ieee.org
Refactoring edits are very common during agile development. Due to their inherent
complexity, refactorings are know to be error prone. In this sense, refactoring edits require …
complexity, refactorings are know to be error prone. In this sense, refactoring edits require …
Automata language equivalence vs. simulations for model-based mutant equivalence: An empirical evaluation
Mutation analysis is a popular test assessment method. It relies on the mutation score, which
indicates how many mutants are revealed by a test suite. Yet, there are mutants whose …
indicates how many mutants are revealed by a test suite. Yet, there are mutants whose …
Towards memory and computation efficient graph processing on spark
Algorithms for large scale natural graph processing can be categorized into two types based
on their value propagation behaviors: the unidirectional value propagation (UVP) algorithms …
on their value propagation behaviors: the unidirectional value propagation (UVP) algorithms …
Search-based Unit Test Generation for Evolving Software
JC Medeiros de Campos - 2017 - etheses.whiterose.ac.uk
Search-based software testing has been successfully applied to generate unit test cases for
object-oriented software. Typically, in search-based test generation approaches …
object-oriented software. Typically, in search-based test generation approaches …