2419 search results - page 317 / 484 » A Formal Approach to Software Testing |
133
click to vote
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
120
click to vote
LDTA
2010
15 years 4 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
144
Voted
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
125
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
160
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...