Sciweavers

15 search results - page 1 / 3
» Barriers to systematic model transformation testing
Sort
View
46
Voted
CACM
2010
79views more  CACM 2010»
14 years 9 months ago
Barriers to systematic model transformation testing
Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robe...
GI
2009
Springer
14 years 7 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
15 years 4 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»
15 years 3 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
125
Voted
ECOOP
2000
Springer
15 years 1 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