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 3 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
14 years 17 days 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 12 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 10 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