TITLE     : Formal methods in testing software architectures
AUTHOR(S) : Bertolino A, Inverardi P, Muccini H
TYPE      : Conference article
YEAR      : 2003
CODE      : 44109

*** DO NOT EDIT THIS FILE ***