Artykuły udostępnione publicznie: - Gary T. LeavensWięcej informacji
Niedostępne w żadnym miejscu: 6
Using a guided fuzzer and preconditions to achieve branch coverage with valid inputs
A Nilizadeh, GT Leavens, CS Păsăreanu
International Conference on Tests and Proofs, 72-84, 2021
Upoważnienia: US National Science Foundation
Further lessons from the JML project
GT Leavens, DR Cok, A Nilizadeh
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …, 2022
Upoważnienia: US National Science Foundation
Towards modular reasoning for context-oriented programs
T Aotani, GT Leavens
Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs …, 2016
Upoważnienia: US National Science Foundation
Abstraction in deductive verification: Model fields and model methods
DR Cok, GT Leavens
International Symposium on Leveraging Applications of Formal Methods, 29-44, 2022
Upoważnienia: US National Science Foundation
A Layered Approach to Specification Authoring, Sharing, and Usage
JL Singleton, GT Leavens
Quality Software Through Reuse and Integration 4, 164-189, 2018
Upoważnienia: US National Science Foundation
Spekl: A Layered System for Specification Authoring, Sharing, and Usage
JL Singleton, GT Leavens
2016 IEEE 17th International Conference on Information Reuse and Integration …, 2016
Upoważnienia: US National Science Foundation
Dostępne w jakimś miejscu: 12
Exploring true test overfitting in dynamic automated program repair using formal methods
A Nilizadeh, GT Leavens, XBD Le, CS Păsăreanu, DR Cok
2021 14th IEEE conference on software testing, verification and validation …, 2021
Upoważnienia: US National Science Foundation
Information Hiding in RGB Images Using an Improved Matrix Pattern Approach.
A Nilizadeh, W Mazurczyk, CC Zou, GT Leavens
CVPR Workshops, 1407-1415, 2017
Upoważnienia: US National Science Foundation
Automated translation of VDM to JML-annotated Java
PWV Tran-Jørgensen, PG Larsen, GT Leavens
International Journal on Software Tools for Technology Transfer 20 (2), 211-235, 2018
Upoważnienia: US National Science Foundation
An algorithm and tool to infer practical postconditions
JL Singleton, GT Leavens, H Rajan, D Cok
Proceedings of the 40th International Conference on Software Engineering …, 2018
Upoważnienia: US National Science Foundation
Unifying separation logic and region logic to allow interoperability
Y Bao, GT Leavens, G Ernst
Formal Aspects of Computing 30, 381-441, 2018
Upoważnienia: US National Science Foundation
Aspect-oriented programming reloaded
H Rebêlo, GT Leavens
Proceedings of the 21st Brazilian Symposium on Programming Languages, 1-8, 2017
Upoważnienia: US National Science Foundation
Specifying and verifying advanced control features
GT Leavens, D Naumann, H Rajan, T Aotani
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
Upoważnienia: US National Science Foundation
JMLKelinci+: Detecting semantic bugs and covering branches with valid inputs using coverage-guided fuzzing and runtime assertion checking
A Nilizadeh, GT Leavens, CS Păsăreanu, Y Noller
Formal Aspects of Computing 36 (1), 1-24, 2024
Upoważnienia: US National Science Foundation
What kinds of contracts do ML APIs need?
SS Khairunnesa, S Ahmed, SM Imtiaz, H Rajan, GT Leavens
Empirical software engineering 28 (6), 142, 2023
Upoważnienia: National Natural Science Foundation of China
An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping
GT Leavens, DA Naumann
Engineering Trustworthy Software Systems: Third International School, SETSS …, 2018
Upoważnienia: US National Science Foundation
Following the Grammar with Python
GT Leavens
Upoważnienia: US National Science Foundation
Reasoning tradeoffs in languages with enhanced modularity features
J Sánchez Salazar, G Leavens
Modularity 2016: Proceedings of the 15th International Conference on …, 2016
Upoważnienia: US National Science Foundation
Informacje na temat publikacji i finansowania automatycznie określa program komputerowy