1992 search results - page 25 / 399 » Model Based Testing with Labelled Transition Systems |
SEKE
2005
Springer
14 years 26 days ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
CRV
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper presents a spatial-semantic modeling system featuring automated learning of object-place relations from an online annotated database, and the application of these relat...
FATES
2004
Springer
14 years 24 days ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
BMCBI
2010
13 years 7 months ago
2010
Background: Sequence alignment is one of the most important techniques to analyze biological systems. It is also true that the alignment is not complete and we have to develop it ...
COORDINATION
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...