2,066 followers
2,066 followers
Ever wondered how your favorite apps stay bug-free? Our researchers in collaboration with @iitbombay presented a strategy prediction-based reachability verifier for C programs at #TACAS2023. Click here to know more- https://t.co/TqmArsxrSN #Research #Publi
133 followers
RT @pdeligia: Excited to share that our TACAS’23 paper “Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote” won…
522 followers
RT @pdeligia: Excited to share that our TACAS’23 paper “Industrial-Strength Controlled Concurrency Testing for C# Programs with Coyote” won…