Treffer: Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study
Title:
Optimizing Generated Aspect-Oriented Assertion Checking Code for JML Using Programming Laws: An Empirical Study
Contributors:
The Pennsylvania State University CiteSeerX Archives
Publication Year:
2010
Collection:
CiteSeerX
Subject Terms:
Verification — Assertion checkers, class invariants, formal methods, programming by contract, reliability, tools, validation, JML, D.2.5 [Software Engineering] Testing and Debugging — Debugging aids, design, testing tools, theory, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invariants, pre- and post-conditions, specification techniques
Document Type:
Fachzeitschrift
text
File Description:
application/pdf
Language:
English
Availability:
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.ED75C537
Database:
BASE
Weitere Informationen
This is a preprint of a paper that is submitted for publication.