Symbolic Execution for Advanced Program Reasoning

Symbolic Execution for Advanced Program Reasoning

Ph.D

Saved in:
Bibliographic Details
Main Author: VIJAYARAGHAVAN MURALI
Other Authors: COMPUTER SCIENCE
Format: Theses and Dissertations
Language:English
Published: 2014
Subjects:
Symbolic Execution, Interpolation, Program Analysis, Verification, Testing, Debugging
Online Access:http://scholarbank.nus.edu.sg/handle/10635/80195
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Language: English
id sg-nus-scholar.10635-80195
record_format dspace
spelling sg-nus-scholar.10635-801952015-01-07T11:51:40Z Symbolic Execution for Advanced Program Reasoning VIJAYARAGHAVAN MURALI COMPUTER SCIENCE JAFFAR, JOXAN Symbolic Execution, Interpolation, Program Analysis, Verification, Testing, Debugging Ph.D DOCTOR OF PHILOSOPHY 2014-09-30T18:00:53Z 2014-09-30T18:00:53Z 2014-06-02 Thesis VIJAYARAGHAVAN MURALI (2014-06-02). Symbolic Execution for Advanced Program Reasoning. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/80195 NOT_IN_WOS en
institution National University of Singapore
building NUS Library
country Singapore
collection ScholarBank@NUS
language English
topic Symbolic Execution, Interpolation, Program Analysis, Verification, Testing, Debugging
spellingShingle Symbolic Execution, Interpolation, Program Analysis, Verification, Testing, Debugging
VIJAYARAGHAVAN MURALI
Symbolic Execution for Advanced Program Reasoning
description Ph.D
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
VIJAYARAGHAVAN MURALI
format Theses and Dissertations
author VIJAYARAGHAVAN MURALI
author_sort VIJAYARAGHAVAN MURALI
title Symbolic Execution for Advanced Program Reasoning
title_short Symbolic Execution for Advanced Program Reasoning
title_full Symbolic Execution for Advanced Program Reasoning
title_fullStr Symbolic Execution for Advanced Program Reasoning
title_full_unstemmed Symbolic Execution for Advanced Program Reasoning
title_sort symbolic execution for advanced program reasoning
publishDate 2014
url http://scholarbank.nus.edu.sg/handle/10635/80195
_version_ 1681088849029103616

Similar Items