Automated Testing, Verification and Repair of RTL Hardware Designs
Kevin Laeufer [2024]

Tools and Techniques for Building Programming Assistants for Data Analysis
Rohan Bavishi [2022]

Expanding the Reach of Fuzz Testing
Caroline Lemieux [2021]

Abstractions and Algorithms for Specializing Dynamic Program Analysis and Random Fuzz Testing
Rohan Padhye [2020]

Efficient Sampling of SAT and SMT Solutions for Testing and Verification
Rafael Dutra [2019]

Dynamic Analysis for JavaScript
Liang Gong [2018]

Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning
Wonae Choi [2017]

Dynamic and Interactive Synthesis of Code Snippets
Joel Galenson [2014]

Schedulability Analysis and Verification of Real-Time Discrete-Event Systems
Christos Stergiou [2013]

Active Testing: Predicting and Confirming Concurrency Bugs for Concurrent and Distributed Memory Parallel Systems
Chang Seo Park [2012]

Lightweight Specifications for Parallel Correctness
Jacob Burnim [2012]

Predictive and Programmable Testing of Concurrent and Cloud Systems
Pallavi Joshi [2012]