Dennis Wagelaar - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged testing model transformations

Test Suite Quality for Model Transformation ChainsEduard Bauer, Jochen Malte Küster, Gregor Engels. TOOLS 2011: 3-19 [doi]

::::Tract::::able Model Transformation TestingMartin Gogolla, Antonio Vallecillo. ECMDA-FA 2011: 221-235 [doi]

Example-based model-transformation testingMarouane Kessentini, Houari A. Sahraoui, Mounir Boukadoum. ASE, 18(2):199-224, 2011. [doi]

Combining Specification-based and Code-based Coverage for Model Transformation ChainsEduard Bauer, Jochen Kuester. ICMT 2011: 78-92

A Constructive Approach to Testing Model TransformationsCamillo Fiorentini, Alberto Momigliano, Mario Ornaghi, Iman Poernomo. ICMT 2010: 77-92 [doi]

ParTeG - Integrating Model-based Testing and Model TransformationsDehla Sokenou, Stephan WeiÃŸleder. se 2010: 23-24

Barriers to systematic model transformation testingBenoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert B. France, Yves Le Traon, Jean-Marie Mottu. CACM, 53(6):139-143, 2010. [doi]

MANTra: Towards Model Transformation TestingAndrea Ciancone, Antonio Filieri, Raffaela Mirandola. quatic 2010: 97-105 [doi]

Test-driven Language Derivation with Graph Transformation-Based Dynamic Meta ModelingGregor Engels, Christian Soltenborn. eceasst, 30, 2010. [doi]

Study of an API migration for two XML APIsThiago Tonelli Bartolomei, Krzysztof Czarnecki, Ralf Lämmel, Tijs van der Storm. In Postproceedings of Software Language Engineering (SLE 2009). 2010:

Test-Driven Development of Model TransformationsPau Giner, Vicente Pelechano. MoDELS 2009: 748-752 [doi]

Incremental Development of Model Transformation Chains Using Automated TestingJochen Malte KÃ¼ster, Thomas Gschwind, Olaf Zimmermann. MoDELS 2009: 733-747 [doi]

Automatic Model Generation Strategies for Model Transformation TestingSagar Sen, Benoit Baudry, Jean-Marie Mottu. ICMT 2009: 148-164 [doi]

Qualifying input test data for model transformationsFranck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon. SoSyM, 8(2):185-203, 2009. [doi]

Design of graphite and the Polyhedral Compilation PackageJan Sjödin, Sebastian Pop, Harsha Jagasia, Tobias Grosser, Antoniu Pop. In Proceedings of the 2009 GCC Developers' Summit. 2009: 33-45

Platform Ontologies for the Model-Driven ArchitectureDennis Wagelaar. PhD thesis, Vrije Universiteit Brussel, Brussels, Belgium, April 2008.

Automatic Generation of Test Models for Model TransformationsJunhua Wang, Soon-Kyeong Kim, David A. Carrington. ASWEC 2008: 432-440 [doi]

On Combining Multi-formalism Knowledge to Select Models for Model Transformation TestingSagar Sen, Benoit Baudry, Jean-Marie Mottu. icst 2008: 328-337 [doi]

Logit-transformation Based Confidence Intervals for the Sensitivity of a Continuous-scale Diagnostic TestJihye Kim, Gengsheng Qin. bmei 2008: 768-772 [doi]

Using Model Transformation to Support Model-Based Test Coverage MeasurementLeila Naslavsky, Hadar Ziv, Debra J. Richardson. ICSE 2008: 1-6 [doi]

Efficient Automatic Verification of Loop and Data-flow Transformations by Functional Equivalence CheckingK. C. Shashidhar. PhD thesis, Department of Computer Science, Katholieke Universiteit Leuven, Belgium, May 2008.

Testing transformations for the linear mixed modelMatthew J. Gurka, Lloyd J. Edwards, Leena Nylander-French. csda, 51(9):4297-4307, 2007. [doi]

Model-driven Transformation-based Generation of Java Stress TestsVictor L. Winter. ENTCS, 174(1):99-114, 2007. [doi]

Towards an automated test generation for the verification of model transformationsMaher Lamari. SAC 2007: 998-1005 [doi]

Towards leveraging model transformation to support model-based testingLeila Naslavsky, Hadar Ziv, Debra J. Richardson. ASE 2007: 509-512 [doi]

Automated testing of refactoring enginesBrett Daniel, Danny Dig, Kely Garcia, Darko Marinov. ESEC/FSE 2007: 185-194 [doi]

Mutation Analysis Testing for Model TransformationsJean-Marie Mottu, Benoit Baudry, Yves Le Traon. ECMDA-FA 2006: 376-390 [doi]

Metamodel-based Test Generation for Model Transformations: an Algorithm and a ToolErwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry, Yves Le Traon. issre 2006: 85-94 [doi]

Model-Based Test Selection for Infinite-State Reactive SystemsBertrand Jeannet, Thierry Jéron, Vlad Rusu. FMCO 2007: 47-69 [doi]

Using source transformation to test and model check implicit-invocation systemsHongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel. SCP, 62(3):209-227, 2006. [doi]

TETE: A Non-Invasive Unit Testing Framework for Source TransformationDerek M. Shimozawa, James R. Cordy. step 2006: 137-146 [doi]

I_DDQ Test Method Based on Wavelet Transformation for Noisy Current Measurement EnvironmentMasaki Hashizume, Daisuke Yoneda, Hiroyuki Yotsuyanagi, Tetsuo Tada, Takeshi Koyama, Ikuro Morita, Takeomi Tamesada. ats 2004: 112-117 [doi]

Model-Based Test Driven Development of the Tefkat Model-Transformation EngineJim Steel, Michael Lawley. issre 2004: 151-160 [doi]

Optimizing Cache Access: A Tool for Source-to-Source Transformations and Real-Life Compiler TestsRalph Müller-Pfefferkorn, Wolfgang E. Nagel, Bernd Trenkler. europar 2004: 72-81 [doi]

Generic Traversal over Typed Source Code RepresentationsJoost Visser. PhD thesis, University of Amsterdam, Amsterdam, The Netherlands, 2003.

Transformation Based Insertion of On-Line Testing Resources in a High-Level Synthesis EnvironmentPetros Oikonomakos, Mark Zwolinski. iolts 2002: 185 [doi]

Graph Transformations for Model-based TestingMirko Conrad, Heiko Dörr, Ingo Stürmer, Andy Schürr. modellierung 2002: 39-50

Development and Initial Testing of a Theoretical Model of TransformationDavid P. Paper, James A. Rodger, Parag C. Pendharkar. hicss 2000: [doi]

Testability Properties of Local Circuit Transformations with Respect to the Robust Path-Delay-Fault ModelHarry Hengster, Rolf Drechsler, Bernd Becker. vlsid 1994: 123-126

runs on WebDSL