Cited By
View all- Bartocci EMariani LNickovic DYadav D(2022)Search-based Testing for Accurate Fault Localization in CPS2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE55969.2022.00024(145-156)Online publication date: Oct-2022
- Singh NSaha I(2020)Specification Guided Automated Debugging of CPS ModelsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2020.3012862(1-1)Online publication date: 2020
- Zhang ZArcaini PHasuo I(2020)Constraining Counterexamples in Hybrid System Falsification: Penalty-Based ApproachesNASA Formal Methods10.1007/978-3-030-55754-6_24(401-419)Online publication date: 10-Aug-2020
- Show More Cited By