Eliminating Path Redundancy via Postconditioned Symbolic Execution

Symbolic execution is emerging as a powerful technique for generating test inputs systematically to achieve exhaustive path coverage of a bounded depth. However, its practical use is often limited by path explosion because the number of paths of a program can be exponential in the number of branch c...

Celý popis

Podrobná bibliografie

Vydáno v:	IEEE transactions on software engineering Ročník 44; číslo 1; s. 25 - 43
Hlavní autoři:	Yi, Qiuping, Yang, Zijiang, Guo, Shengjian, Wang, Chao, Liu, Jian, Zhao, Chen
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.01.2018 IEEE Computer Society
Témata:	Concrete Explosions Input variables Pruning Redundancy Software Symbolic execution Syntactics Testing testing and debugging testing tools
ISSN:	0098-5589, 1939-3520
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!