<--- Back to Details
First PageDocument Content
Data / Identifiers / Academia / ORCID / Technical communication / Postcondition / Open access / Authority control / Academic publishing / Metadata / Information
Date: 2014-08-21 13:36:38
Data
Identifiers
Academia
ORCID
Technical communication
Postcondition
Open access
Authority control
Academic publishing
Metadata
Information

Add to Reading List

Source URL: www.oclc.org

Download Document from Source Website

File Size: 131,97 KB

Share Document on Facebook

Similar Documents

Software testing / QuickCheck / Object Constraint Language / Model-based testing / Postcondition / Random testing / Design by contract / ECO / Unit testing / Unified Modeling Language / Object Process Methodology / Test automation

Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro

DocID: 1pJkg - View Document

Formal methods / Logic in computer science / Object-oriented programming / Postcondition / Precondition / Class invariant / Design by contract / Assertion / Constructor / Class / Invariant / Loop invariant

Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris

DocID: 1px9E - View Document

Formal methods / MapReduce / Loop invariant / Postcondition / Apache Hadoop / Control flow / Hoare logic / Generator / Predicate transformer semantics / KeY / Infinite loop / Const

Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung

DocID: 1ph8b - View Document

Formal methods / Logic in computer science / Metalogic / Automated theorem proving / Logic programming / Substitution / Postcondition / First-order logic / Parameter / Precondition / Well-formed formula / Model theory

Call by Contract for Cryptographic Protocols

DocID: 1nZ6s - View Document

Software engineering / Theoretical computer science / Formal methods / Logic in computer science / Computer programming / Software testing / Extreme programming / Postcondition / Software bug / Precondition / Assertion / Random testing

Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin

DocID: 1nUaD - View Document