Skip to search formSkip to main contentSkip to account menu

Extended static checking

Known as: ESC 
Extended static checking (ESC) is a collective name for a range of techniques for statically checking the correctness of various program constraints… 
Wikipedia (opens in a new tab)

Related topics

Related topics

26 relations
Abstract interpretationAutomated theorem provingBounds checkingClass invariant

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Table of contents
  • 2020
  • Corpus ID: 221921296
2016
2016
Computer Aided Verification of Relational Models
CACIC 2016: XXII Congreso Argentino de Ciencias de la Computacion, del 3 al 7 de Octubre de 2016 Universidad Nacional de San Luis 
Review
2012
Review
2012
Verification of Software Product Lines Using Contracts
Software product lines are widely used to achieve high reuse of code artifacts for similar software products. While there are… 
2012
2012
Security audit using extended static checking: Is it cost-effective yet?
This paper describes our experience of doing variation analysis of known security vulnerabilities in C++ projects including core… 
2012
2012
Verification and Validation for Java Classes using Design by Contract. The Modular External Approach
—Since the conception of JML, many tools, applications and implementations have been done. In this context, the users or… 
2012
2012
Automatic Program Verification and Test Case Generation of Ruby Programs
The Ruby programming language is typically not seen as a language that can be formally verified. Our research attempts to bridge… 
2008
2008
Using Isabelle / HOL for Static Program Verification in JML 4
JML4 is an Integrated Verification Environment (IVE) for JML-annotated Java that builds upon Eclipse’s support for Java. Two… 
2007
2007
Push-Button Tools for Application Developers, Full Formal Verification for Component Vendors
Software developers have varying abilities and develop software with differing reliability requirements. Sometimes reliability is… 
Review
2005
Review
2005
Omnibus : A clean language and supporting tool for integrating different assertion-based verification techniques
Omnibus is a new system for the development of reliable ObjectOriented software. It includes a clean language that is… 
1998
1998
Programming Concepts and Methods PROCOMET ’98
Extended static checking (ESC) is a static program analysis technique that attempts to find common programming errors like null… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)