Interpolation Methods for Symbolic Execution

Interpolation Methods for Symbolic Execution

Ph.D

Saved in:
Bibliographic Details
Main Author: CHU DUC HIEP
Other Authors: NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG
Format: Theses and Dissertations
Language:English
Published: 2013
Subjects:
Symbolic Execution, Interpolation, Abstraction Learning, Program Path Analysis, Concurrent Verification, WCET
Online Access:http://scholarbank.nus.edu.sg/handle/10635/37900
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Language: English
id sg-nus-scholar.10635-37900
record_format dspace
spelling sg-nus-scholar.10635-379002015-01-12T09:30:17Z Interpolation Methods for Symbolic Execution CHU DUC HIEP NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG JAFFAR, JOXAN Symbolic Execution, Interpolation, Abstraction Learning, Program Path Analysis, Concurrent Verification, WCET Ph.D DOCTOR OF PHILOSOPHY 2013-05-31T18:02:38Z 2013-05-31T18:02:38Z 2012-12-03 Thesis CHU DUC HIEP (2012-12-03). Interpolation Methods for Symbolic Execution. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/37900 NOT_IN_WOS en
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
language English
topic Symbolic Execution, Interpolation, Abstraction Learning, Program Path Analysis, Concurrent Verification, WCET
spellingShingle Symbolic Execution, Interpolation, Abstraction Learning, Program Path Analysis, Concurrent Verification, WCET
CHU DUC HIEP
Interpolation Methods for Symbolic Execution
description Ph.D
author2 NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG
author_facet NUS GRAD SCH FOR INTEGRATIVE SCI & ENGG
CHU DUC HIEP
format Theses and Dissertations
author CHU DUC HIEP
author_sort CHU DUC HIEP
title Interpolation Methods for Symbolic Execution
title_short Interpolation Methods for Symbolic Execution
title_full Interpolation Methods for Symbolic Execution
title_fullStr Interpolation Methods for Symbolic Execution
title_full_unstemmed Interpolation Methods for Symbolic Execution
title_sort interpolation methods for symbolic execution
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/37900
_version_ 1681081860221829120

Similar Items