614 search results - page 59 / 123 » LCLint: A Tool for Using Specifications to Check Code |
207
click to vote
CORR
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
165
click to vote
ECOOP
2006
Springer
15 years 9 months ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...
149
click to vote
GI
2004
Springer
15 years 11 months ago
2004
Springer
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
156
click to vote
CC
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
153
click to vote
WCRE
1999
IEEE
15 years 10 months ago
1999
IEEE
One of the challenges of reverse engineering is the extraction of a specification from source code. Our work proposes a singular approach to the construction of reverse engineerin...