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

Full description

Bibliographic Details

Published in:	IEEE transactions on software engineering Vol. 44; no. 1; pp. 25 - 43
Main Authors:	Yi, Qiuping, Yang, Zijiang, Guo, Shengjian, Wang, Chao, Liu, Jian, Zhao, Chen
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.01.2018 IEEE Computer Society
Subjects:	Concrete Explosions Input variables Pruning Redundancy Software Symbolic execution Syntactics Testing testing and debugging testing tools
ISSN:	0098-5589, 1939-3520
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!