id	author	title	date	pages	extension	mime	words	sentences	flesch	summary	cache	txt
cord-030341-uora9qcb	Ruland, Sebastian	HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution)	2020-03-13		.txt	text/plain	1259	73	49	title: HybridTiger: Hybrid Model Checking and Domination-based Partitioning for Efficient Multi-Goal Test-Suite Generation (Competition Contribution) In Test-Comp 2019, we applied a random partitioning strategy and used predicate analysis as model checking technique. HybridTiger uses the CoVeriTest [3] algorithm to sequentially combine test-case generation runs utilizing different verification techniques. Each test-case generation run applies the CPA/Tiger-MGP 4 (Tiger Multi-Goal-Partitioning) algorithm, which utilizes the CEGAR algorithm. HybridTiger first extracts test goals from input programs and repeatedly executes reachability analyses provided by CPAchecker until every reachable test goal is covered by at least one test case. HybridTiger receives as inputs a C program and a property specification (i.e., a set of test goals). Second, HybridTiger uses control-flow information to partition test goals which potentially enhances efficiency of test-case generation due to information reuse among similar test goals. Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis	./cache/cord-030341-uora9qcb.txt	./txt/cord-030341-uora9qcb.txt