Loading...
Please wait, while we are loading the content...
Similar Documents
Embee Performance Tests
| Content Provider | CiteSeerX |
|---|---|
| Author | Crane, Michelle L. Dingel, Juergen |
| Abstract | We have designed and implemented a prototype tool, called Embee, which makes use of the Alloy Analyzer to automatically check the conformance of Java executions against Alloy specifications. Running time tests were conducted as part of the performance analysis of this tool. This report describes these tests and their results. Some of the results were unexpected, leading to questions about how the Alloy Analyzer functions. 1 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Embee Performance Test Time Test Performance Analysis Alloy Specification Alloy Analyzer Function Prototype Tool Java Execution Alloy Analyzer |
| Content Type | Text |