QUARK: Empirical assessment of automaton-based specification miners
10.1109/WCRE.2006.47
Saved in:
Main Authors: | Lo, D., Khoo, S.-C. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Conference or Workshop Item |
Published: |
2013
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/41465 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
QUARK : Empirical Assessment of Automaton-based Specification Miners
by: LO, David, et al.
Published: (2006) -
LM: A miner for scenario-based specifications
by: Doan, T.-A., et al.
Published: (2013) -
Optimal task automaton decomposabilization for a class of global specifications
by: Karimadini, M., et al.
Published: (2014) -
Project: automaton
by: Lau, Shan Yu
Published: (2022) -
LM: A Miner for Scenario-Based Specifications
by: DOAN, Tuan Anh, et al.
Published: (2010)