1992 search results - page 61 / 399 » Model Based Testing with Labelled Transition Systems |
112
click to vote
ERSHOV
2003
Springer
15 years 7 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
123
click to vote
COLING
2010
14 years 9 months ago
2010
We employ Maximum Entropy model to conduct sub-tree alignment between bilingual phrasal structure trees. Various lexical and structural knowledge is explored to measure the syntac...
142
click to vote
JOT
2010
15 years 26 days ago
2010
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
132
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
While the trust paradigm is essential to broadly extend the communication between the environment’s actors, the evaluation of trust becomes a challenge when confronted with init...
111
click to vote
FMOODS
2000
15 years 3 months ago
2000
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...