A light-weight static approach to analyzing UML behavioral properties.

Lijun Yu, Robert B. France, Indrakshi Ray, Kevin Lano

Browse the full ICECCS paper archive.