| Author | -5365-808X |
| Title | An experimental evaluation and possible extensions of SyPet |
| URL | http://hdl.handle.net/2152/62665  |
| Publication Date | 2017 |
| Date Accessioned | 2017-11-21 14:14:51 |
| 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
