Abstract
This demonstration presents two tools, Code Contracts and Pex, that utilize specification constructs for advanced testing, runtime checking, and static checking of object-oriented .NET programs.
International Conference on Software Engineering Companion
Like what you’re reading?
Already a member?
Related Articles
- A Temporal Logics Approach to Contract-Based Design
2016 Architecture-Centric Virtual Integration (ACVI) - Inferring Data Contract for Web-Based API
2014 IEEE International Conference on Web Services (ICWS) - Towards Automated Contract Handling
2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI) - SmartBuilder: A Block-based Visual Programming Framework for Smart Contract Development
2021 IEEE International Conference on Blockchain (Blockchain) - Tutorial: Analyzing, Exploiting, and Patching Smart Contracts in Ethereum
2022 IEEE Secure Development Conference (SecDev) - AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE) - Step-by-Step Guidelines for Making Smart Contract Smarter
2019 IEEE 12th Conference on Service-Oriented Computing and Applications (SOCA) - VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts
2020 IEEE Symposium on Security and Privacy (SP) - Reducing Smart Contract Runtime Errors on Ethereum
IEEE Software - Clairvoyance: Cross-contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts
2020 IEEE/ACM 42nd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)