Krzysztof Czarnecki - 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

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:

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

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

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]

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

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

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

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

Automatic Generation of Test Models for Model TransformationsJunhua Wang, Soon-Kyeong Kim, David A. Carrington. ASWEC 2008: 432-440 [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.

Platform Ontologies for the Model-Driven ArchitectureDennis Wagelaar. PhD thesis, Vrije Universiteit Brussel, Brussels, Belgium, April 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]

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]

Mutation Analysis Testing for Model TransformationsJean-Marie Mottu, Benoit Baudry, Yves Le Traon. ECMDA-FA 2006: 376-390 [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