Mining Branching-Time Scenarios

• Main Authors: FAHLAND, Dirk, LO, David, MAOZ, Shahar
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2013
• Subjects: data mining; formal verification; program testing; statistical analysis; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/2029; https://ink.library.smu.edu.sg/context/sis_research/article/3028/viewcontent/FahlandLM_2013_ase_branching_mining.pdf
• Institution: Singapore Management University

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. In this paper we introduce mining of branching-time scenarios in...