| 
|
QuoteRef: daviMD_1981
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references c-d
Topic:
set-oriented languages
Topic:
resourceful, redundant systems for reliability
Reference
Davis, M.D., Weyuker, E.J., "Pseudo-oracles for non-testable programs ", ACM Conference Proceedings , pp. 254-257, 1981. Google
255 ;;Quote: test by a pseudo-oracle which independently implements a program and compare results; use a very high level language
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references c-d (337 items)
Topic: set-oriented languages (20 items)
Topic: resourceful, redundant systems for reliability (35 items)