Chopped symbolic execution

Symbolic execution is a powerful program analysis technique that systematically explores multiple program paths. However, despite important technical advances, symbolic execution often struggles to reach deep parts of the code due to the well-known path explosion problem and constraint solving limit...

Full description

Saved in:

Bibliographic Details
Published in:	2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) pp. 350 - 360
Main Authors:	Trabish, David, Mattavelli, Andrea, Rinetzky, Noam, Cadar, Cristian
Format:	Conference Proceeding
Language:	English
Published:	New York, NY, USA ACM 27.05.2018
Series:	ACM Conferences
Subjects:	Computer bugs Engines Explosions Program slicing Runtime Software Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging Static analysis Symbolic execution static analysis symbolic execution program slicing
ISBN:	9781450356381, 1450356389
ISSN:	1558-1225
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!