Cited By
View all- Gerrard MBorges MDwyer MFilieri A(2022)Conditional Quantitative Program AnalysisIEEE Transactions on Software Engineering10.1109/TSE.2020.301677848:4(1212-1227)Online publication date: 1-Apr-2022
- Shin SChaouch KNejati SSabetzadeh MBriand LZimmer F(2021)Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systemsJournal of Systems and Software10.1016/j.jss.2020.110813171(110813)Online publication date: Jan-2021
- Traiola MVirazel AGirard PBarbareschi MBosio A(2020)A Survey of Testing Techniques for Approximate Integrated CircuitsProceedings of the IEEE10.1109/JPROC.2020.2999613108:12(2178-2194)Online publication date: Dec-2020
- Show More Cited By