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ärz 2009
Ereignistitel5th Workshop on Model-Based Testing: MBT 2009
VeranstaltungstypWorkshop
OrtYork, Großbritannien / Vereinigtes KönigreichAuf Karte anzeigen