42 search results - page 1 / 9 » A Guided Method for Testing Timed Input Output Automata |
67
Voted
PTS
2003
15 years 6 days ago
2003
82
Voted
FM
2006
Springer
15 years 2 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
89
Voted
QSIC
2003
IEEE
15 years 4 months ago
2003
IEEE
In this paper, we consider a problem that arises in black box testing: generating small test suites (i.e., sets of test cases) where the combinations that have to be covered are s...
ICST
2009
IEEE
15 years 5 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
ECOWS
2008
Springer
15 years 18 days ago
2008
Springer
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...