On Faults and Faulty Programs

DOI10.1007/978-3-319-06251-8_12zbMath1405.68082DBLPconf/RelMiCS/MiliFJ14OpenAlexW2143155162WikidataQ57526058 ScholiaQ57526058MaRDI QIDQ5410485

No author found.

Publication date: 16 April 2014

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06251-8_12

zbMATH Keywords

correctnessfaultsrefinementfault removalrelative correctnesscontingent faultdefinite faultfaulty programsmonotonic fault removal

Mathematics Subject Classification ID

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

Related Items (1)

Toward a theory of program repair

This page was built for publication: On Faults and Faulty Programs