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

Book title Buchtitel
ISSTA 2024: Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis
 
ISBN
979-8-4007-0612-7
 
Publisher Herausgeber
Association for Computing Machinery
 
Place of publishing Erscheinungsort
New York, NY, United States
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Yadav-2024-From Fault Injection to Formal Verification A Holistic Approac...-vor.pdf.jpgYadav, Drishti From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical SystemsInproceedings Konferenzbeitrag 11-Sep-2024