@conference{1246376,
  author = {Michael Wagner and Manuel Leithner and Dimitris Simos and D. Richard Kuhn and Raghu N. Kacker},
  title = {Developing multithreaded techniques and improved constraint handling for the tool CAgen},
  year = {2022},
  month = {2022-06-08 04:06:00},
  publisher = { 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Valencia, ES},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=934229},
  doi = {https://doi.org/10.1109/ICSTW55395.2022.00029},
  language = {en},
}