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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Software, practice & experience Ročník 43; číslo 1; s. 67 - 92
Hlavní autori:	Lawall, Julia L., Brunel, Julien, Palix, Nicolas, Hansen, René Rydhof, Stuart, Henrik, Muller, Gilles
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Chichester, UK John Wiley & Sons, Ltd 01.01.2013 Wiley Subscription Services, Inc Wiley
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!