International Conference on Software Engineering Advances

  • Gordon Fraser (Redner/in)

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

Beschreibung

Talk: Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis
Zeitraum31 Okt. 2006
EreignistitelInternational Conference on Software Engineering Advances: ICSEA 2006
VeranstaltungstypKonferenz
OrtTahiti, Französisch-PolynesienAuf Karte anzeigen