Fingerprint
Dive into the research topics of 'The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking
Stefan Galler, Thomas Quaritsch, Martin Weiglhofer, Franz Wotawa
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review