SEMANTIC PROGRAM REPAIR

Ph.D

Saved in:

Bibliographic Details
Main Author:	MECHTAEV SERGEY
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2018
Subjects:	program repair. program synthesis, debugging, symbolic execution, program analysis, software verification
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/145447
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-145447
record_format	dspace
spelling	sg-nus-scholar.10635-1454472021-02-19T09:11:23Z SEMANTIC PROGRAM REPAIR MECHTAEV SERGEY COMPUTER SCIENCE ABHIK ROYCHOUDHURY program repair. program synthesis, debugging, symbolic execution, program analysis, software verification Ph.D DOCTOR OF PHILOSOPHY 2018-07-31T18:01:10Z 2018-07-31T18:01:10Z 2018-04-09 Thesis MECHTAEV SERGEY (2018-04-09). SEMANTIC PROGRAM REPAIR. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/145447 en
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
language	English
topic	program repair. program synthesis, debugging, symbolic execution, program analysis, software verification
spellingShingle	program repair. program synthesis, debugging, symbolic execution, program analysis, software verification MECHTAEV SERGEY SEMANTIC PROGRAM REPAIR
description	Ph.D
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE MECHTAEV SERGEY
format	Theses and Dissertations
author	MECHTAEV SERGEY
author_sort	MECHTAEV SERGEY
title	SEMANTIC PROGRAM REPAIR
title_short	SEMANTIC PROGRAM REPAIR
title_full	SEMANTIC PROGRAM REPAIR
title_fullStr	SEMANTIC PROGRAM REPAIR
title_full_unstemmed	SEMANTIC PROGRAM REPAIR
title_sort	semantic program repair
publishDate	2018
url	http://scholarbank.nus.edu.sg/handle/10635/145447
_version_	1693115871772278784

Similar Items