1781 search results - page 200 / 357 » Visualizing program execution using user abstractions |
CAV
2011
Springer
13 years 21 days ago
2011
Springer
Abstract. BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as we...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
We propose to demonstrate SGL, a language and system for writing computer games using data management techniques. We will demonstrate a complete game built using the system, and s...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
This paper proposes automated support for classifying reported software failures in order to facilitate prioritizing them and diagnosing their causes. A classification strategy is...
VEE
2012
ACM
12 years 4 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...