422 search results - page 11 / 85 » Automatic Generation of Program Families by Model Restrictio... |
104
Voted
FIDJI
2003
Springer
15 years 2 months ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
CGO
2009
IEEE
15 years 4 months ago
2009
IEEE
Recent work has shown that machine learning can automate and in some cases outperform hand crafted compiler optimizations. Central to such an approach is that machine learning tec...
84
Voted
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
We present computational techniques for automatically generating algebraic (polynomial equality) invariants for algebraic hybrid systems. Such systems involve ordinary differentia...
SAC
2003
ACM
15 years 2 months ago
2003
ACM
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...
KBSE
1998
IEEE
15 years 1 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...