79 search results - page 9 / 16 » Model-Driven Engineering of Machine Executable Code |
ISSRE
2010
IEEE
13 years 7 months ago
2010
IEEE
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
OOPSLA
2009
Springer
14 years 3 months ago
2009
Springer
Programmers build large-scale systems with multiple languages to reuse legacy code and leverage languages best suited to their problems. For instance, the same program may use Jav...
PEPM
1999
ACM
14 years 26 days ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
FASE
2007
Springer
14 years 2 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
FASE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...