Registered user since Thu 28 Sep 2017
Name:Tuba Yavuz
Country:United States
Affiliation:University of Florida
Personal website:http://www.tuba.ece.ufl.edu/
Research interests:Formal Verification, Software Engineering, Program Analysis, Security
Contributions
| ICST 2022 | SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICST 2022-profile
View general profile
View general profile