7 Hits in 1.6 sec

CoVeriTest: Cooperative Verifier-Based Testing [chapter]

Dirk Beyer, Marie-Christine Jakobs
2019 Lecture Notes in Computer Science  
Thereby, it allows to adjust the level of cooperation and to assign individual time budgets per verifier.  ...  We study cooperative combinations of verification approaches for test generation, with high-level information exchange.  ...  Inspired by abstraction-driven concolic testing [32] , which interleaves concolic execution and predicate abstraction, we propose CoVeriTest, which stands for cooperative verifier-based testing.  ... 
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  
It encodes individual test goals as reachability queries, which are then processed by verifiers.  ...  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.  ...  CoVeriTest is a hybrid approach based on the concept of cooperative, verification-based testing [5] , which combines complementary verifiers.  ... 
doi:10.1007/978-3-030-71500-7_18 fatcat:rebuxh6hjvd4zf2c5mq2lno5pu

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

Marie-Christine Jakobs
2020 International Journal on Software Tools for Technology Transfer (STTT)  
More concrete, CoVeriTest interleaves different verification techniques and allows to configure the cooperation (i.e., information exchange and time limits).  ...  This is also the basic idea of our CoVeriTest submission. However, the set of test goals is not fixed in CoVeriTest , instead we can configure the set of test goals.  ...  For our CoVeriTest submission, we select the instance of cooperative, verifier-based testing that performed best in a recent study [4] .  ... 
doi:10.1007/s10009-020-00572-1 fatcat:g3w2echfkvbwdcdd5dnu6375iq

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.  ...  More concrete, our Test-Comp'20 submission CoVeriTest combines different verification approaches using the idea of cooperative, verifier-based testing [6] .  ... 
doi:10.1007/978-3-030-45234-6_30 fatcat:gounrrbnlrhh3k3h7arumucvai

Cooperative Test-Case Generation with Verifiers

Dirk Beyer, Marie-Christine Jakobs
2020 Software Engineering  
We propose the hybrid test-generation approach CoVeriTest. CoVeriTest is flexible, cooperative, and based on verification technology.  ...  It iteratively executes a sequence of verifiers that may exchange analysis information between each other and output a test case whenever they reach a test goal.  ...  CoVeriTest is based on veriĄers, which construct a test case whenever they reach a test goal (e. g., a branch). Figure 1 shows the workĆow of CoVeriTest.  ... 
doi:10.18420/se2020_31 dblp:conf/se/0001J20 fatcat:nwzbdq4qlvabpcqcosjibgnk2i

Automated model analysis tools and techniques presented at FASE 2019

Reiner Hähnle, Wil van der Aalst
2020 International Journal on Software Tools for Technology Transfer (STTT)  
All papers share the common theme that they are either concerned with model-based analysis of systems or they develop methods in its service.  ...  -Cooperative, Verifier-Based Testing with CoVeriTest by Beyer & Jakobs [1] is a test generation approach based on verification attempts: from a solved reachability problem, one can generate a test case  ...  These ideas are implemented in the CoVeriTest tool. - testing.  ... 
doi:10.1007/s10009-020-00589-6 fatcat:6pme5b2xpjesbe3maijl7hn5me

FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis [article]

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro
2022 arXiv   pre-print
Furthermore, Tracer evaluates test cases dynamically to convert high-impact cases into seeds for subsequent test fuzzing.  ...  As a result, we received three awards for participation in the fourth international competition in software testing (Test-Comp 2022), outperforming all state-of-the-art tools in every category, including  ...  CoVeriTest [BJ19] is a Cooperative Verifier Test generation that utilizes a hybrid approach for test generation.  ... 
arXiv:2206.14068v1 fatcat:kpqsgvwikbhr3nplw4wqytfsae