Postcondition - PDFSEARCH.IO - Document Search Engine

Postcondition
Results: 77

#	Item
1	Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:12 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
2	Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris Add to Reading List Source URL: mehdi.bouaziz.org Language: English - Date: 2014-01-23 20:24:46 Formal methods Logic in computer science Object-oriented programming Postcondition Precondition Class invariant Design by contract Assertion Constructor Class Invariant Loop invariant
3	Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2016-07-02 20:30:42 Formal methods MapReduce Loop invariant Postcondition Apache Hadoop Control flow Hoare logic Generator Predicate transformer semantics KeY Infinite loop Const
4	Call by Contract for Cryptographic Protocols Add to Reading List Source URL: evenmere.org Language: English - Date: 2008-06-23 13:57:19 Formal methods Logic in computer science Metalogic Automated theorem proving Logic programming Substitution Postcondition First-order logic Parameter Precondition Well-formed formula Model theory
5	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 Add to Reading List Source URL: se.inf.ethz.ch Language: English Software engineering Theoretical computer science Formal methods Logic in computer science Computer programming Software testing Extreme programming Postcondition Software bug Precondition Assertion Random testing
6	The AutoProof Verifier: Usability by Non-Experts and on Standard Code Carlo A. Furia Christopher M. Poskitt Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-08-14 13:22:55 Theoretical computer science Software engineering Formal methods Logic in computer science Software testing Formal verification Separation logic Loop invariant Software verification Eiffel Postcondition Invariant
7	Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus Daisuke Ishii1 , Guillaume Melquiond2 , and Shin Nakajima1 1 2 Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-06-11 11:16:39 Formal methods Predicate transformer semantics Loop invariant Hoare logic State-space representation
8	Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2013-08-30 12:25:15 Software engineering Software testing Computing Theoretical computer science Formal methods Logic in computer science Object-oriented programming Postcondition Random testing Eiffel General-purpose computing on graphics processing units Test data generation
9	A comparative study of programmer-written and automatically inferred contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Add to Reading List Source URL: se.ethz.ch Language: English - Date: 2011-03-11 06:33:20 Software engineering Computer programming Software Formal methods Logic in computer science Object-oriented programming languages Object-oriented programming Software testing Postcondition Eiffel Assertion Class invariant
10	From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics M. Gogolla1 , L. Hamann1 , F. Hilken1∗, M. Kuhlmann1 , R. France2 1 {gogolla,lhamann,fhilken,mk}@informatik.uni-bremen Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:36:54 Software engineering Theoretical computer science Unified Modeling Language Computing Formal methods Object Constraint Language ECO Postcondition Object diagram Object Process Methodology Class diagram Invariant

UPDATE