Search Sciweavers | Sciweavers

452 search results - page 7 / 91

» Finding bugs is easy

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

14 years 2 months ago

Download coccinelle.lip6.fr

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

claim paper

Read More »

click to vote

ICFEM
2005
Springer

91views Software Engineering» more ICFEM 2005»

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

14 years 1 months ago

Download www.cs.uiuc.edu

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

claim paper

Read More »

click to vote

VMCAI
2004
Springer

84views Software Engineering» more VMCAI 2004»

Static Analysis versus Software Model Checking for Bug Finding

14 years 1 months ago

Download se.inf.ethz.ch

Dawson R. Engler, Madanlal Musuvathi

claim paper

Read More »

click to vote

EDCC
2010
Springer

225views Applied Computing» more EDCC 2010»

Finding Error Handling Bugs in OpenSSL Using Coccinelle

13 years 12 months ago

Download edcc.dependability.org

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

claim paper

Read More »

click to vote

DATE
2004
IEEE

109views Hardware» more DATE 2004»

Using Counter Example Guided Abstraction Refinement to Find Complex Bugs

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers