Abstract
Specification mining extracts candidate specification from existing systems, to be used for downstream tasks such as testing and verification. Specifically, we are interested in the extraction of behavior models from execution traces.
Original language | English |
---|---|
Title of host publication | 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE, Silicon Valley CA, USA, November 11-15, 2013) |
Publisher | Institute of Electrical and Electronics Engineers |
Pages | 443-453 |
DOIs | |
Publication status | Published - 2013 |
Event | 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013) - Silicon Valley, United States Duration: 11 Nov 2013 → 15 Nov 2013 Conference number: 28 http://www.ase2013.org/ |
Conference
Conference | 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013) |
---|---|
Abbreviated title | ASE 2013 |
Country/Territory | United States |
City | Silicon Valley |
Period | 11/11/13 → 15/11/13 |
Internet address |