International Conference on Tests And Proofs

  • Elisabeth Jöbstl (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Incremental Refinement Checking for Test Case Generation
Zeitraum22 Juli 2015 → 24 Juli 2015
Ereignistitel9th International Conference on Tests & Proofs: TAP 2015
VeranstaltungstypKonferenz
OrtL'Aquila, ItalienAuf Karte anzeigen