Follow
David Shriver
David Shriver
Software Engineering Institute, Carnegie Mellon University
Verified email at sei.cmu.edu - Homepage
Title
Cited by
Cited by
Year
DNNV: A Framework for Deep Neural Network Verification
D Shriver, S Elbaum, MB Dwyer
372021
Reducing DNN Properties to Enable Falsification with Adversarial Attacks
D Shriver, S Elbaum, MB Dwyer
182021
Evaluating Recommender System Stability with Influence-Guided Fuzzing
D Shriver, S Elbaum, MB Dwyer, DS Rosenblum
Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19), 2019
102019
At the end of synthesis: narrowing program candidates
D Shriver, S Elbaum, KT Stolee
Proceedings of the 39th International Conference on Software Engineering …, 2017
102017
Distribution Models for Falsification and Verification of DNNs
F Toledo, D Shriver, S Elbaum, MB Dwyer
Automated Software Engineering (ASE 2021), 2021
82021
Refactoring neural networks for verification
D Shriver, D Xu, S Elbaum, MB Dwyer
arXiv preprint arXiv:1908.08026, 2019
82019
Systematic generation of diverse benchmarks for dnn verification
D Xu, D Shriver, MB Dwyer, S Elbaum
International Conference on Computer Aided Verification, 97-121, 2020
72020
Toward the development of richer properties for recommender systems
D Shriver
Proceedings of the 40th International Conference on Software Engineering …, 2018
22018
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities
F Toledo, D Shriver, S Elbaum, MB Dwyer
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
12023
DeepManeuver: Adversarial test generation for trajectory manipulation of autonomous vehicles
M von Stein, D Shriver, S Elbaum
IEEE Transactions on Software Engineering, 2023
12023
Artifact: reducing dnn properties to enable falsification with adversarial attacks
D Shriver, S Elbaum, M Dwyer
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
12021
Assessing the quality and stability of recommender systems
D Shriver
12018
Increasing the Applicability of Verification Tools for Neural Networks
D Shriver
University of Virginia, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–13