model-based testing

Holistic (model-based) testing

jeux de chat et rencontre
site de rencontre en belgique gratuit
rencontre hubert curien
agence de rencontre tcheque
bertrand cantat marie trintignant rencontre
exils errances rencontres
beau rencontre
rencontre handicapé video
rencontres philosophiques de langres 2013
site rencontres algerie
citations rencontre forrester
rencontre avec un homme noir
rencontre brissac
c est dans la vie retirée qu on rencontre la situation la plus heureuse
site de rencontre californie
rencontre amancey
site de rencontre avec footballeur
undebut site de rencontre
rencontres artistiques toques et clochers
rond rencontre
rencontre henri langlois
rencontre dolomieu
michelle prostituée européenne établie à ouaga
trouver prostituées dakar
rencontre bresilienne paris
site rencontre estonie
forum meilleur site de rencontre 2011
rencontres patrimoniales cyrus
les site des rencontre
les types de prostituées
rencontre biogaz toulouse
rencontre de vienne 1961
agence rencontre occasionnelle
annonces maroc rencontres
script pour creer un site de rencontre
rencontrer john cena
georges brassens prostituée
site de rencontre footballeur
les plus belles prostituees du monde
rencontre femme sexe ille et vilaine
rencontre regionale environnement
femme rencontre tamatave
south park rencontre du 3eme age
club de rencontre vitré
patroonheilige prostituees
rencontre femmes saint raphael
combien coute rencontre eurochallenge
apps android rencontre
quand chuck rencontre larry en streaming megavideo
bar rencontre orleans
blog rencontres xv
site de rencontre sous forme de jeu
forum site rencontre gratuit belgique
rencontrer bob lennon
prostituées le puy en velay
site de rencontre africaine
rencontre avec un fou
club de rencontres rouen
prostituee ezel
prostituées loir et cher
rencontres personnes fortes
prostituees creil
prostituée marrakech
programme rencontre des musulmans de france 2010
code de la route stationnement zone de rencontre
les prostituees du togo
rencontre femme finlande
rencontres brels
parole de chanson la rencontre amoureuse
lire et se rencontrer wordpress
mail rencontre internet
site de rencontre pour bouddhiste
rencontre celibataire speed dating
rencontre avec photo neuvy deux clochers
rencontres intimes en algerie
site de rencontre diaspora africaine
recherche site rencontre serieux gratuit
rencontre femmes epinay sur seine
site de rencontre in english
rencontres enseignants chercheurs aix
site de rencontre localisé
quand chuck rencontre larry mega
etoile brille notre rencontre
dating femmes aveyron
site de rencontre ado marocain
annonces rencontre shanghai
comment faire son annonce sur un site de rencontre
prix prostituée vietnam
centre hassan ii des rencontres internationales
site rencontre gratuit similaire badoo
moi christiane f. 13 ans droguée prostituée imdb
energie site de rencontre
site rencontre mayotte gratuit
rencontre contact direct
meet le moule
script site rencontre php
rencontre henri 8 francois 1er
ronde et rencontre
rencontre ziguinchor
rencontre femme lettonie
rencontre ucpa ski
que rencontre-t-on fréquemment dans front mission
rencontre femme auvergne
rencontre pas de hasard
prostituees saint germain en laye
site rencontre maghreb
rencontre avec le rabbi
tchat rencontre dom
rencontre johnny depp tim burton
solution enigmon rencontre du 3 type
rencontres platoniques
agro rencontre
rencontres comminges
rencontre pour mariage ligne
rencontres gay oran
badoo site de rencontre portugal
psychologie rencontre internet
rencontre nationale cge lille
rencontre femme saulieu
rencontre cap ferret
ares rencontre
toy story 3 ken rencontre barbie
vos rencontres
libe rencontres
jeux rencontre 3d gratuit
rencontre saint vit
rencontre celibataire annonay
espace de rencontres des bossons lausanne
quartier prostituées clermont ferrand
site de rencontre pour sourd et malentendant
kine rue emile encontre
urbanus co2 prostituee lyrics
rencontre ado 69
rencontres euphonie vocale
chanson sur rencontre amoureuse
rencontre pour jeunes belgique
rencontre des arts fou
rencontre coupe france football
chat sexe pierrefitte sur seine
rencontre pullipienne
les rencontres zentiva
rencontre one night gratuit
rencontre militaire com
yepla rencontres
balou rencontre
sites de rencontres à cotonou
prostitute photos oklahoma
sims 3 destination aventure rencontre en ligne
dating femme arras
tout les cite de rencontre gratuit
site de rencontre mons gratuit
bar rencontre guadeloupe
rencontre avec un admirateur de magnotta
rencontre prince harry
rencontre linked quebec
prix des rencontres du mont-blanc
rencontres musulmanes toulouse
citation de rencontre a elizabethtown
rencontre sexe agen
barney rencontre la soeur de ted
rencontre radio
rune factory frontier comment rencontrer iris noire
rencontres lesbiennes skyrock
rencontres petites annonces poitiers
festival rencontres et racines audincourt 25
rencontre sexe libourne
site de rencontre hasley
sites de rencontre mauricien
agence rencontre colombienne
meet roubaix
site de rencontre comme netlog
rencontre serieuse thailande
rencontre femmes niort
roselyne bachelot prostituées
croire aux rencontres
rencontre moise avec dieu
histoire premiere rencontre
rencontre united kingdom
meilleur logiciel rencontre iphone
rencontres chartres 28000
faire une rencontre sur msn
sites rencontre 16 ans
rencontre bourganeuf
site de rencontre burqa
rencontre saoudien
rencontre wicker park bande annonce
rencontres amoureuses cherbourg octeville
rencontre laon
rencontre femme roissy en brie
rencontre expé la grave
rencontre cox molsheim
rencontre etudiante nancy
rencontre sans donner adresse mail
free rencontre com
match point site rencontre
presentation pour site de rencontre
scène de rencontre aurélien aragon
groupe rencontre amicale
globe rencontre chateauroux

[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 accepted] Tabellarischer Vergleich der Prozessmodelle für modellbasiertes Testen aus Managementsicht

Recently we wrote with two other researches on a paper about different scenarios identified in model-based testing. The topic is not new, but our contribution is first to reference the according approaches and tools. Second, we define several criteria to point out the difference between them. Last and most important we give proposals how managers can find the suitable scenario for their project. This paper will be published in a small german software engineering journal. Futher, we will present and discuss our paper at the GI TAV congress in Stralsund next month. Our goal is to discuss about this topic and maybe contribute with the extended paper on an international conference.

[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!