Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,238,886 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
2015
2015
Interaction analysis of annotated specification and program codes in Extended Static Checking
Truong-Thang Nguyen
,
Manh-Dong Tran
Conference on Research, Innovation and Vision for…
2015
Corpus ID: 17329291
Software cost can be reduced if more software defects are detected earlier in the development phase. Motivated by the Extended…
Expand
2014
2014
Runtime Assertion Checking with the XJML tool
Edgar D. Ramirez-de-Leon
,
Eddy A. Garcia-Alcocer
,
Nicolas Torres-Martinez
,
Oscar Chávez-Bosquez
,
Julian J. Francisco-Leon
IEEE Biennial Congress of Argentina
2014
Corpus ID: 45111253
Since the conception of the Java Modeling Language (JML), many tools, applications and implementations have been done for its…
Expand
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
2010
2010
Extensible Syntax-Oriented Verifier with Context-Dependent Recursive Verification
T. Shimomura
,
Quan Liang Chen
,
Muneo Takahashi
International journal of software engineering and…
2010
Corpus ID: 207130760
To develop Web applications of high quality, it is important to apply efficient frameworks to standardize the process of…
Expand
2009
2009
Extended static checking in JML4: benefits of multiple-prover support
Perry R. James
,
Patrice Chalin
ACM Symposium on Applied Computing
2009
Corpus ID: 16819972
The implementations of many seemingly simple algorithms are beyond the ability of traditional Extended Static Checking (ESC…
Expand
2009
2009
Enhancements to jml and its extended static checking technology
Perry R. James
2009
Corpus ID: 60736935
Formal methods are useful for developing high-quality software, but to make use of them, easy-to-use tools must be available…
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
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