Mining Branching-Time Scenarios

Mining Branching-Time Scenarios

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...

Full description

Saved in:
Bibliographic Details
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
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

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

Similar Items