Back
  1. Home
  3. Detailed Reference
Download
Article (Scientific journals)
Statistical model checking for variability-intensive systems: applications to bug detection and minimization
CORDY, Maxime; LAZREG, Sami; PAPADAKIS, Mike et al.
2021 • In Formal Aspects of Computing, 33 (6), p. 1147--1172
Peer Reviewed verified by ORBi
Permalink
https://hdl.handle.net/10993/49668
DOI
10.1007/s00165-021-00563-2
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
4229a641-2cee-4bba-bb3f-345e67016ac9.pdf
Publisher postprint (1.62 MB)
Download

All documents in ORBilu are protected by a user license.

Send to


Details


Disciplines :
Computer science
Author, co-author :
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
External co-authors :
yes
Language :
English
Title :
Statistical model checking for variability-intensive systems: applications to bug detection and minimization
Publication date :
2021
Journal title :
Formal Aspects of Computing
ISSN :
0934-5043
eISSN :
1433-299X
Publisher :
Springer, Germany
Volume :
33
Issue :
6
Pages :
1147--1172
Peer reviewed :
Peer Reviewed verified by ORBi
Additional URL :
https://doi.org/10.1007/s00165-021-00563-2
FnR Project :
FNR13566661 - Behaviour-induced Configuration Of High Variability-intensive Systems, 2019 (01/09/2020-31/08/2023) - Maxime Cordy
Available on ORBilu :
since 14 January 2022

Statistics

Number of views
130 (17 by Unilu)
Number of downloads
36 (4 by Unilu)
More statistics
Scopus citations®
 
3
Scopus citations®
without self-citations
0
OpenCitations
 
0
OpenAlex citations
 
3
WoS citations™
 
2

Bibliography

Similar publications


Contact ORBilu