5th Workshop on Model-Based Testing

Willibald Karl Krenn (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Beschreibung

Talk: Test Case Generation by Contract Mutation in Spec#
Zeitraum22 Mär 2009
Gehalten am5th Workshop on Model-Based Testing
VeranstaltungstypWorkshop