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]