David Shriver

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 13

Top Topics

Test Generation

Structural Properties

Negative Binomial

Top Venues

ICSE (Companion Volume)

Publications

Stephen Casper, Jieun Yun, Joonhyuk Baek, Yeseong Jung, Minhwan Kim, Kiwan Kwon, Saerom Park, Hayden Moore, David Shriver, Marissa Connor, Keltin Grimes, Angus Nicolson, Arush Tagade, Jessica Rumbelow, Hieu Minh Nguyen, Dylan Hadfield-Menell
The SaTML '24 CNN Interpretability Competition: New Innovations for Concept-Level Interpretability. CoRR (2024)
Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities. ESEC/SIGSOFT FSE (2023)
Meriel von Stein, David Shriver, Sebastian G. Elbaum
DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles. IEEE Trans. Software Eng. 49 (10) (2023)
Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
Distribution Models for Falsification and Verification of DNNs. ASE (2021)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
Reducing DNN Properties to Enable Falsification with Adversarial Attacks. ICSE (2021)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
DNNV: A Framework for Deep Neural Network Verification. CoRR (2021)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
DNNV: A Framework for Deep Neural Network Verification. CAV (1) (2021)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
Artifact: Reducing DNN Properties to Enable Falsification with Adversarial Attacks. ICSE (Companion Volume) (2021)
Dong Xu, David Shriver, Matthew B. Dwyer, Sebastian G. Elbaum
Systematic Generation of Diverse Benchmarks for DNN Verification. CAV (1) (2020)
David Shriver, Dong Xu, Sebastian G. Elbaum, Matthew B. Dwyer
Refactoring Neural Networks for Verification. CoRR (2019)
David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer, David S. Rosenblum
Evaluating Recommender System Stability with Influence-Guided Fuzzing. AAAI (2019)
David Shriver
Toward the development of richer properties for recommender systems. ICSE (Companion Volume) (2018)
David Shriver, Sebastian G. Elbaum, Kathryn T. Stolee
At the End of Synthesis: Narrowing Program Candidates. ICSE-NIER (2017)