| 
|
QuoteRef: ammoG1_2002
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references a-b
Topic:
model checker
Topic:
requirement specification by behaviors
Topic:
execution tracing
Topic:
programming with forms
Topic:
sending an object across a network
Reference
Ammons, G., Bodik, R., Larus, J.R., "Mining specifications", ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '02, Portland Oregon USA, Jan 2002, ACM SIGPLAN, pp. 4-16. Google
4 ;;Quote: specification mining analyzes a program's trace of API or ADT calls; produces state machines with temporal and data dependencies
4+;;Quote: a call trace of an API or ADT consists of feasible and error-free paths; while a program's text contains infeasible and buggy paths
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references a-b (396 items)
Topic: model checker (49 items)
Topic: requirement specification by behaviors (16 items)
Topic: execution tracing (39 items)
Topic: programming with forms (26 items)
Topic: sending an object across a network (11 items)