Basic Block Coverage (BBC) is a secondary objective for search-based unit test generation techniques relying on the approach level and branch distance to drive the search process. Unlike the approach level and branch distance, which considers only information related to the coverage of explicit branches coming from conditional and loop statements, BBC also takes into account implicit branchings (e.g., a runtime exception thrown in a branchless method) denoted by the coverage level of relevant basic blocks in a control flow graph to drive the search process. Our implementation of BBC for unit test generation relies on the DynaMOSA algorithm and EvoSuite. This paper summarizes the results achieved by EvoSuite's DynaMOSA implementation with BB...
Abstract—Coverage criteria based on data-flow have long been discussed in the literature, yet to dat...
Automated test generation techniques typically aim at max- imising coverage of well-established stru...
The topic of this thesis is automated test generation for control software represented in a specific...
Search-based techniques have been widely used for white-box test generation. Many of these approache...
Search-based techniques have been widely used for white-box test generation. Many of these approache...
Abstract Automated unit test generation techniques traditionally follow one of two goals: Either the...
Various search-based test generation techniques have been proposed to automate the process of test g...
Unit testing is a critical part of software development process, ensuring the correctness of basic p...
peer reviewedEVOSUITE is a mature research prototype that automatically generates unit tests for Ja...
Software tests are fundamental in the reliability and quality of systems, contributing to their posi...
A software test consists of an input that implements the program and a definition of the expected ou...
Abstract. EvoSuite is a mature research prototype implementing a search-based approach to unit test ...
Various search-based test generation techniques have been proposed to automate the generation of uni...
Abstract—Coverage criteria based on data-flow have long been discussed in the literature, yet to dat...
The PhD thesis deals with the analysis of digital systems described on RT level. The methodology of ...
Abstract—Coverage criteria based on data-flow have long been discussed in the literature, yet to dat...
Automated test generation techniques typically aim at max- imising coverage of well-established stru...
The topic of this thesis is automated test generation for control software represented in a specific...
Search-based techniques have been widely used for white-box test generation. Many of these approache...
Search-based techniques have been widely used for white-box test generation. Many of these approache...
Abstract Automated unit test generation techniques traditionally follow one of two goals: Either the...
Various search-based test generation techniques have been proposed to automate the process of test g...
Unit testing is a critical part of software development process, ensuring the correctness of basic p...
peer reviewedEVOSUITE is a mature research prototype that automatically generates unit tests for Ja...
Software tests are fundamental in the reliability and quality of systems, contributing to their posi...
A software test consists of an input that implements the program and a definition of the expected ou...
Abstract. EvoSuite is a mature research prototype implementing a search-based approach to unit test ...
Various search-based test generation techniques have been proposed to automate the generation of uni...
Abstract—Coverage criteria based on data-flow have long been discussed in the literature, yet to dat...
The PhD thesis deals with the analysis of digital systems described on RT level. The methodology of ...
Abstract—Coverage criteria based on data-flow have long been discussed in the literature, yet to dat...
Automated test generation techniques typically aim at max- imising coverage of well-established stru...
The topic of this thesis is automated test generation for control software represented in a specific...