Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding

Symbolic execution is a powerful technique for bug finding by generating test inputs to systematically explore all feasible paths within a given threshold. However, its practical usage is often limited by the path explosion problem. In this paper, we propose compatible branch coverage driven symboli...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 8; číslo PLDI; s. 1633 - 1655
Hlavní autoři:	Yi, Qiuping, Yu, Yifan, Yang, Guowei
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 20.06.2024
Témata:	Software and its engineering Software testing and debugging software testing symbolic execution program analysis
ISSN:	2475-1421, 2475-1421
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!