YAMI: Yet Another Model Inference tool

Xavier Devroey

YAMI: Yet Another Model Inference tool

Résultats de recherche: Forme non textuelle › Logiciel

Résumé

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.

langue originale	Anglais
Médias de la production	En ligne
Etat de la publication	Publié - oct. 2014

Accès au document

https://github.com/xdevroey/yami

2 Article dans les actes d'une conférence/un colloque
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).
Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Search-based crash reproduction using behavioural model seeding
Derakhshanfar, P., DEVROEY, X., Perrouin, G., Zaidman, A. & van Deursen, A., 1 mai 2020, Dans: Software Testing, Verification and Reliability. 30, 3, e1733.
Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

Accès ouvert
File

36 Téléchargements (Pure)
Towards Statistical Prioritization for Software Product Lines Testing
Devroey, X., Cordy, M., Perrouin, G., Schobbens, P-Y., Legay, A. & Heymans, P., 22 janv. 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
Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

Accès ouvert
File
338 Téléchargements (Pure)

1 Terminé

Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
Devroey, X., Heymans, P., SCHOBBENS, P. & Perrouin, G.
1/09/11 → 30/08/17
Projet: Projet de thèse

VIBeS Case Studies: Featured Transition Systems and Feature Models
Devroey, X. (Créateur), University of Namur, oct. 2020
DOI: 10.5281/zenodo.4105899
Ensemble de données

Contient cette citation

@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

Résumé

Accès au document

Empreinte digitale

Résultat de recherche

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

Projets

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

Ensembles de données

VIBeS Case Studies: Featured Transition Systems and Feature Models

Contient cette citation