Rajiv Ranjan Suman Rajib Mall State model extraction of a software component by observing its behavior. 1-7 2009 34 ACM SIGSOFT Software Engineering Notes 1 http://doi.acm.org/10.1145/1457516.1460353 db/journals/sigsoft/sigsoft34.html#SumanM09