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

15 years 4 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

15 years 3 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

15 years 2 months ago

Download se.inf.ethz.ch

Dawson R. Engler, Madanlal Musuvathi

claim paper

Read More »

Voted

EDCC
2010
Springer

225views Applied Computing» more EDCC 2010»

Finding Error Handling Bugs in OpenSSL Using Coccinelle

15 years 1 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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers