1992 search results - page 55 / 399 » Model Based Testing with Labelled Transition Systems |
148
click to vote
FM
2009
Springer
15 years 5 days ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
127
click to vote
ENTCS
1998
15 years 2 months ago
1998
We consider a generalisation of Larsen and Skou’s [19] reactive probabilistic transition systems which exhibit three kinds of choice: action-guarded probabilistic choice, extern...
108
Voted
ACSD
2010
IEEE
15 years 13 days ago
2010
IEEE
We present a formal framework to evaluate stochastic properties of MANET protocols. It captures the interplay between stochastic behavior of protocols deployed at different network...
128
click to vote
IJAIT
2000
15 years 2 months ago
2000
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...
127
Voted
IJCAI
2007
15 years 3 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...