International Conference on Quality Software

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking
Zeitraum13 Juli 201114 Juli 2011
EreignistitelInternational Conference on Quality Software: QSIC 2011
VeranstaltungstypKonferenz
OrtMadrid, SpanienAuf Karte anzeigen