5 Hits in 1.7 sec

CoVeriTest: interleaving value and predicate analysis for test-case generation

Marie-Christine Jakobs
2020 International Journal on Software Tools for Technology Transfer (STTT)  
For the competition, we interleave CPAchecker's value and predicate analysis and let both analyses resume their analysis performed in the previous iteration.  ...  Verification techniques are well-suited for automatic test-case generation. They basically need to check the reachability of every test goal and generate test cases for all reachable goals.  ...  In each round, our CoVeriTest submission first performs test-case generation with the value analysis and thereafter with the predicate analysis.  ... 
doi:10.1007/s10009-020-00572-1 fatcat:g3w2echfkvbwdcdd5dnu6375iq

CoVeriTest: Cooperative Verifier-Based Testing [chapter]

Dirk Beyer, Marie-Christine Jakobs
2019 Lecture Notes in Computer Science  
We present CoVeriTest, a hybrid approach for test-case generation, which iteratively applies different conditional model checkers.  ...  Moreover, CoVeriTest achieves higher coverage than state-of-the-art test-generation tools for some programs.  ...  To evaluate whether CoVeriTest benefits from interleaving, we compare CoVeriTest against the analyses used by it. CoVeriTest interleaves value and predicate analysis.  ... 
doi:10.1007/978-3-030-16722-6_23 fatcat:ehifxhlfffda3pvqmqhqak3r2m

CoVeriTest with Adaptive Time Scheduling (Competition Contribution) [chapter]

Marie-Christine Jakobs, Cedric Richter
2021 Lecture Notes in Computer Science  
AbstractCoVeriTest, which is integrated in the analysis framework CPAchecker, adopts verification technology for test-case generation.  ...  To increase the effectiveness on a broad class of testing tasks, CoVeriTest leverages the strengths of two different analyses: an explicit value analysis and predicate abstraction.  ...  One instance generates test cases based on CPAchecker's value analysis [4] and the other instance uses CPAchecker's predicate analysis [3] .  ... 
doi:10.1007/978-3-030-71500-7_18 fatcat:rebuxh6hjvd4zf2c5mq2lno5pu

CoVeriTest with Dynamic Partitioning of the Iteration Time Limit (Competition Contribution) [chapter]

Marie-Christine Jakobs
2020 Lecture Notes in Computer Science  
To deal with the diverse set of Test-Comp tasks, CoVeriTest uses a hybrid approach that interleaves value and predicate analysis.  ...  Our CoVeriTest submission, which is implemented in the analysis framework CPAchecker, uses verification techniques for automatic test-case generation.  ...  720 s for value and predicate analysis.  ... 
doi:10.1007/978-3-030-45234-6_30 fatcat:gounrrbnlrhh3k3h7arumucvai

TOOLympics I: Competition on software testing

Dirk Beyer, Marieke Huisman
2021 International Journal on Software Tools for Technology Transfer (STTT)  
Test-Comp, the International Competition on Software Testing, is an example of a tool competition, where the research teams submit tools for test-generation, and the competition evaluates the tools and  ...  Regular comparative evaluations provide guidance to practitioners that have to select new technology and tools for their development process.  ...  Acknowledgements We are grateful to all the authors for their contributions and to the jury of Test-Comp 2019 for their help in evaluating the test-generation systems and selecting the papers for this  ... 
doi:10.1007/s10009-021-00611-5 fatcat:ypy4jugifrgynneqmklsmirwxy