| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423776 | Electronic Notes in Theoretical Computer Science | 2006 | 14 Pages |
Abstract
ESC/Java2 is a tool that statically detects errors in Java programs and that uses the Java Modeling Language (JML) as its annotation language. ESC/Java2 can modularly reason about the code of a Java Web-based Enterprise Application (WEA) and uncover potential errors. In this paper, we assessed the effectiveness of ESC/Java2 at helping developers increase WEA quality by detecting design and implementation issues.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
