| Bibliography | Maier, Sven: Enriched Tool Support for Probabilistic Specification Mining (ProSpecMi).
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Bachelor Thesis No. 134 (2014).
63 pages, english.
|
|---|
| CR-Schema | D.2.5 (Software Engineering Testing and Debugging)
|
|---|
| Abstract | Specification Mining describes the process of creating a specification from a (probably unknown) program using sample executions. Most of the current specification miners are deterministic. This thesis aims to create a probabilistic specification miner. Therefor, a specification miner with three different probabililistic approaches has been implemented and added to the LearnLib-Framework. The implementation has been validated by letting the specification miner rebuild a predefined specification to compare the template and the result, by running a hypothesis-test to compare the used approaches to calculate the probabilities against another and by letting it mine the usage of a real API from n tests and validate them with m more tests.
|
|---|
Full text and
other links | PDF (463764 Bytes)
|
|---|
| Department(s) | University of Stuttgart, Institute of Software Technology, Software Reliability and Security
|
|---|
| Superviser(s) | Filieri, Antonio |
|---|
| Entry date | December 2, 2014 |
|---|