2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10)

Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

Beschreibung

Talk: Generating Distinguishing Tests using the MINION Constraint Solver
Zeitraum10 Apr. 2010
Ereignistitel2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10)
VeranstaltungstypWorkshop
OrtParisAuf Karte anzeigen