model transformations

Reflection on model transformation frameworks

rencontre bi pour ado
concours rencontre joe jonas
transformer wordpress en site de rencontre
rencontres une fille
rencontre a saint quay
badoo belgique site de rencontre
rencontre yoann gourcuff karine ferri
bushi rencontre
site de rencontre pour sourd et muet
site de rencontre jeunes
rencontres lazaret
rencontre ado en belgique
espace rencontre royan
rencontre islamique le bourget
rencontre berenice bejo michel
rencontre pour mariage mixte
rencontre en bretagne france
sites rencontres ado gay
amour rencontre proverbe
rencontre zachée
rencontre nord site gratuit
faire rencontres cergy
trouver prostituees prague
femme bagneux
rencontre st hilaire
site rencontre russe totalement gratuit
inkomen prostituee
tdah rencontres
site rencontre qi
rencontre divorce gratuit
si je te rencontre au coin de la rue
site de rencontre pour ado en belgique
prostituee saint malo
rencontre russe aix en provence
rencontre yoga
rencontre homme gers
site de rencontre serbe gratuit
rencontre azrou
extreme rencontre aix provence
rencontre femme soixante ans
tarif prostituees prague
rencontre fle barcelona 2010
prostitute marys
rencontre centre du qubec
ne pas payer une prostituee
rencontre avec rafik djoumi
ze rencontre 2011 photos
rencontres sauvages aquarium porte dorée
rencontre bocal du tech
rencontre theatre corse
petites annonces gratuites rencontre belgique
prostituees sur reims
rencontre internationale du livre de montagne arolla
rencontre garcon fille
8èmes rencontres françois rabelais
les prostituées font du bénévolat
rencontre des arts audois
femme orleans
top application rencontre android
sechoisir rencontre
rencontre saint junien 87
prostituees new york
mazinger z rencontre great mazinger
rencontre par facebook
rencontre musulmanes france
annonce rencontre oujda
rencontre femme belin beliet
le verbe rencontrer au plus que parfait
pof rencontre se connecter
rencontres la reunion
rencontre wallis
sarkozy et hollande rencontre cordiale au dîner du crif
site de rencontre us
austin et ally episode 1 la rencontre
message amour anniversaire de rencontre
quel est le site de rencontre le mieux
site de rencontre pres de chez soi
rencontres loisirs cucq
rencontre trans aube
rencontre francophone sydney
site de rencontre gratuit badoo quebec
rencontres france argentine
rencontre rapide en correze
prostituée rouge
klant illegale prostituee strafbaar
eden eden site de rencontre
festival rencontres et racines audincourt
www rencontres musulmanescom
sites rencontres quinquagénaires
explication fin rencontre avec joe black
pub ricard rencontre
site rencontre pour partager loisirs
rencontres du cinéma documentaires
site de rencontres noirs et blancs
rencontre nationale des chefs de demain
prostituees brunoy
rencontre einstein et ben gourion
rencontres sousse
prostituées ukrainiennes
prostitute mugshots for il
les arts à la rencontre du cirque
chat evry
hong-kong les policiers autorisés à fréquenter des prostituées
rencontre abitibi témis
rencontre gourdon 46
carte anniversaire rencontre gratuite imprimer
le triangle des lieux de rencontre
club rencontre flers
rencontre femme ronde a bruxelles
rencontres st maximin la ste baume
rencontres youtube
rencontre paul biya fru ndi
tribune stade bon rencontre
sites de rencontres
horoscope rencontres
technique de rencontre
rencontre adolescent sans inscription
site rencontre yverdon
rencontre hollande sassou nguesso
rencontre sur nostalgie
les rencontres qui chantent
rencontre femme khenchela
video site de rencontre
chanson ce matin j ai rencontre le train
bande annonce de rencontre avec joe black
faire une rencontre amoureuse
site de rencontre français non payant
rencontre rabat en ligne
site de rencontres antillais
asso rencontres
rencontres essonne
je suis ravi de vous rencontre
le film rencontre fatale
rencontres consulaires
rencontre femmes vallauris
rencontre de ski
rencontre homme dans le var
poeme pour une prostituée
site pour prostituee
rencontre cattp
la prostituée la plus agée du monde
le club rencontre
rencontre avec un auteur cycle 3
paru vendu rencontres grenoble
tunisie rencontres femmes
prostituée wallonie
rencontre jeunesse lao
rencontre kim kardashian et les anges
rencontre definition mot
site algerien rencontre
prostituée cristiano ronaldo
compagnie rencontre canada
rencontre decordinaire
rencontres nationales ffd
rencontre septemes les vallons
rencontres célibataires outaouais
rencontre jules verne 2012
chanson on s est rencontré simplement
ma femme rencontre homme
lieux de rencontres 63
rencontre william kate
14 rencontre gérontologie pratique
rencontre denmark
site de rencontre pour ado populaire
rencontre karmique
site de rencontre en cevennes
rencontre fille shanghai
site de rencontre chibougamau
nombre de site de rencontre en france
rencontre a mtl
rencontres aines
souper rencontre ville de quebec
zonen van een prostituee
les rencontre brel
site de rencontre wasami
rencontres serieuses annecy
accro aux cyber rencontres film
chat sexe malakoff
club rencontre 21
recherche prostituee sur bordeaux
laura ou une sensuelle rencontre nt1
rencontre arpe
site rencontre aol
rencontre soirée meetic
rencontre baud
rencontre femme bali
rencontre amicale chantilly
rencontre arnage
site rencontre sambava
votre terminal a rencontre un probleme
les vrais sites de rencontres gratuits
cirm rencontres mathematiques
lieu de rencontre en ile de france
leila trabelsi ancienne prostituée
site de rencontre pour ceux de 12 ans
rencontres gratuites entre séniors
prostituee dans la rue
agence rencontre valenciennes
rencontres badoo avis
nancy rencontres maurice jacquet

