Sciweavers

11 search results - page 3 / 3
» CMC: A Pragmatic Approach to Model Checking Real Code
Sort
View
SIGSOFT
2006
ACM
13 years 11 months ago
Memories of bug fixes
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
Sunghun Kim, Kai Pan, E. James Whitehead Jr.