Search Sciweavers | Sciweavers

452 search results - page 7 / 91

» Finding bugs is easy

117

click to vote

DSN
2009
IEEE

94views Computer Networks» more DSN 2009»

WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code

16 years 9 days ago

Download coccinelle.lip6.fr

Julia L. Lawall, Julien Brunel, Nicolas Palix, Ren...

claim paper

Read More »

102

click to vote

ICFEM
2005
Springer

91views Software Engineering» more ICFEM 2005»

Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics

15 years 11 months ago

Download www.cs.uiuc.edu

Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, J...

claim paper

Read More »

131

click to vote

VMCAI
2004
Springer

84views Software Engineering» more VMCAI 2004»

Static Analysis versus Software Model Checking for Bug Finding

15 years 11 months ago

Download se.inf.ethz.ch

Dawson R. Engler, Madanlal Musuvathi

claim paper

Read More »

148

Voted

EDCC
2010
Springer

225views Applied Computing» more EDCC 2010»

Finding Error Handling Bugs in OpenSSL Using Coccinelle

15 years 9 months ago

Download edcc.dependability.org

Julia L. Lawall, Ben Laurie, René Rydhof Ha...

claim paper

Read More »

132

click to vote

DATE
2004
IEEE

109views Hardware» more DATE 2004»

Using Counter Example Guided Abstraction Refinement to Find Complex Bugs

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers