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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE transactions on software engineering Jg. 44; H. 1; S. 25 - 43
Hauptverfasser:	Yi, Qiuping, Yang, Zijiang, Guo, Shengjian, Wang, Chao, Liu, Jian, Zhao, Chen
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.01.2018 IEEE Computer Society
Schlagworte:	Concrete Explosions Input variables Pruning Redundancy Software Symbolic execution Syntactics Testing testing and debugging testing tools
ISSN:	0098-5589, 1939-3520
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!