@inproceedings{DBLP:conf/icst/WagnerLSKK22,
  author       = {Michael Wagner and
                  Manuel Leithner and
                  Dimitris E. Simos and
                  Rick Kuhn and
                  Raghu Kacker},
  title        = {Developing multithreaded techniques and improved constraint handling
                  for the tool CAgen},
  booktitle    = {15th {IEEE} International Conference on Software Testing, Verification
                  and Validation Workshops {ICST} Workshops 2022, Valencia, Spain, April
                  4-13, 2022},
  pages        = {87--93},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICSTW55395.2022.00029},
  doi          = {10.1109/ICSTW55395.2022.00029},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/WagnerLSKK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"5mwQabNRZkPg6SpPy","bibbaseid":"wagner-leithner-simos-kuhn-kacker-developingmultithreadedtechniquesandimprovedconstrainthandlingforthetoolcagen-2022","author_short":["Wagner, M.","Leithner, M.","Simos, D. E.","Kuhn, R.","Kacker, R."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Wagner"],"suffixes":[]},{"firstnames":["Manuel"],"propositions":[],"lastnames":["Leithner"],"suffixes":[]},{"firstnames":["Dimitris","E."],"propositions":[],"lastnames":["Simos"],"suffixes":[]},{"firstnames":["Rick"],"propositions":[],"lastnames":["Kuhn"],"suffixes":[]},{"firstnames":["Raghu"],"propositions":[],"lastnames":["Kacker"],"suffixes":[]}],"title":"Developing multithreaded techniques and improved constraint handling for the tool CAgen","booktitle":"15th IEEE International Conference on Software Testing, Verification and Validation Workshops ICST Workshops 2022, Valencia, Spain, April 4-13, 2022","pages":"87–93","publisher":"IEEE","year":"2022","url":"https://doi.org/10.1109/ICSTW55395.2022.00029","doi":"10.1109/ICSTW55395.2022.00029","timestamp":"Mon, 13 Jun 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/icst/WagnerLSKK22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/icst/WagnerLSKK22,\n author = {Michael Wagner and\n Manuel Leithner and\n Dimitris E. Simos and\n Rick Kuhn and\n Raghu Kacker},\n title = {Developing multithreaded techniques and improved constraint handling\n for the tool CAgen},\n booktitle = {15th {IEEE} International Conference on Software Testing, Verification\n and Validation Workshops {ICST} Workshops 2022, Valencia, Spain, April\n 4-13, 2022},\n pages = {87--93},\n publisher = {{IEEE}},\n year = {2022},\n url = {https://doi.org/10.1109/ICSTW55395.2022.00029},\n doi = {10.1109/ICSTW55395.2022.00029},\n timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/icst/WagnerLSKK22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Wagner, M.","Leithner, M.","Simos, D. E.","Kuhn, R.","Kacker, R."],"key":"DBLP:conf/icst/WagnerLSKK22","id":"DBLP:conf/icst/WagnerLSKK22","bibbaseid":"wagner-leithner-simos-kuhn-kacker-developingmultithreadedtechniquesandimprovedconstrainthandlingforthetoolcagen-2022","role":"author","urls":{"Paper":"https://doi.org/10.1109/ICSTW55395.2022.00029"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dblp.org/pid/30/520.bib","dataSources":["Deq6RvrSBaqdFeYqZ","dRwocXjGguzaqHvum"],"keywords":[],"search_terms":["developing","multithreaded","techniques","improved","constraint","handling","tool","cagen","wagner","leithner","simos","kuhn","kacker"],"title":"Developing multithreaded techniques and improved constraint handling for the tool CAgen","year":2022,"downloads":4}