A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
CoVeriTest: Cooperative Verifier-Based Testing
[chapter]
2019
Lecture Notes in Computer Science
Preserved Fulltext
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]
2021
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2020
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2020
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2020
International Journal on Software Tools for Technology Transfer (STTT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2022
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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