RT @pdeligia: Excited to share that our TACAS’23 paper “Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote” won…
133 followers
522 followers
RT @pdeligia: Excited to share that our TACAS’23 paper “Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote” won…
2,363 followers
RT @pdeligia: Excited to share that our TACAS’23 paper “Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote” won…
66 followers
RT @pdeligia: Excited to share that our TACAS’23 paper “Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote” won…