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

Full description

Saved in:

Bibliographic Details
Published in:	Software, practice & experience Vol. 43; no. 1; pp. 67 - 92
Main Authors:	Lawall, Julia L., Brunel, Julien, Palix, Nicolas, Hansen, René Rydhof, Stuart, Henrik, Muller, Gilles
Format:	Journal Article
Language:	English
Published:	Chichester, UK John Wiley & Sons, Ltd 01.01.2013 Wiley Subscription Services, Inc Wiley
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!