International Conference on Quality Software

Wotawa, F. (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience 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
Period13 Jul 2011 - 14 Jul 2011
Held atInternational Conference on Quality Software
Event typeConference
LocationMadrid, Spain