Map
Index
Random
Help
th

QuoteRef: ammoG1_2002

topics > all references > ThesaHelp: references a-b



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

Quotations
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


Related Topics up

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)

Collected barberCB 1/03
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.