Volume: Vol-4294 UkrProg-IIT 2026 | Year: 2026

Paper: « S_40_Beketov | S_27_Rudenko

A Controlled Evaluation of Range-Sensitive Dataflow Coverage for Indirect Testing of Input Constraints in Cyber-Physical Systems

• Daria Rudenko ORCID
• Oleksandr Kolchyn ORCID

187-206 PDF 10.83095/ceurws_04294_015