Cited By
View all- Dossche NCoppens BBalzarotti DXu W(2024)Inference of error specifications and bug detection using structural similaritiesProceedings of the 33rd USENIX Conference on Security Symposium10.5555/3698900.3699006(1885-1902)Online publication date: 14-Aug-2024