645 search results - page 1 / 129 » Mining specifications |
ICDM
2009
IEEE
13 years 2 months ago
2009
IEEE
BPM
2003
Springer
13 years 8 months ago
2003
Springer
This paper presents an approach on mining most specific workflow models from event-based data. The approach is embedded in the context of data mining and knowledge discovery in dat...
FASE
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
ICSE
2010
IEEE-ACM
13 years 7 months ago
2010
IEEE-ACM
We present LM, a tool for mining scenario-based specifications in the form of Live Sequence Charts, a visual language that extends sequence diagrams with modalities. LM comes with...
DAC
2010
ACM
13 years 8 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...