Synthesis of Partial Behavior Models from Properties and Scenarios.

Sebastián Uchitel Greg Brunet Marsha Chechik Synthesis of Partial Behavior Models from Properties and Scenarios. 384-406 2009 35 IEEE Trans. Software Eng. 3 http://dx.doi.org/10.1109/TSE.2008.107 db/journals/tse/tse35.html#UchitelBC09