Enrico Viganò

According to our database, Enrico Viganò authored at least 5 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Data-Driven Mutation Analysis for Cyber-Physical Systems.

Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand

IEEE Trans. Software Eng., April, 2023

Fuzzing for CPS Mutation Testing.

Jaekwon Lee, Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

DaMAT: A Data-driven Mutation Analysis Tool.

Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2021

ThEodorE: a Trace Checker for CPS Properties.

Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap.

Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021