Specification directed module testing

From MaRDI portal

Publication:3694681

Jump to:navigation, search

DOI10.1109/TSE.1986.6312926zbMath0575.68037MaRDI QIDQ3694681

Ian J. Hayes

Publication date: 1986

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

zbMATH Keywords

modules testing implementation specification software reliability abstract data types packages

Mathematics Subject Classification ID

Theory of software (68N99)

This page was built for publication: Specification directed module testing

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3694681&oldid=17182741"