Search Sciweavers | Sciweavers

438 search results - page 3 / 88

» A Tool for Checking ANSI-C Programs

click to vote

TOOLS
2000
IEEE

120views Programming Languages» more TOOLS 2000»

Statically Checked Documentation with Design Patterns

13 years 12 months ago

Download www.csie.ntut.edu.tw

Aino Cornils, Görel Hedin

claim paper

Read More »

click to vote

TACAS
2005
Springer

121views Algorithms» more TACAS 2005»

FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs

14 years 1 months ago

Download www.cs.iastate.edu

Abstract. We present the FocusCheck model-checking tool for the veriﬁcation and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...

Curtis W. Keller, Diptikalyan Saha, Samik Basu, Sc...

claim paper

Read More »

click to vote

SAS
2005
Springer

135views Formal Methods» more SAS 2005»

Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis

14 years 1 months ago

Download ropas.snu.ac.kr

Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...

Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun ...

claim paper

Read More »

click to vote

ICFP
2000
ACM

105views Programming Languages» more ICFP 2000»

QuickCheck: a lightweight tool for random testing of Haskell programs

13 years 12 months ago