Search Sciweavers | Sciweavers

438 search results - page 3 / 88

» A Tool for Checking ANSI-C Programs

107

click to vote

TOOLS
2000
IEEE

120views Programming Languages» more TOOLS 2000»

Statically Checked Documentation with Design Patterns

15 years 9 months ago

Download www.csie.ntut.edu.tw

Aino Cornils, Görel Hedin

claim paper

Read More »

131

Voted

TACAS
2005
Springer

121views Algorithms» more TACAS 2005»

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

15 years 10 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 »

166

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

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

15 years 9 months ago