Login / Signup

Effective typestate verification in the presence of aliasing.

Stephen J. FinkEran YahavNurit DorG. RamalingamEmmanuel Geay
Published in: ACM Trans. Softw. Eng. Methodol. (2008)
Keyphrases
  • high quality
  • evolutionary algorithm
  • spatial resolution
  • neural network
  • learning algorithm
  • video sequences
  • real time
  • data sets
  • website
  • multi agent systems
  • high resolution
  • model checking