Improving the Quality of Web-based Enterprise Applications with Extended Static Checking: A Case Study

Authors:
Frédéric Rioux;Patrice Chalin
Affiliations:
Dependable Software Research Group (DSRG), Department of Computer Science and Software Engineering, Concordia University, Montréal, Canada;Dependable Software Research Group (DSRG), Department of Computer Science and Software Engineering, Concordia University, Montréal, Canada
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 6
Cited 2

Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
JML (poster session): notations and tools supporting detailed design in Java

OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Extended static checking for Java

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Patterns of Enterprise Application Architecture

Patterns of Enterprise Application Architecture
An overview of JML tools and applications

International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
ESC/Java2: uniting ESC/Java and JML

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Integrating Static Checking and Interactive Verification: Supporting Multiple Theories and Provers in Verification

Verified Software: Theories, Tools, Experiments
Non-null references by default in java: alleviating the nullity annotation burden

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

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.