BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
1 × United Kingdom
Collaborated with:
C.Robinson-Mallett P.Liggesmeyer U.Goltz M.Huhn
Talks about:
generat (2) checker (2) optim (2) model (2) distinguish (1) statechart (1) testsuit (1) sequenc (1) identif (1) extend (1)

Person: Tilo Mücke

DBLP DBLP: M=uuml=cke:Tilo

Contributed to:

A-MOST 20052005
A-MOST 20052006
TestCom 20042004

Wrote 3 papers:

A-MOST-2005-Robinson-MallettLMG #generative #model checking #sequence
Generating optimal distinguishing sequences with a model checker (CRM, PL, TM, UG), pp. 51–57.
A-MOST-J-2005-Robinson-MallettLMG06 #identification #model checking #using #verification
Extended state identification and verification using a model checker (CRM, PL, TM, UG), pp. 981–992.
TestCom-2004-MuckeH #generative #uml
Generation of Optimized Testsuites for UML Statecharts with Time (TM, MH), pp. 128–143.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.