OpenAlex | Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation

Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation

Work

Year: 2017

Type: book-chapter

Source: Lecture notes in computer science

Authors ThanhVu Nguyen, Westley Weimer, Deepak Kapur, Stephanie Forrest

Institutions University of Nebraska–Lincoln, University of Virginia, University of New Mexico

Cites: 56

Cited by: 15

Related to: 10

FWCI: 3.952

Citation percentile (by year/subfield): 88.8

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Sustainable Development Goal Partnerships for the goals

Open Access status: green