175 search results - page 6 / 35 » Certification Support for Automatically Generated Programs |
CASES
2007
ACM
15 years 1 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
ECOOP
2006
Springer
15 years 1 months ago
2006
Springer
Object persistence architectures support transparent access to persistent objects. For efficiency, many of these architectures support queries that can prefetch associated objects ...
MHCI
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we present a solution for dynamic generation of Web user interfaces that can dynamically migrate among different platforms. The solution is based on a migration/pro...
KBSE
1998
IEEE
15 years 2 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...
ANSS
2004
IEEE
15 years 1 months ago
2004
IEEE
Imagine if you would like to deploy your new simulation online and your systems can just take care of itself. Needed web interface could be generated, database schema objects coul...