Sciweavers

561 search results - page 1 / 113
» A Constructive Approach to Testing Model Transformations
Sort
View
ICMT
2010
Springer
13 years 3 months ago
A Constructive Approach to Testing Model Transformations
Camillo Fiorentini, Alberto Momigliano, Mario Orna...
AOSD
2008
ACM
13 years 7 months ago
AspectT: aspect-oriented test case instantiation
e instantiation is the transformation of abstract test cases cutable test scripts. Abstract test cases are either created during model based test case generation or are manually d...
Sebastian Benz
ASWEC
2005
IEEE
13 years 11 months ago
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
Soon-Kyeong Kim, Luke Wildman, Roger Duke
ISSTA
2004
ACM
13 years 11 months ago
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...
André Baresel, David Binkley, Mark Harman, ...
ICST
2008
IEEE
14 years 16 hour ago
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
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...
Sagar Sen, Benoit Baudry, Jean-Marie Mottu