5159 search results - page 86 / 1032 » Structural Testing of Executables |
136
Voted
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
We present a method for learning a human understandable, executable model of an agent's behavior using observations of its interaction with the environment. By executable we ...
133
Voted
DNA
2009
Springer
15 years 9 months ago
2009
Springer
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
154
Voted
CCS
2011
ACM
14 years 2 months ago
2011
ACM
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
114
Voted
ASPLOS
2010
ACM
15 years 9 months ago
2010
ACM
The behavior of a multithreaded program does not depend only on its inputs. Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in t...
107
Voted
DAC
2007
ACM
16 years 3 months ago
2007
ACM
Static worst-case execution time (WCET) analysis is done by modeling the hardware behavior. In this paper we describe a WCET analysis technique to analyze systems with function ca...