Full Record

New Search | Similar Records

Author
Title An experimental evaluation and possible extensions of SyPet
URL
Publication Date
Date Accessioned
Degree MSin Engineering
Discipline/Department Electrical and Computer Engineering
Degree Level masters
University/Publisher University of Texas – Austin
Abstract Program synthesis is an automated programming technique that automatically constructs a program which satisfies given specifications. SyPet is a recently published novel component-based synthesis tool that assembles a straight-line Java method body that invokes a sequence of methods from a given set of libraries to implement desired functionality that is defined by a given test suite. In this report, we experimentally evaluate the correctness and performance of the publicly available SyPet implementation, at the black-box level, focusing on the size of test suites. We then demonstrate how SyPet can be extended to support some other applications, such as synthesizing non-straight-line methods and program repair. Finally, we conjecture an alternative technique that is conceptually simpler for synthesizing straight-line methods and present a few initial experimental results.
Subjects/Keywords Program synthesis; Program repair
Contributors Khurshid, Sarfraz (advisor); Dillig, Isil (committee member)
Language en
Country of Publication us
Record ID handle:2152/62665
Repository texas
Date Indexed 2020-10-15
Grantor The University of Texas at Austin
Issued Date 2017-05-05 00:00:00
Note [department] Electrical and Computer Engineering;

Sample Images | Cited Works

.