Loading...
Please wait, while we are loading the content...
Similar Documents
Improving Relevancy of Dynamically-inferred Contracts in Eiffel
| Content Provider | Semantic Scholar |
|---|---|
| Author | Roman, Flaviu Meyer, Bertrand |
| Copyright Year | 2009 |
| Abstract | Scope of the work Initial studies[4] have shown that some of the automatically inferred assertions are correct (90%), while some of them are actually useful (interesting, 64%). By useful one means that the assertion is a property of the class / feature / loop and only of that, regardless of the tests performed on that structure. However, it has been proven[4] on several types of Eiffel classes than automatic tools are able to inference 5 times more useful and correct assertions than programmers do. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://se.inf.ethz.ch/old/projects/flaviu_roman/projectplan.pdf |
| Alternate Webpage(s) | http://se.inf.ethz.ch/old/projects/flaviu_roman/report.pdf |
| Alternate Webpage(s) | http://se.inf.ethz.ch/projects/flaviu_roman/report.pdf |
| Alternate Webpage(s) | http://se.inf.ethz.ch/projects/flaviu_roman/projectplan.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |