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ženo v:

Podrobná bibliografie
Vydáno v:	Software, practice & experience Ročník 43; číslo 1; s. 67 - 92
Hlavní autoři:	Lawall, Julia L., Brunel, Julien, Palix, Nicolas, Hansen, René Rydhof, Stuart, Henrik, Muller, Gilles
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Chichester, UK John Wiley & Sons, Ltd 01.01.2013 Wiley Subscription Services, Inc Wiley
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!