| 
|
QuoteRef: gellM5_1978
topics >
all references >
ThesaHelp:
references g-h
ThesaHelp:
ACM references f-l
Group:
program proving
Group:
testing
Topic:
definition by example
Reference
Geller, M., "Test data as an aid in proving program correctness", Communications of the ACM, 21, 5, pp. 368-375, May 1978. Google
375 ;;Quote: test data may suggest a simple strategy for proving programs correct
375 ;;Quote: a programmer may consider specific examples and then try to guarantee that the program works similarly for the whole input domain
ThesaHelp: references g-h (299 items)
ThesaHelp: ACM references f-l (241 items)
Group: program proving (10 topics, 310 quotes)
Group: testing (18 topics, 551 quotes)
Topic: definition by example (26 items)