1992 search results - page 63 / 399 » Model Based Testing with Labelled Transition Systems |
145
click to vote
ICSE
2009
IEEE-ACM
15 years 5 days ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
145
click to vote
CGF
2008
15 years 2 months ago
2008
Most graph visualization techniques focus on the structure of graphs and do not offer support for dealing with node attributes and edge labels. To enable users to detect relations...
121
click to vote
SAC
2005
ACM
15 years 8 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
151
click to vote
ERSHOV
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
132
Voted
RIAO
2007
15 years 3 months ago
2007
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...