×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [real bugs]
Home >
real bugs
Triage: Diagnosing Production Run Failures at the Users Site Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos, and Yuanyuan Zhou Department of Computer.
216 views
Finding bugs that matter with Findbugs
2.211 views
Testing Tools: Pros and Cons
202 views
Real World Static Analysis Boot Camp
396 views
VeriFlow: Verifying Network-Wide Invariants in Real Time
61 views
S. Narayanasamy, Z. Wang, J. Tigani, A. Edwards, B. Calder UCSD and Microsoft PLDI 2007.
214 views
1 Improving Software Quality with Static Analysis Jeff Foster, Mike Hicks, William Pugh, Polyvios Pratikakis and Saurabh Srivastava (and lots of other.
214 views
Methods For The Prevention, Detection And Removal Of Software Security Vulnerabilities Jay-Evan J. Tevis Department of Computer Science and Software Engineering.
213 views
Scalable Defect Detection Manuvir Das, Zhe Yang, Daniel Wang Center for Software Excellence Microsoft Corporation.
221 views
Verifying Concurrent Message- Passing C Programs with Recursive Calls Sagar Chaki, Edmund Clarke, Nicholas Kidd, Thomas Reps, and Tayssir Touili.
221 views
Automatic Identification of Bug-Introducing Changes .
35 views
#1 Programming Languages Research and You: What Miracles Are We Cooking Up These Days?
215 views
Next >