Bachelor Thesis BCLR-0134

BibliographyMaier, 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-SchemaD.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 dateDecember 2, 2014
New Report   New Article   New Monograph   Computer Science