340 search results - page 5 / 68 » paste 2005 |
TACAS
2005
Springer
14 years 3 months ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
IWPC
2005
IEEE
14 years 3 months ago
2005
IEEE
Program comprehension research can be characterized by both the theories that provide rich explanations about how programmers comprehend software, as well as the tools that are us...
ICCS
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we describe our recent use of genetic programming methods to automatically discover CA rule sets that produce self-replication of arbitrary given structures. Our init...
TACAS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
PASTE
2005
ACM
14 years 3 months ago
2005
ACM
Information about string values at key points in a program can help program understanding, reverse engineering, and forensics. We present a static-analysis technique for recoverin...