1215 search results - page 6 / 243 » Testing in the Distributed Test Architecture: An Extended Ab... |
LICS
2002
IEEE
14 years 12 days ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
IPL
2006
13 years 7 months ago
2006
PTS
1993
13 years 8 months ago
1993
In the area of testing communication systems, the interfaces between systems to be tested and their testers have great impact on test generation and fault detectability. Several t...
EURODAC
1994
IEEE
13 years 11 months ago
1994
IEEE
A
exible test environment is presented that allows for dierent methods of parallelizing discrete event simulation to be evaluated in a uniform environment. The testbed is portabl...
APLAS
2007
ACM
13 years 11 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...