Reference : Statistical model checking for variability-intensive systems: applications to bug det...
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/49668
Statistical model checking for variability-intensive systems: applications to bug detection and minimization
English
Cordy, Maxime mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) >]
Lazreg, Sami mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SerVal]
Papadakis, Mike mailto [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)]
Legay, Axel mailto [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

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
4229a641-2cee-4bba-bb3f-345e67016ac9.pdfPublisher postprint1.58 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.