Testing reactive systems with data: enumerative methods and constraint solving

Jens Rüdiger Calamé

    Research output: ThesisPhD Thesis - Research external, graduation UT

    395 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Testing reactive systems with data: enumerative methods and constraint solving'. Together they form a unique fingerprint.

    Computer Science