International Conference on Quality Software

Activity: Talk or presentationTalk at conference or symposiumScience to science


Talk: The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking
Period13 Jul 201114 Jul 2011
Event titleInternational Conference on Quality Software: QSIC 2011
Event typeConference
LocationMadrid, SpainShow on map