Quote: specification mining analyzes a program's trace of API or ADT calls; produces state machines with temporal and data dependencies

Quotation Skeleton

This paper explores one approach to automating much … and data-dependence relationships that a program follows when … these interactions in a running program and uses … or ADT. These rules are concisely summarized as … by a programmer, to refine the specification and … Rather than start from the program's text, in … begins with traces of a program's run-time interaction … general do not contain errors.   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

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

Topic: model checker (49 items)
Topic: requirement specification by behaviors (16 items)
Topic: execution tracing (39 items)