Login / Signup
Katherine Hough
ORCID
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 4
Top Topics
Domain Expertise
Automated Theorem Provers
Case Study
Dynamically Updated
Top Venues
ICSE
MSR
ACM Trans. Softw. Eng. Methodol.
</>
Publications
</>
Katherine Hough
,
Jonathan Bell
Crossover in Parametric Fuzzing.
ICSE
(2024)
Gwenyth Lincroft
,
Minsung Cho
,
Katherine Hough
,
Mahsa Bazzaz
,
Jonathan Bell
Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems.
MSR
(2024)
Katherine Hough
,
Jonathan Bell
A Practical Approach for Dynamic Taint Tracking with Control-flow Relationships.
ACM Trans. Softw. Eng. Methodol.
31 (2) (2022)
Katherine Hough
,
Gebrehiwet B. Welearegai
,
Christian Hammer
,
Jonathan Bell
Revealing injection vulnerabilities by leveraging existing tests.
ICSE
(2020)