There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 15

Record: found
Abstract: not found
Article: not found

GenProg: A Generic Method for Automatic Software Repair

Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest … (2012)

0 comments Cited 66 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Simplifying and isolating failure-inducing input

A Zeller, R. Hildebrandt (2002)

0 comments Cited 60 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

Syntax-guided synthesis

Mukund Raghothaman, Sanjit Seshia, Abhishek Udupa … (2013)

0 comments Cited 44 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2015

Publication date (Online): July 14 2015

Pages: 217-233

DOI: 10.1007/978-3-319-21668-3_13

SO-VID: 1132dd70-515f-43e0-af99-53b40415e802

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 7

Automatic patch generation by learning correct code
Authors: Martin C Rinard, Fan Long
Lessons from building static analysis tools at Google
Authors: Caitlin Sadowski, Edward Aftandilian, Alex Eagle …
Automatic Software Repair
Authors: Martin Monperrus

See all cited by

Deductive Program Repair

Read this book at

Related collections

De Gruyter Materials Science: Energy

Most cited references 15

GenProg: A Generic Method for Automatic Software Repair

Simplifying and isolating failure-inducing input

Syntax-guided synthesis

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,754

Cited by 7