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á bibliografia

Vydané v:	IEEE transactions on software engineering Ročník 44; číslo 1; s. 25 - 43
Hlavní autori:	Yi, Qiuping, Yang, Zijiang, Guo, Shengjian, Wang, Chao, Liu, Jian, Zhao, Chen
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York IEEE 01.01.2018 IEEE Computer Society
Predmet:	Concrete Explosions Input variables Pruning Redundancy Software Symbolic execution Syntactics Testing testing and debugging testing tools
ISSN:	0098-5589, 1939-3520
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!