Test amplification generates new tests by modifying existing, manually written tests.Up until now, this process preserves statements that were relevant for the original test case but are no longer needed for the behavior of the new test case.These unnecessary statements impact the readability of the tests in question.As a part of the effort to make amplified test cases more readable, we investigate dynamic slicing, taint analysis and static analysis as approaches to remove redundant statements.We design and evaluate a static analysis approach that we implemented as part of the test amplification tool DSpot.Our empirical evaluation on 274 amplified test cases shows that the implemented approach works well: while being rudimentary, it is able...
Unit testing is crucial for any software project. Writing these tests manually, however, can be quit...
Where no independent specification is available, object-oriented unit testing is limited to exercisi...
Software testing is an indispensable part of the soft-ware development process. Mutation analysis is...
Amplified test cases created by DSpot and TestCube often contain unnecessary statements that impact ...
Hi and welcome to my replication package for the paper: "Developer-Friendly Test Cases: Detection an...
International audienceRecent research proposed efficient methods for software verification combining...
International audienceConformance testing is still the main industrial validation technique for tele...
Modern test generation techniques allow to generate as many executions as needed; combined with dyna...
Abstract—As a test criterion, mutation analysis is known for yielding very effective tests. It is al...
Abstract—Mutation analysis is a powerful and unbiased technique to assess the quality of input value...
Abstract—Mutation analysis is an unbiased and powerful method for assessing input values and test or...
Abstract—As a test criterion, mutation analysis is known for yielding very effective tests. It is al...
Some test amplification tools extend a manually created test suite with additional test cases to inc...
International audienceContext: Developers design test suites to verify that software meets its expec...
Software testing relates to the process of accessing the functionality of a program against some def...
Unit testing is crucial for any software project. Writing these tests manually, however, can be quit...
Where no independent specification is available, object-oriented unit testing is limited to exercisi...
Software testing is an indispensable part of the soft-ware development process. Mutation analysis is...
Amplified test cases created by DSpot and TestCube often contain unnecessary statements that impact ...
Hi and welcome to my replication package for the paper: "Developer-Friendly Test Cases: Detection an...
International audienceRecent research proposed efficient methods for software verification combining...
International audienceConformance testing is still the main industrial validation technique for tele...
Modern test generation techniques allow to generate as many executions as needed; combined with dyna...
Abstract—As a test criterion, mutation analysis is known for yielding very effective tests. It is al...
Abstract—Mutation analysis is a powerful and unbiased technique to assess the quality of input value...
Abstract—Mutation analysis is an unbiased and powerful method for assessing input values and test or...
Abstract—As a test criterion, mutation analysis is known for yielding very effective tests. It is al...
Some test amplification tools extend a manually created test suite with additional test cases to inc...
International audienceContext: Developers design test suites to verify that software meets its expec...
Software testing relates to the process of accessing the functionality of a program against some def...
Unit testing is crucial for any software project. Writing these tests manually, however, can be quit...
Where no independent specification is available, object-oriented unit testing is limited to exercisi...
Software testing is an indispensable part of the soft-ware development process. Mutation analysis is...