3456 search results - page 300 / 692 » Byte Code Engineering |
235
Voted
ISSTA
2004
ACM
15 years 9 months 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 ...
130
click to vote
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
168
Voted
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
We present an approach to the automatic derivation of executable Process Network specifications from Weakly Dynamic Applications. We introduce the notions of Dynamic Single Assig...
138
click to vote
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Merging and splitting source code artifacts is a common activity during the lifespan of a software system; as developers rethink the essential structure of a system or plan for a ...
147
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
Reengineering legacy software systems to object oriented platforms has received significant attention over the past few years. In this paper, we propose a goal driven software mig...