Back
  1. Home
  2. Profile of Sami LAZREG (Unilu)
Profil

LAZREG Sami

University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SerVal

Main Referenced Co-authors
CORDY, Maxime  (7)
Legay, Axel (5)
Bohlachov, Vladyslav (2)
HEIN, Andreas  (2)
RANA, Loveneesh  (2)
Main Referenced Keywords
Software (3); Software Product Line (3); LTL (2); Models checking (2); Mutation testing (2);
Main Referenced Disciplines
Computer science (6)
Aerospace & aeronautics engineering (1)

Publications (total 7)

The most downloaded
31 downloads
Rana, L., Lazreg, S., Bohlachov, V., Hein, A., & Cordy, M. (October 2022). VARIABILITY-DRIVEN DESIGN CONFIGURATOR OF SPACE SYSTEMS TO SUPPORT DECISION-MAKERS [Paper presentation]. 10th INTERNATIONAL SYSTEMS & CONCURRENT ENGINEERING FOR SPACE APPLICATIONS CONFERENCE (SECESA 2022). https://hdl.handle.net/10993/54245

The most cited

6 citations (WOS)

Basile, D., ter Beek, M. H., LAZREG, S., CORDY, M., & Legay, A. (December 2022). Static detection of equivalent mutants in real-time model-based mutation testing: An Empirical Evaluation. Empirical Software Engineering, 27 (7). doi:10.1007/s10664-022-10149-y https://hdl.handle.net/10993/58903

CORDY, M., LAZREG, S., Legay, A., & Schobbens, P. Y. (2023). Towards Strengthening Formal Specifications with Mutation Model Checking. In S. Chandra (Ed.), ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Association for Computing Machinery, Inc. doi:10.1145/3611643.3613080
Peer reviewed

Dimovski, A. S., LAZREG, S., CORDY, M., & Legay, A. (2023). Family-based model checking of fMultiLTL properties. In P. Arcaini (Ed.), 27th ACM International Systems and Software Product Line Conference, SPLC 2023 - Proceedings. Association for Computing Machinery. doi:10.1145/3579027.3608976
Peer reviewed

Basile, D., ter Beek, M. H., LAZREG, S., CORDY, M., & Legay, A. (December 2022). Static detection of equivalent mutants in real-time model-based mutation testing: An Empirical Evaluation. Empirical Software Engineering, 27 (7). doi:10.1007/s10664-022-10149-y
Peer Reviewed verified by ORBi

Rana, L., Lazreg, S., Bohlachov, V., Hein, A., & Cordy, M. (October 2022). VARIABILITY-DRIVEN DESIGN CONFIGURATOR OF SPACE SYSTEMS TO SUPPORT DECISION-MAKERS [Paper presentation]. 10th INTERNATIONAL SYSTEMS & CONCURRENT ENGINEERING FOR SPACE APPLICATIONS CONFERENCE (SECESA 2022).

Lazreg, S., Bohlachov, V., Rana, L., Hein, A., & Cordy, M. (2022). Variability-Aware Design of Space Systems: Variability Modelling, Configuration Workflow and Research Directions. Proceedings of VAMOS 22. doi:10.1145/3510466.3510472

LAZREG, S., CORDY, M., & Legay, A. (2022). Verification of Variability-Intensive Stochastic Systems with Statistical Model Checking. In T. Margaria (Ed.), Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning - 11th International Symposium, ISoLA 2022, Proceedings. Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-031-19759-8_27
Peer reviewed

Cordy, M., Lazreg, S., Papadakis, M., & Legay, A. (2021). Statistical model checking for variability-intensive systems: applications to bug detection and minimization. Formal Aspects of Computing, 33 (6), 1147--1172. doi:10.1007/s00165-021-00563-2
Peer Reviewed verified by ORBi

Contact ORBilu