RT @pdeligia: Excited to share that our TACAS’23 paper “Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote” won…
Tools and Algorithms for the Construction and Analysis of Systems
Springer Nature Switzerland
RT @pdeligia: Excited to share that our TACAS’23 paper “Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote” won…
RT @pdeligia: Excited to share that our TACAS’23 paper “Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote” won…
RT @pdeligia: Excited to share that our TACAS’23 paper “Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote” won…
RT @pdeligia: Excited to share that our TACAS’23 paper “Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote” won…