Tuba Yavuz

Identifiers

No identifiers captured yet.

Papers (3)

1. Heuristics for Selecting Predicates for Partial Predicate Abstraction cs.LO · 2017 · author #1
2. Partial Predicate Abstraction and Counter-Example Guided Refinement cs.LO · 2017 · author #1
3. FirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution cs.CR · 2017 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Chelsea Metcalf 1 shared papers
• Dave Tian 1 shared papers
• Farhaan Fowze 1 shared papers
• Grant Hernandez 1 shared papers
• Kevin R. B. Butler 1 shared papers