2527 search results - page 6 / 506 » A UML-Based Approach to System Testing |
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
A generalized Hamiltonian method (GHM) is proposed for passivity test of descriptor systems (DSs) which describe impedance or admittance input-output responses. GHM can test passi...
117
Voted
DMIN
2009
14 years 11 months ago
2009
Support vector machines are a valuable tool for making classifications, but their black-box nature means that they lack the natural explanatory value that many other classifiers po...
107
click to vote
FATES
2005
Springer
15 years 7 months ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
141
Voted
ISSRE
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper we present a method for automatically testing interactive multimodal systems1 . The proposed approach was originally dedicated to synchronous programming which is ma...
101
Voted
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...