File Download

There are no files associated with this item.

  • Find it @ UNIST can give you direct access to the published full text of this article. (UNISTARs only)

Views & Downloads

Detailed Information

Cited time in webofscience Cited time in scopus
Metadata Downloads

Symbolic execution groundwork for distinguishing automatically generated patches

Phong, Nguyễn Gia
Yi, Jooyong
Issued Date
In recent decades, automatic program repair has been advancing consistently according to benchmarks. However, its use in practice is still limited due to the difficulty in choosing a desired patch among the generated pool.

This work introduces a method to logically differentiate between patches through symbolic execution. The technique generates a tree of decisions for developers to reason between patches based on the program's inputs and semi-automatically captured outputs. Its implementation Psychic based on KLEE is evaluated on patches automatically generated for toy programs in the IntroClass benchmark, showing promising preliminaries.
Ulsan National Institute of Science and Technology


Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.