WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process

SUMMARY Bug‐finding tools rely on specifications of what is correct or incorrect code. As it is difficult for a tool developer or user to anticipate all possible specifications, strategies for inferring specifications have been proposed. These strategies obtain probable specifications by observing c...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Software, practice & experience Jg. 43; H. 1; S. 67 - 92
Hauptverfasser:	Lawall, Julia L., Brunel, Julien, Palix, Nicolas, Hansen, René Rydhof, Stuart, Henrik, Muller, Gilles
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Chichester, UK John Wiley & Sons, Ltd 01.01.2013 Wiley Subscription Services, Inc Wiley
Schlagworte:	API bug finding Computer programs Computer Science Construction equipment Heuristic Inference Linux Operating Systems program analysis Software Software Engineering Specifications Strategy Linux bug finding program analysis
ISSN:	0038-0644, 1097-024X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!