International Conference on Quality Software

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking

Period	13 Jul 2011 → 14 Jul 2011
Event title	International Conference on Quality Software: QSIC 2011
Event type	Conference
Location	Madrid, SpainShow on map