503 search results - page 44 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
118
click to vote
VEE
2012
ACM
13 years 5 months ago
2012
ACM
Process-level virtualization is increasingly being used to enhance the security of software applications from reverse engineering and unauthorized modification (called software p...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...
WCRE
2000
IEEE
15 years 2 months ago
2000
IEEE
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are espe...
130
click to vote
EUROSYS
2011
ACM
14 years 1 months ago
2011
ACM
Mobile applications are becoming increasingly ubiquitous and provide ever richer functionality on mobile devices. At the same time, such devices often enjoy strong connectivity wi...
EMSOFT
2010
Springer
14 years 7 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...