Trace-checking CPS properties: Bridging the cyber-physical gap C Menghi, E Viganò, D Bianculli, LC Briand 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 10 | 2021 |
Data-driven mutation analysis for cyber-physical systems E Viganò, O Cornejo, F Pastore, LC Briand IEEE Transactions on Software Engineering 49 (4), 2182-2201, 2022 | 3 | 2022 |
Theodore: A trace checker for cps properties C Menghi, E Viganò, D Bianculli, LC Briand 2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021 | 1 | 2021 |
Fuzzing for CPS Mutation Testing J Lee, E Viganò, O Cornejo, F Pastore, L Briand 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | | 2023 |
DaMAT: A Data-driven Mutation Analysis Tool E Viganò, O Cornejo, F Pastore, L Briand 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | | 2023 |
SMT-based trace checking of CPS properties E VIGANÒ Italy, 2020 | | 2020 |