Sciweavers

322 search results - page 65 / 65
» Developing and Reasoning About Probabilistic Programs in pGC...
Sort
View
112
Voted
MSR
2006
ACM
15 years 7 months ago
Tracking defect warnings across versions
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
Jaime Spacco, David Hovemeyer, William Pugh
SIGSOFT
2007
ACM
16 years 2 months ago
Mining API patterns as partial orders from source code: from usage scenarios to specifications
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
Mithun Acharya, Tao Xie, Jian Pei, Jun Xu