Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,224,157 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
26 relations
Abstract interpretation
Automated theorem proving
Bounds checking
Class invariant
Expand
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
C. Necco
,
J. Oliveira
,
Joost Visser
,
R. Uzal
2016
Corpus ID: 26569567
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
Thomas Thüm
2012
Corpus ID: 18637762
Software product lines are widely used to achieve high reuse of code artifacts for similar software products. While there are…
Expand
2012
2012
Security audit using extended static checking: Is it cost-effective yet?
Shuvendu K. Lahiri
2012
Corpus ID: 13379539
This paper describes our experience of doing variation analysis of known security vulnerabilities in C++ projects including core…
Expand
2012
2012
Verification and Validation for Java Classes using Design by Contract. The Modular External Approach
Dario Leon
,
Oscar Chavez Bosquez
,
J. J. F. León
2012
Corpus ID: 31928102
—Since the conception of JML, many tools, applications and implementations have been done. In this context, the users or…
Expand
2012
2012
Automatic Program Verification and Test Case Generation of Ruby Programs
L. Segal
2012
Corpus ID: 62140887
The Ruby programming language is typically not seen as a language that can be formally verified. Our research attempts to bridge…
Expand
2008
2008
Using Isabelle / HOL for Static Program Verification in JML 4
Patrice Chalin
,
Perry R. James
,
George Karabotsos
2008
Corpus ID: 164208697
JML4 is an Integrated Verification Environment (IVE) for JML-annotated Java that builds upon Eclipse’s support for Java. Two…
Expand
2007
2007
Push-Button Tools for Application Developers, Full Formal Verification for Component Vendors
Thomas Wilson
,
S. Maharaj
,
R. Clark
2007
Corpus ID: 14775012
Software developers have varying abilities and develop software with differing reliability requirements. Sometimes reliability is…
Expand
Review
2005
Review
2005
Omnibus : A clean language and supporting tool for integrating different assertion-based verification techniques
Thomas Wilson
,
S. Maharaj
,
R. Clark
2005
Corpus ID: 15091893
Omnibus is a new system for the development of reliable ObjectOriented software. It includes a clean language that is…
Expand
1998
1998
Programming Concepts and Methods PROCOMET ’98
D. Gries
,
W. Roever
IFIP International Federation for Information…
1998
Corpus ID: 30793173
Extended static checking (ESC) is a static program analysis technique that attempts to find common programming errors like null…
Expand
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)
ACCEPT & CONTINUE