Festschrift Symposium in Honor of He Jifeng

Activity: Talk or presentation › Invited talk › Science to science

Description

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