Postcondition

Results: 77



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

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
2Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris

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
3Leveraging Parallel Data Processing Frameworks with Verified Lifting Maaz Bin Safeer Ahmad Alvin Cheung

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
4Call by Contract for Cryptographic Protocols

Call by Contract for Cryptographic Protocols

Add to Reading List

Source URL: evenmere.org

Language: English - Date: 2008-06-23 13:57:19
5Automatic 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

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
6The AutoProof Verifier: Usability by Non-Experts and on Standard Code Carlo A. Furia Christopher M. Poskitt

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
7Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus Daisuke Ishii1 , Guillaume Melquiond2 , and Shin Nakajima1 1 2

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
8Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland

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
9A 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

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
10From 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

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