Drishti Yadav

According to our database, Drishti Yadav authored at least 8 papers between 2021 and 2024.

Collaborative distances:

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

2024

From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems.

Drishti Yadav

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

Towards smart surveillance as an aftereffect of COVID-19 outbreak for recognition of face masked individuals using YOLOv3 algorithm.

Saurav Kumar, Drishti Yadav, Himanshu Gupta, Mohit Kumar, Om Prakash Verma

Multim. Tools Appl., March, 2023

Property-Based Mutation Testing.

Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

2022

FIM: Fault Injection and Mutation for Simulink.

Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav

Dataset, May, 2022

YOLOv4 algorithm for the real-time detection of fire and personal protective equipments at construction sites.

Saurav Kumar, Himanshu Gupta, Drishti Yadav, Irshad Ahmad Ansari, Om Prakash Verma

Multim. Tools Appl., 2022

FIM: fault injection and mutation for Simulink.

Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Search-based Testing for Accurate Fault Localization in CPS.

Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

2021

Synergetic fusion of energy optimization and waste heat reutilization using nature-inspired algorithms: a case study of Kraft recovery process.

Smitarani Pati, Drishti Yadav, Om Prakash Verma

Neural Comput. Appl., 2021