| Statistical model checking for variability-intensive systems: applications to bug detection and minimization |
| English |
| Cordy, Maxime [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) >] |
| Lazreg, Sami [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SerVal] |
| Papadakis, Mike [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)] |
| Legay, Axel [UC Louvain] |
| 2021 |
| Formal Aspects of Computing |
| Springer |
| 33 |
| 6 |
| 1147--1172 |
| Yes (verified by ORBilu) |
| International |
| 0934-5043 |
| 1433-299X |
| Germany |
| http://hdl.handle.net/10993/49668 |
| 10.1007/s00165-021-00563-2 |
| https://doi.org/10.1007/s00165-021-00563-2 |
| FnR ; FNR13566661 > Maxime Cordy > BEEHIVE > Behaviour-induced Configuration Of High Variability-intensive Systems > 01/09/2020 > 31/08/2023 > 2019 |