A test environment using symbolic program trace

DOI10.1007/BF02307380MaRDI QIDQ1340875zbMATH OpenOpenAlexFDO

Authors H. M. E. Berlejung

Publication date 20 December 1994

Published in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02307380

zbMATH Keywords

test data generationverification of programsinput data set classificationnumerical algorithms with result verificationsymbolic program trace supporting source code inspectiontest environment

Mathematics Subject Classification ID

Roundoff error (65G50) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60) Interval and finite arithmetic (65G30)

Recommendations

• scientific article; zbMATH DE number 3926224
• scientific article; zbMATH DE number 2079824
• Symbolic Execution Techniques for Refinement Testing

Cites work

• scientific article; zbMATH DE number 3766957 (Why is no real title available?)
• scientific article; zbMATH DE number 50026 (Why is no real title available?)
• scientific article; zbMATH DE number 108425 (Why is no real title available?)
• A Domain Strategy for Computer Program Testing
• Some undecidable problems involving elementary functions of a real variable

Cited in

(3)

• scientific article; zbMATH DE number 2011486 (Why is no real title available?)
• DynaTest and beyond: From dynamic testing to automated error-prevention and error-detection
• scientific article; zbMATH DE number 4219133 (Why is no real title available?)

Describes a project that uses

Uses Software

• PASCAL-XSC

This page was built for publication: A test environment using symbolic program trace

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