Write a Blog >>
ICST 2022
Mon 4 - Fri 8 April 2022
Tuba Yavuz

Registered user since Thu 28 Sep 2017

Name:Tuba Yavuz
Country:United States
Affiliation:University of Florida
Research interests:Formal Verification, Software Engineering, Program Analysis, Security


ICST 2022 SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software
Show activities from other conferences

ICST 2022-profile
View general profile