Gary T. Leavens
University of Central Florida
H-index: 51
North America-United States
Top articles of Gary T. Leavens
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
JMLKelinci+: Detecting semantic bugs and covering branches with valid inputs using coverage-guided fuzzing and runtime assertion checking | Formal Aspects of Computing | Amirfarhad Nilizadeh Gary T Leavens Corina S Păsăreanu Yannic Noller | 2023 |
What kinds of contracts do ML APIs need? | Empirical Software Engineering | Samantha Syeda Khairunnesa Shibbir Ahmed Sayem Mohammad Imtiaz Hridesh Rajan Gary T Leavens | 2023/11 |
Generating counterexamples in the form of unit tests from Hoare-style verification attempts | Amirfarhad Nilizadeh Marlon Calvo Gary T Leavens David R Cok | 2022/5/18 | |
Adaptive matrix pattern steganography on RGB images | Journal of Cyber Security and Mobility | Amirfarhad Nilizadeh Shirin Nilizadeh Wojciech Mazurczyk Cliff Zou Gary T Leavens | 2022 |
Abstraction in deductive verification: Model fields and model methods | David R Cok Gary T Leavens | 2022/10/17 | |
Further lessons from the JML project | Gary T Leavens David R Cok Amirfarhad Nilizadeh | 2022/7/4 | |
Automated Reasoning Repair | Amirfarhad Nilizadeh Gary T Leavens David R Cok | 2022/6/7 | |
Be realistic: Automated program repair is a combination of undecidable problems | Amirfarhad Nilizadeh Gary T Leavens | 2022/5/19 | |
Exploring true test overfitting in dynamic automated program repair using formal methods | Amirfarhad Nilizadeh Gary T Leavens Xuan-Bach D Le Corina S Păsăreanu David R Cok | 2021/4/12 | |
More reliable test suites for dynamic APR by using counterexamples | Amirfarhad Nilizadeh Marlon Calvo Gary T Leavens Xuan-Bach D Le | 2021/10/25 | |
The verified software initiative: A manifesto | Tony Hoare Jayadev Misra Gary T Leavens Natarajan Shankar | 2021/10/4 | |
Using a guided fuzzer and preconditions to achieve branch coverage with valid inputs | Amirfarhad Nilizadeh Gary T Leavens Corina S Păsăreanu | 2021/6/18 |