Festschrift Symposium in Honor of He Jifeng

Aichernig, B. (Speaker)

Activity: Talk or presentationInvited talkScience to science

Description

Talk: Model-based mutation testing of reactive systems - from semantics to automated test-case generation
Period2 Sep 2013
Event titleFestschrift Symposium in Honor of He Jifeng
Event typeConference