Verifying a class: combining testing and proving

DOI10.3233/FI-2009-152MaRDI QIDQ3400557zbMATH OpenOpenAlexFDO

Authors Grazyna Mirkowska, Andrzej Salwicki, Oskar Świda

Publication date 5 February 2010

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2009-152

zbMATH Keywords

specification ATPQverification of object-oriented software

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A case study in class library verification: Java's vector class
• scientific article; zbMATH DE number 2013592
• scientific article; zbMATH DE number 3894447
• scientific article; zbMATH DE number 2090026
• scientific article; zbMATH DE number 2079999

Cited in

(2)

• scientific article; zbMATH DE number 2013592 (Why is no real title available?)
• A case study in class library verification: Java's vector class

This page was built for publication: Verifying a class: combining testing and proving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3400557)