Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
Abstract--Activation time (AT) imaging from electrocardiographic (ECG) mapping data has been developing for several years. By coupling ECG mapping and three-dimensional (3-D) + tim...
Bernhard Tilg, Gerald Fischer, Robert Modre, Fried...
- A phoneme-acquisition system was developed using a computational model that explains the developmental process of human infants in the early period of acquiring language. There a...
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...