Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Deductive Program Repair, Computer Aided Verification
 
conference paper

Deductive Program Repair, Computer Aided Verification

Kneuss, Etienne
•
Koukoutos, Manos
•
Kuncak, Viktor
July 14, 2015
Lecture Notes in Computer Science
27th International Conference on Computer-Aided Verification

We present an approach to program repair and its application to programs with recursive functions over unbounded data types. Our approach formulates program repair in the framework of deductive synthesis that uses existing program structure as a hint to guide synthesis. We introduce a new specification construct for symbolic tests. We rely on such user-specified tests as well as automatically generated ones to localize the fault and speed up synthesis. Our implementation is able to eliminate errors within seconds from a variety of functional programs, including symbolic computation code and implementations of functional data structures. The resulting programs are formally verified by the Leon system.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

KneussETAL15DeductiveProgramRepair.pdf

Access type

openaccess

Size

331.97 KB

Format

Adobe PDF

Checksum (MD5)

8975b0759d84d5d2b54f1e8e4a829cf4

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés