452 search results - page 40 / 91 » Symbolic Execution of Behavioral Requirements |
ISSTA
2000
ACM
15 years 3 months ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
142
click to vote
SOSP
2009
ACM
15 years 7 months ago
2009
ACM
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging...
COMPSAC
2002
IEEE
15 years 3 months ago
2002
IEEE
One of the most important issues in the software development is how to guarantee that the software satisfies the quality defined in the requirement specification. This paper pr...
106
click to vote
IPPS
2002
IEEE
15 years 3 months ago
2002
IEEE
The goal of this research is to develop performance profiles of parallel and distributed applications in order to predict their execution time under different network conditions....
142
click to vote
DIMVA
2011
14 years 2 months ago
2011
Many software security solutions—including malware analyzers, information flow tracking systems, auditing utilities, and host-based intrusion detectors—rely on knowledge of s...