Lightweight object specification with typestates.

Kevin Bierhoff Jonathan Aldrich

Published in: ESEC/SIGSOFT FSE (2005)

Keyphrases

lightweight
object tracking
object model
complex objects
d objects
data objects
data driven
data collection
dos attacks
development environments