Michael Wagner 0026, Manuel Leithner, Dimitris E. Simos, Rick Kuhn, Raghu Kacker. Developing multithreaded techniques and improved constraint handling for the tool CAgen. In 15th IEEE International Conference on Software Testing, Verification and Validation Workshops ICST Workshops 2022, Valencia, Spain, April 4-13, 2022. pages 87-93, IEEE, 2022. [doi]
Abstract is missing.