1992 search results - page 85 / 399 » Model Based Testing with Labelled Transition Systems |
126
click to vote
ESEM
2007
ACM
15 years 6 months ago
2007
ACM
In the foreseeable future, software testing will remain one of the best tools we have at our disposal to ensure software dependability. Empirical studies are crucial to software t...
136
click to vote
CMSB
2004
Springer
15 years 8 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
158
click to vote
INFOCOM
2011
IEEE
14 years 6 months ago
2011
IEEE
—The distributed nature of the CSMA/CA based wireless protocols, e.g., the IEEE 802.11 distributed coordinated function (DCF), allows malicious nodes to deliberately manipulate t...
133
Voted
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
152
Voted
FOSSACS
1999
Springer
15 years 6 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...