[talk] Advances in Testing: Academia meets Industry (ATAMI'10)

At the end of 2009 I was invited by Stephan Weißleder to give a talk about my research topic at the ATAMI’10 workshop in Berlin.  This was a good ocassion for me to discuss with several researchers and industry experts about my research problems and solution. It showed to be a very good discussion. There were some interesting questions like:

  • Is there a strategy for test case selection from behavioral system models?
  • Why can no JUnit test cases be generated from my test model?
  • Why do I use Groovy for the implementation of the model transformation rules?
  • How big is the effort to achieve all traces / links between the systems models on the showed detail level?
  • How do I measure the coverage of the system model by the test model in my approach?

This questions are very important for the completness of my work. I will consider those while preparing my talk for the ICST PhD Symposium talk.

[paper submitted] Transforming High-Level Test Cases into Low-Level Test Cases by Re-Using Design Decisions

I almost forgot! Beside the paper about automatic test model generation with test ideas, I submitted another paper to the MoDeVVa 09 workshop. This is a continuation of our ideas published in EuroMicro. Unfortunately this paper was rejected. Here’s the abstract:

In higher testing levels, software testers have to validate the correctness of executable code against high-level specifications. If testers do not have detailed information about the implementation, they cannot generate test cases and prepare test environment just by means of high-level specifications. We propose a novel idea for transforming test cases generated by a model-based testing approach from high-level test case specifications into implementation-level test cases: the knowledge of design decisions is re-used to derive a transformation from high-level specifications to executable code. After presenting that idea in detail, we discuss techniques and tools for its realization.

[paper accepted] From Design Models to Test Models by Means of Test Ideas

About 4 p.m. today morning, I have submitted a paper with some other researchers to a MODELS workshop called MoDeVVa. However there are several open questions, the main idea is IMO very innovative. I hope the program commitee also thinks so… Here’s the abstract of this paper:

Model-Based Testing is slowly becoming the next level of software testing. It promises higher quality, better coverage and efficient change management. MBT shows two main problems of modeling the test behavior. While modeling test cases test designers rewrite most of the system specification. Further, the number of test cases generated by modern tools is often not feasible. In practice, both problems are not solved. Assuming that the functional design is based on models, we show how to use them for software testing. With so-called test ideas, we propose a way to manually select and automatically transform the relevant parts of the design model into a basic test model that can be used for test case generation. We give an example and discuss the potentials for tool support.

This paper was accepted! Unfortunately I can’t travel to Denver, because some other researchers are already there and their publications were accepted for the main conference track. However I’m very happy!