UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse

Electronic proceedings in theoretical computer science, 2014-04, Vol.149 (Proc. F-IDE 2014), p.79-92

Cok, David R.

2014

Volltextzugriff (PDF)

The 2013 Evaluation of SMT-COMP and SMT-LIB

Journal of automated reasoning, 2015-06, Vol.55 (1), p.61-90

2015

Volltextzugriff (PDF)

ESC/Java2: Uniting ESC/Java and JML: Progress and Issues in Building and Using ESC/Java2, Including a Case Study Involving the Use of the Tool to Verify Portions of an Internet Voting Tally System

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2005, p.108-128

2005

Volltextzugriff (PDF)

An overview of JML tools and applications

International journal on software tools for technology transfer, 2005-06, Vol.7 (3), p.212-232

2005

Volltextzugriff (PDF)

Improved usability and performance of SMT solvers for debugging specifications

International journal on software tools for technology transfer, 2010-11, Vol.12 (6), p.467-481

Cok, David R.

2010

Volltextzugriff (PDF)

SPEEDY: An Eclipse-based IDE for invariant inference

Electronic proceedings in theoretical computer science, 2014-04, Vol.149 (Proc. F-IDE 2014), p.44-57

2014

Volltextzugriff (PDF)

OpenJML: JML for Java 7 by Extending OpenJDK

NASA Formal Methods, p.472-479

Volltextzugriff (PDF)

Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods

2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST), 2021, p.229-240

2021

Volltextzugriff (PDF)

Report on SL-COMP 2014

Journal on satisfiability, Boolean modeling and computation, 2016-01, Vol.9 (1), p.173-186

2016

Volltextzugriff (PDF)

JML and OpenJML for Java 16

Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021, p.65-67

Cok, David R.

2021

Volltextzugriff (PDF)

Improved usability and performance of SMT solvers for debugging specificationsqvsl: 20101200

International journal on software tools for technology transfer, 2010-11, Vol.12 (6), p.467

Cok, David R

2010

Volltextzugriff (PDF)

Documentation and Educational Materials for a 2nd Edition of the Java Modeling Language

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022, p.26-28

2022

Volltextzugriff (PDF)

jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2

NASA Formal Methods, p.480-486

Volltextzugriff (PDF)

How the design of JML accommodates both runtime assertion checking and formal verification

Science of computer programming, 2005-03, Vol.55 (1), p.185-208

2005

Volltextzugriff (PDF)

The 2014 SMT Competition

Journal on satisfiability, Boolean modeling and computation, 2016-01, Vol.9 (1), p.207-242

2016

Volltextzugriff (PDF)

Toward Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs

Journal of object technology, 2024, Vol.23 (2), p.2

2024

Volltextzugriff (PDF)

Reasoning about functional programming in Java and C++

Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018, p.37-39

Cok, David R.

2018

Volltextzugriff (PDF)

Generating counterexamples in the form of unit tests from hoare-style verification attempts

2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE), 2022, p.124-128

2022

Volltextzugriff (PDF)

Specifying java iterators with JML and Esc/Java2

International Conference on Software Engineering: Proceedings of the 2006 conference on Specification and verification of component-based systems; 10-11 Nov. 2006, 2006, p.71-74