Search Sciweavers | Sciweavers

9595 search results - page 47 / 1919

» Functional programming in C

click to vote

AADEBUG
1997
Springer

243views Software Engineering» more AADEBUG 1997»

Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs

14 years 2 months ago

Download www.ep.liu.se

This paper presents a new approach to enforcing array bounds and pointer checking in the C language. Checking is rigorous in the sense that the result of pointer arithmetic must r...

Richard W. M. Jones, Paul H. J. Kelly

claim paper

Read More »

click to vote

JSS
2010

107views more JSS 2010»

An empirical investigation into branch coverage for C programs using CUTE and AUSTIN

13 years 8 months ago

Download www.cs.ucl.ac.uk

Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...

Kiran Lakhotia, Phil McMinn, Mark Harman

claim paper

Read More »

click to vote

SCAM
2009
IEEE

167views Software Engineering» more SCAM 2009»

A Value Analysis for C Programs

14 years 4 months ago