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: M=uuml=cke:Tilo
Contributed to:
20052006
2004Wrote 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.