Verifying Java Object Invariants at Runtime.

Thu-Trang Nguyen Ninh-Thuan Truong Viet Ha Nguyen

Published in: Int. J. Softw. Eng. Knowl. Eng. (2011)

Keyphrases

d objects
open source
lightweight
object tracking
similar objects
target object
complex objects
java applets
object geometry
geometric invariants
invariant representation
advanced features
multiple objects
database
source code
programming language
object oriented
database systems