Hemant Gouni

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Symbolic Execution

Test Data Generation

Information Flow Control

Top Venues

SPLASH (Companion)

Publications

Alessio Gambi, Hemant Gouni, Daniel Berreiter, Vsevolod Tymofyeyev, Mattia Fazzini
Action-Based Test Carving for Android Apps. ICSTW (2023)
Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich
Gradual C0: Symbolic Execution for Efficient Gradual Verification. CoRR (2022)
Hemant Gouni, Jonathan Aldrich
Static Information Flow Control Made Simpler. CoRR (2022)
Hemant Gouni, Conrad Zimmerman
Implementation of an end-to-end gradual verification system. SPLASH (Companion) (2021)