7393 search results - page 116 / 1479 » Synthesis-for-testability using transformations |
114
click to vote
ICST
2008
IEEE
15 years 9 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
113
click to vote
SCAM
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper discusses an approach to linking separate analysis and transformation tools, such that analysis results can be used to guide transformations. Our approach consists of t...
SAS
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. Our aim is to study how the interpretive approach -- inserting an interpreter between a source program and a program specializer -- can be used to improve the transformat...
124
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper proposes a framework for transforming and integrating heterogeneous XML data sources, making use of known correspondences from them to ontologies expressed in ...
140
click to vote
MPC
2010
Springer
15 years 8 months ago
2010
Springer
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...