[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Mining modal scenario-based specifications from execution traces of reactive systems
Lo, David; Maoz, Shahar; Khoo, Siau-Cheng
- 作者Lo, David; Maoz, Shahar; Khoo, Siau-Cheng
- 文件大小549.45KB
- 发表时间2007
- DOI10.1145/1321631.1321710