YAMI: Yet Another Model Inference tool

Xavier Devroey

YAMI: Yet Another Model Inference tool

Research output: Non-textual form › Software

Abstract

Usage models (Discrete Time Markov Chain (DTMC)) represents the usage scenarios of the software as well as their probability. This allows one to determine the relative importance of execution scenarios (with respect to other). This project explores the possibility to reverse engineer usage models based on execution traces contained in application logs.

Original language	English
Media of output	Online
Publication status	Published - Oct 2014

Keywords

Model inference
Statistical Testing

Access to Document

https://github.com/xdevroey/yami

2 Conference contribution
1 Article

An Application of Model Seeding to Search-Based Unit Test Generation for Gson
Olsthoorn, M., Derakhshanfar, P. & Devroey, X., 2020, Search-Based Software Engineering - 12th International Symposium, SSBSE 2020, Proceedings. Aleti, A. & Panichella, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 239-245 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12420 LNCS).
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Search-based crash reproduction using behavioural model seeding
Derakhshanfar, P., DEVROEY, X., Perrouin, G., Zaidman, A. & van Deursen, A., 1 May 2020, In: Software Testing, Verification and Reliability. 30, 3, e1733.
Research output: Contribution to journal › Article › peer-review

Open Access
File
73 Downloads (Pure)
Towards Statistical Prioritization for Software Product Lines Testing
Devroey, X., Cordy, M., Perrouin, G., Schobbens, P.-Y., Legay, A. & Heymans, P., 22 Jan 2014, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems: VaMoS '14 . Wasowski, A. & Weyer, T. (eds.). Sophia Antipolis, France: ACM Press, Vol. VaMoS '14. p. 10:1-10:7 8 p. 10
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Open Access
File
394 Downloads (Pure)

1 Finished

Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
Devroey, X. (Researcher), Heymans, P. (CoI), Schobbens, P. Y. (CoI) & Perrouin, G. (Researcher)
1/09/11 → 30/08/17
Project: PHD

VIBeS Case Studies: Featured Transition Systems and Feature Models
DEVROEY, X. (Creator), University of Namur, Oct 2020
DOI: 10.5281/zenodo.4105899
Dataset

Cite this

@misc{2de96e7871ca4fd18d3f5d275a7fdd68,

title = "YAMI: Yet Another Model Inference tool",

abstract = "Usage models (Discrete Time Markov Chain (DTMC)) represents the usage scenarios of the software as well as their probability. This allows one to determine the relative importance of execution scenarios (with respect to other). This project explores the possibility to reverse engineer usage models based on execution traces contained in application logs.",

keywords = "Model inference, Statistical Testing",

author = "Xavier Devroey",

year = "2014",

month = oct,

language = "English",

}

TY - ADVS

T1 - YAMI

T2 - Yet Another Model Inference tool

A2 - Devroey, Xavier

PY - 2014/10

Y1 - 2014/10

N2 - Usage models (Discrete Time Markov Chain (DTMC)) represents the usage scenarios of the software as well as their probability. This allows one to determine the relative importance of execution scenarios (with respect to other). This project explores the possibility to reverse engineer usage models based on execution traces contained in application logs.

AB - Usage models (Discrete Time Markov Chain (DTMC)) represents the usage scenarios of the software as well as their probability. This allows one to determine the relative importance of execution scenarios (with respect to other). This project explores the possibility to reverse engineer usage models based on execution traces contained in application logs.

KW - Model inference

KW - Statistical Testing

M3 - Software

ER -

YAMI: Yet Another Model Inference tool

Abstract

Keywords

Access to Document

Fingerprint

Research output

An Application of Model Seeding to Search-Based Unit Test Generation for Gson

Search-based crash reproduction using behavioural model seeding

Towards Statistical Prioritization for Software Product Lines Testing

Projects

Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines

Datasets

VIBeS Case Studies: Featured Transition Systems and Feature Models

Cite this