Bugs as deviant behavior

A major obstacle to finding program errors in a real system is knowing what correctness rules the system must obey. These rules are often undocumented or specified in an ad hoc manner. This paper demonstrates techniques that automatically extract such checking information from the source code itself...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Operating systems review 2001-12, Vol.35 (5), p.57-72
Hauptverfasser:	Engler, Dawson, Chen, David Yu, Hallem, Seth, Chou, Andy, Chelf, Benjamin
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!