Systematic detection of exception occurrences

DOI10.1016/0167-6423(81)90007-1MaRDI QIDQ1158746zbMATH OpenOpenAlexFDO

Authors Eike Best, Flaviu Cristian

Publication date 1981

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(81)90007-1

zbMATH Keywords

correctnessexception handlingpreciseness of testsrobustness

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Systematic detection of exception occurrences

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