受强制性开放获取政策约束的文章 - Gary T. Leavens了解详情
无法在其他位置公开访问的文章：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
强制性开放获取政策： 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
强制性开放获取政策： 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
强制性开放获取政策： 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
强制性开放获取政策： 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
强制性开放获取政策： 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
强制性开放获取政策： US National Science Foundation
可在其他位置公开访问的文章：11 篇
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
强制性开放获取政策： 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
强制性开放获取政策： 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, 211-235, 2018
强制性开放获取政策： 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
强制性开放获取政策： 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
强制性开放获取政策： 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
强制性开放获取政策： 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
强制性开放获取政策： 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
强制性开放获取政策： 国家自然科学基金委员会
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
强制性开放获取政策： US National Science Foundation
Following the Grammar with Python
GT Leavens
强制性开放获取政策： 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
强制性开放获取政策： US National Science Foundation
出版信息和资助信息由计算机程序自动确定