A Case for Automated Debugging Using Data Structure Repair

Automated debugging is becoming increasingly important as the size and complexity of software increases.This paper makes a case for using constraint-based data structure repair, a recently developed technique for fault recovery, as a basis for automated debugging.Data structure repair uses given str...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Malik, Muhammad Zubair, Ghori, Khalid, Elkarablieh, Bassem, Khurshid, Sarfraz
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Computer bugs Concrete Data structure repair Data structures Debugging Genetic mutations Juzi Korat Monitoring Programming profession Runtime Social and professional topics > Professional topics > Management of computing and information systems > Software management > Software maintenance Software and its engineering > Software creation and management > Software post-development issues Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging Software debugging Software engineering Testing Theory of computation > Logic > Constraint and logic programming
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!