Projects and Collaborations

This page lists the research projects and collaborations concerning foundational research in testing or test-tools. This involves research on proof-based test-generation technologies, research to formalize specification formalisms and their integration into generic test-procedures as well as the development specific forms of parallel symbolic computation in order to improve the practicability of the approach.

The research in the application domains results in --- or is partially support by --- a number of funded research projects or voluntary collaborations:

as="article-ja-box-tr">as="article-ja-box-tlartojefixpan ststttyh3e"le=">Latspa jobid fers/p>
    h3en ststys="article-jamck-ng sres ja-box-ctartojefixpan stidEul _ticle-latspanews">n stoli _ticle-latspanews">n stohttp://f/andexion=coptem =ctm_ng sres&view=id=69le&urr58:job-d fer1&omaid=39:job-d fers&Itpmarr57" _ticle-latspanews">n st sts th 6rmcis: vér6 formalissedbof thstchdermckèlesp/sa idH iiclas!-- /laH E s=" id=" s=" < s=" E s=" idH
Es="article-ja-mck'; ja-box-brrmck'; _blue"surreMod52" Hys="article-ja-box-bl">as="article-ja-box-tr">as="article-ja-box-tlartojefixpan ststttyh3e"le=">Flrihctmest-nt its/p>
    h3en ststys="article-jamck-ng sres ja-box-ctartojefixpan stidEul _ticle-latspanews">n stoli _ticle-latspanews">n stohttp://f/andexion=coptem =ctm_ng sres&view=id=69le&urr71:dagstuhl>Thmesary-sypos&omaid=40:flrihctmest-nt its&Itpmarr82" _ticle-latspanews">n st Dagstuhl Shmesary SyMeT/sa idH iiclas!-- /laH E s=" id=" s=" < s=" E s=" idH
idHys="article-ja-nava,spn> wrsp"cackground-color: #cB5B5B#fff-lcB5B5B;#000 -lpS> ys="article-sultartojefixpcackground-color: #cB5B5B#fff-l" as="article-ja-breadcrumspcackgroulcB5B5B;#000 -lp> stya href=You rrthhcrtania>n lss="menu-titsk" ">Por volsaspan>

  iic s ttttyli _ticle-top">ahttp://f/andexion=coptem =ctm_ng sres&view=id=69le&urr69&Itpmarr85#Top"fkip to BACK TO TOP">TOPan> styli>ahttp://f/andexion=coptem =ctm_ng sres&view=id=69le&urr69&Itpmarr85#ja-cB sres"fkip to Skipentsres">Skipentsresan> ys="article-sultartojefixpcp ys="article-ja-footnavp> s < s=" s ys="article-intep"p sys="article-ja-cBpy.js">"c s t< s=" < s=" < s=" < s=" ="!-- //FOOTER -->idid" s=" idid" s=" id ididididid" body>idid" /sty>id