Yuriy Brun

Identifiers

No identifiers captured yet.

Papers (2)

1. Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification cs.LO · 2024 · author #3
2. Fairness Testing: Testing Software for Discrimination cs.SE · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexandra Meliou 1 shared papers
• Arpan Agarwal 1 shared papers
• Emily First 1 shared papers
• Sainyam Galhotra 1 shared papers
• Saketh Ram Kasibatla 1 shared papers
• Sorin Lerner 1 shared papers
• Talia Ringer 1 shared papers