Path exploration based on symbolic output

10.1145/2025113.2025152

Saved in:

Bibliographic Details
Main Authors:	Qi, D., Nguyen, H.D.T., Roychoudhury, A.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Path exploration Relevant slice condition Symbolic execution
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/41999
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-41999
record_format	dspace
spelling	sg-nus-scholar.10635-419992015-01-09T11:06:23Z Path exploration based on symbolic output Qi, D. Nguyen, H.D.T. Roychoudhury, A. COMPUTER SCIENCE Path exploration Relevant slice condition Symbolic execution 10.1145/2025113.2025152 Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering 278-288 2013-07-04T08:40:52Z 2013-07-04T08:40:52Z 2011 Conference Paper Qi, D.,Nguyen, H.D.T.,Roychoudhury, A. (2011). Path exploration based on symbolic output. Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering : 278-288. ScholarBank@NUS Repository. <a href="https://doi.org/10.1145/2025113.2025152" target="_blank">https://doi.org/10.1145/2025113.2025152</a> 9781450304436 http://scholarbank.nus.edu.sg/handle/10635/41999 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Path exploration Relevant slice condition Symbolic execution
spellingShingle	Path exploration Relevant slice condition Symbolic execution Qi, D. Nguyen, H.D.T. Roychoudhury, A. Path exploration based on symbolic output
description	10.1145/2025113.2025152
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Qi, D. Nguyen, H.D.T. Roychoudhury, A.
format	Conference or Workshop Item
author	Qi, D. Nguyen, H.D.T. Roychoudhury, A.
author_sort	Qi, D.
title	Path exploration based on symbolic output
title_short	Path exploration based on symbolic output
title_full	Path exploration based on symbolic output
title_fullStr	Path exploration based on symbolic output
title_full_unstemmed	Path exploration based on symbolic output
title_sort	path exploration based on symbolic output
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/41999
_version_	1681082540571492352

Path exploration based on symbolic output

Similar Items