111 search results - page 15 / 23 » Automatic Ada Code Generation Using a Model-Driven Engineeri... |
108
click to vote
KBSE
2010
IEEE
14 years 9 months ago
2010
IEEE
With the need to make sense out of large and constantly growing information spaces, tools to support information management are becoming increasingly valuable. In prior work we pr...
108
click to vote
CGO
2008
IEEE
15 years 6 months ago
2008
IEEE
Array inlining expands the concepts of object inlining to arrays. Groups of objects and arrays that reference each other are placed consecutively in memory so that their relative ...
108
click to vote
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...