Travelled to:1 × France
1 × Turkey
Collaborated with:D.Kröning P.Schrammel L.Liang M.Tautschnig
Talks about:test (2) interrupt (1) softwar (1) reactiv (1) system (1) effect (1) verif (1) level (1) chain (1) nest (1)
Person: Tom Melham
DBLP: Melham:Tom
Contributed to:
2015
2013Wrote 2 papers:
- DATE-2015-KroeningLMST #bytecode #effectiveness #low level #verification
- Effective verification of low-level software with nested interrupts (DK, LL, TM, PS, MT), pp. 229–234.
- ICTSS-2013-SchrammelMK #testing
- Chaining Test Cases for Reactive System Testing (PS, TM, DK), pp. 133–148.