TY  - CONF
AU  - Wagner, Michael
AU  - Leithner, Manuel
AU  - Simos, Dimitris
AU  - Kuhn, D. Richard
AU  - Kacker, Raghu N.
C2  -  2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Valencia, ES
DA  - 2022-06-08 04:06:00
DO  - https://doi.org/10.1109/ICSTW55395.2022.00029
LA  - en
PB  -  2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Valencia, ES
PY  - 2022
TI  - Developing multithreaded techniques and improved constraint handling for the tool CAgen
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=934229
ER  -