Sciweavers

15 search results - page 1 / 3
» Barriers to systematic model transformation testing
Sort
View
CACM
2010
79views more  CACM 2010»
13 years 5 months ago
Barriers to systematic model transformation testing
Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robe...
GI
2009
Springer
13 years 2 months ago
Specification based testing of automotive human machine interfaces
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
Holger Grandy, Sebastian Benz
ICSE
2009
IEEE-ACM
13 years 11 months ago
Automated testing of healthcare document transformations in the PICASSO interoperability platform
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
Massimo Pascale, Marcello Roselli, Umberto Rugani,...
DATE
2006
IEEE
78views Hardware» more  DATE 2006»
13 years 11 months ago
Functional constraints vs. test compression in scan-based delay testing
We present an approach to prevent overtesting in scan-based delay test. The test data is transformed with respect to functional constraints while simultaneously keeping as many po...
Ilia Polian, Hideo Fujiwara
ECOOP
2000
Springer
13 years 9 months ago
Automated Test Case Generation from Dynamic Models
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
Peter Fröhlich, Johannes Link