specication mining

Using Dynamic Execution Traces and Program Invariants to Enhance Behavioral Model Inference

File	MIME type		Size (KB)	Language	Download
usc-csse-2010-513.pdf	application/pdf		227.93 KB	English	DOWNLOAD!

Access the SE Goldmine

A username and password is required for access to the resources. If you are a client or alumna/alumnus of PPI or of subsidiary company CTI and wish to obtain a username and password, please use this registration form.

If you are not a client of PPI or CTI, limited access (which permits download access to many of these resources) may be available on an approved-registration basis. Conditions Apply. Please click here to complete a registration request form.

Most access requests are approved. Log in details will be provided by email. We apologise for being unable to respond to access requests that are declined.

Site Slogan

Using Dynamic Execution Traces and Program Invariants to Enhance Behavioral Model Inference

Australia
PO Box 2385
Ringwood North, VIC 3134, Australia
P: +61 (0) 3 9876 7345
[email protected]

USA (answers in Australia)
P: +1 888 772 5174

Brazil
P: +55 12 9 9780 3490

China 绝对不是
P: +86 188 5117 2867

speci cation mining

specication mining