614 search results - page 45 / 123 » LCLint: A Tool for Using Specifications to Check Code |
TAICPART
2010
IEEE
13 years 7 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
COMPSAC
2007
IEEE
14 years 25 days ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
FAC
2008
13 years 9 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
ICSM
2006
IEEE
14 years 2 months ago
2006
IEEE
Software Engineers frequently need to locate and understand the code that implements a specific user feature of a large system. This paper reports on a study by Motorola Inc. and ...
IASSE
2004
13 years 10 months ago
2004
Bosco is a code generation tool, which goal is to accept any MOF model as parameter and follow the evolution of OMG standards. It generates the underlying model (also called repos...