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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Fingerprint

Untersuchen Sie die Forschungsthemen von „The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science

Engineering