Unit testing is crucial for any software project. Writing these tests manually, however, can be quite cumbersome. To tackle this, automated testing has been growing in recent times. Unfortunately, most automated testing tools are a challenge to use. The TestCube Project intends to change that. They aim to make automated testing tools easy and fun to use with their TestCube plugin. Our project's goal is to help the TestCube project improve their plugin. A problem they face is regarding mutating and generating strings for new automated test cases. These strings can be long, random and hard to understand. Hence the question that is being tackled is `How can you design, implement and evaluate an extension to test amplification to generate easie...
Diverse test sets are able to expose bugs that test sets generated with structural coverage techniqu...
Testing is one of the mainstream program verification techniques where a program is executed on a se...
Automated test generation techniques improve the efficiency of software testing. However, the opacit...
Graduation date: 2017The main goal of automated test generation is to improve the reliability of a p...
Some test amplification tools extend a manually created test suite with additional test cases to inc...
Automated test generation tools have been widely investigated with the goal of reducing the cost of ...
TestCube amplifies existing unit tests and creates a new test suite with additional coverage for the...
Software testing is an integral part of the software development process. To test certain parts of s...
Automated generation of tests from specifications has been recently introduced in order to address s...
Context. The effective generation of test data is regarded as very important in the software testing...
Mutation testing is an effective software testing method, which generates mutants by applying mutati...
SMT solvers are at the basis of many applications, such as program verification, program synthesis, ...
Abstract—To assess the quality of test suites, mutation analysis seeds artificial defects (mutations...
Software continues to be vital to the modern world, and as its ubiquity increases, its correctness b...
Amplified test cases created by DSpot and TestCube often contain unnecessary statements that impact ...
Diverse test sets are able to expose bugs that test sets generated with structural coverage techniqu...
Testing is one of the mainstream program verification techniques where a program is executed on a se...
Automated test generation techniques improve the efficiency of software testing. However, the opacit...
Graduation date: 2017The main goal of automated test generation is to improve the reliability of a p...
Some test amplification tools extend a manually created test suite with additional test cases to inc...
Automated test generation tools have been widely investigated with the goal of reducing the cost of ...
TestCube amplifies existing unit tests and creates a new test suite with additional coverage for the...
Software testing is an integral part of the software development process. To test certain parts of s...
Automated generation of tests from specifications has been recently introduced in order to address s...
Context. The effective generation of test data is regarded as very important in the software testing...
Mutation testing is an effective software testing method, which generates mutants by applying mutati...
SMT solvers are at the basis of many applications, such as program verification, program synthesis, ...
Abstract—To assess the quality of test suites, mutation analysis seeds artificial defects (mutations...
Software continues to be vital to the modern world, and as its ubiquity increases, its correctness b...
Amplified test cases created by DSpot and TestCube often contain unnecessary statements that impact ...
Diverse test sets are able to expose bugs that test sets generated with structural coverage techniqu...
Testing is one of the mainstream program verification techniques where a program is executed on a se...
Automated test generation techniques improve the efficiency of software testing. However, the opacit...