Mining modal scenario-based specifications from execution traces of reactive systems

Mining modal scenario-based specifications from execution traces of reactive systems

10.1145/1321631.1321710

Saved in:
Bibliographic Details
Main Authors: Lo, D., Maoz, S., Khoo, S.-C.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Subjects:
dynamic analysis
live sequence charts
specification mining
UML sequence diagrams
Online Access:http://scholarbank.nus.edu.sg/handle/10635/40724
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Description
Summary:10.1145/1321631.1321710

Similar Items