MANDRIOLI Claudio

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

: 0000-0002-7013-1191

Main Referenced Co-authors

BIANCULLI, Domenico (5)

Maggio, Martina (4)

SHIN, Seung Yeob (3)

BRIAND, Lionel (2)

Nyberg Carlsson, Max (2)

Main Referenced Keywords

Cyber-Physical Systems (3); Software (3); Software Testing (2); Analysis techniques (1); Based specification (1);

Main Referenced Unit & Research Centers

Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SVV - Software Verification and Validation (6)

Main Referenced Disciplines

Computer science (7)

Publications (total 7)

Search in publications

The most downloaded

378 downloads

YADAV, D., MANDRIOLI, C., Bartocci, E., & BIANCULLI, D. (2025). Fault Injection for Simulink-based CPS Models: Insights and Future Directions. In Proceedings of the 2025 40th ACM/IEEE International Conference on Automated Software Engineering (ASE'25). IEEE. doi:10.1109/ASE63991.2025.00326 https://hdl.handle.net/10993/65775

The most cited

8 citations (Scopus®)

MANDRIOLI, C., Nyberg Carlsson, M., & Maggio, M. (23 November 2023). Testing Abstractions for Cyber-Physical Control Systems. ACM Transactions on Software Engineering and Methodology, 33 (1), 1-32. doi:10.1145/3617170 https://hdl.handle.net/10993/58077

STRATAN, C., MANDRIOLI, C., & BIANCULLI, D. (2026). Diagnosing Violations of State-based Specifications in iCFTL. IEEE Transactions on Software Engineering, 1-20. doi:10.1109/TSE.2026.3667445

https://hdl.handle.net/10993/67964

Peer Reviewed verified by ORBi

MANDRIOLI, C., SHIN, S. Y., Maggio, M., BIANCULLI, D., & BRIAND, L. (17 October 2025). Stress Testing Control Loops in Cyber-Physical Systems - RCR Report. ACM Transactions on Software Engineering and Methodology, 34 (8), 241:1-241-6. doi:10.1145/3733715

https://hdl.handle.net/10993/65809

Peer Reviewed verified by ORBi

Dataset: https://doi.org/10.5281/zenodo.13123582

MANDRIOLI, C., SHIN, S. Y., BIANCULLI, D., & Briand, L. (06 June 2025). Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming. IEEE Transactions on Software Engineering, 51 (6), 1666 - 1684. doi:10.1109/TSE.2025.3563121

https://hdl.handle.net/10993/64828

Peer Reviewed verified by ORBi

MANDRIOLI, C., Nyberg Carlsson, M., & Maggio, M. (2025). Testing Abstractions for Cyber-Physical Control Systems - RCR Report. ACM Transactions on Software Engineering and Methodology. doi:10.1145/3736577

https://hdl.handle.net/10993/65810

Peer Reviewed verified by ORBi

Dataset: https://doi.org/10.5281/zenodo.12820405

https://hdl.handle.net/10993/65775

Peer reviewed

MANDRIOLI, C., SHIN, S. Y., Maggio, M., BIANCULLI, D., & BRIAND, L. (21 December 2023). Stress Testing Control Loops in Cyber-Physical Systems. ACM Transactions on Software Engineering and Methodology, 33 (2), 35:1-25:58. doi:10.1145/3624742

https://hdl.handle.net/10993/57053

Peer Reviewed verified by ORBi

Dataset: https://doi.org/10.5281/zenodo.7994669

https://hdl.handle.net/10993/58077

Peer Reviewed verified by ORBi