Yet Another Model Inference (YAMI)

Aug 30, 2017 Framework
Code

Usage models 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.

Statistical Testing Prioritization
Xavier Devroey
Xavier Devroey
Assistant Professor

My research interests include search-based and model-based software testing, test suite augmentation, DevOps, and variability-intensive systems engineering.

Related

Publications

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

Model seeding is a strategy for injecting additional information in a search-based test generation process in the form of models, …
Mitchell Olsthoorn, Pouria Derakhshanfar, Xavier Devroey
PDF Code Project Project DOI Replication package

Search-based Crash Reproduction using Behavioral Model Seeding

Search-based crash reproduction approaches assist developers during debugging by generating a test case, which reproduces a crash given …
Pouria Derakhshanfar, Xavier Devroey, Gilles Perrouin, Andy Zaidman, Arie van Deursen
PDF Code Project Project Video DOI Replication package

Statistical prioritization for software product line testing: an experience report

Software product lines (SPLs) are families of software systems sharing common assets and exhibiting variabilities specific to each …
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans
PDF Project Project DOI

Towards Statistical Prioritization for Software Product Lines Testing

Software Product Lines (SPL) are inherently difficult to test due to the combinatorial explosion of the number of products to consider. …
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-yves Schobbens, Axel Legay, Patrick Heymans
PDF Project Project DOI