3792 search results - page 532 / 759 » Techniques for Trusted Software Engineering |
283
click to vote
ISSTA
2004
ACM
16 years 2 days ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
155
click to vote
PPPJ
2004
ACM
16 years 2 days ago
2004
ACM
A new acceleration technology for Java embedded virtual machines is presented in this paper. Based on the selective dynamic compilation technique, this technology addresses the J2...
215
Voted
ADAEUROPE
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
210
click to vote
FASE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
183
click to vote
CGO
2003
IEEE
15 years 12 months ago
2003
IEEE
Optimizing programs at run-time provides opportunities to apply aggressive optimizations to programs based on information that was not available at compile time. At run time, prog...