452 search results - page 20 / 91 » Symbolic Execution of Behavioral Requirements |
SIGSOFT
2007
ACM
15 years 11 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...
102
Voted
HPDC
2009
IEEE
15 years 5 months ago
2009
IEEE
This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for intera...
97
Voted
SIGSOFT
2005
ACM
15 years 11 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
123
click to vote
ATC
2008
Springer
15 years 25 days ago
2008
Springer
Abstract. Scheduling the execution of multiple concurrent tasks on shared resources such as CPUs and network links is essential to ensuring the reliable operation of many autonomic...
112
Voted
ICSE
2001
IEEE-ACM
15 years 3 months ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...