Test specification based on trace description

zbMath0875.68635MaRDI QIDQ1817151

A. K. Petrenko

Publication date: 13 May 1997

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

program specificationsspecification of teststrace description

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

This page was built for publication: Test specification based on trace description