Mining branching-time scenarios

D. Fahland, D. Lo, S. Maoz

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

29 Citations (Scopus)

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 languageEnglish
Title of host publication2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE, Silicon Valley CA, USA, November 11-15, 2013)
PublisherInstitute of Electrical and Electronics Engineers
Pages443-453
DOIs
Publication statusPublished - 2013
Event28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013) - Silicon Valley, United States
Duration: 11 Nov 201315 Nov 2013
Conference number: 28
http://www.ase2013.org/

Conference

Conference28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013)
Abbreviated titleASE 2013
Country/TerritoryUnited States
CitySilicon Valley
Period11/11/1315/11/13
Internet address

Fingerprint

Dive into the research topics of 'Mining branching-time scenarios'. Together they form a unique fingerprint.

Cite this