A test environment using symbolic program trace

DOI10.1007/BF02307380zbMath0817.65033OpenAlexW400232673MaRDI QIDQ1340875

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

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

Uses Software

• PASCAL-XSC

Cites Work

• A Domain Strategy for Computer Program Testing
• Some undecidable problems involving elementary functions of a real variable
• Unnamed Item
• Unnamed Item
• Unnamed Item

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