共 50 条
- [2] A static analysis method for run-time errors detection [J]. ISTM/2005: 6th International Symposium on Test and Measurement, Vols 1-9, Conference Proceedings, 2005, : 6615 - 6618
- [4] Conversation errors in web service coordination: Run-time detection and repair [J]. 2005 IEEE/WIC/ACM International Conference on Web Intelligence, Proceedings, 2005, : 442 - 449
- [5] Temperature Tracking: An Innovative Run-Time Approach for Hardware Trojan Detection [J]. 2013 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2013, : 532 - 539
- [7] Static checker of semantic run-time errors [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1998, 24 (06) : 288 - 300
- [8] Relational abstract domains for the detection of floating-point run-time errors [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 2004, 2986 : 3 - 17
- [9] Run-time detection of covert channels [J]. FIRST INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS, 2006, : 577 - +
- [10] The Importance of Run-Time Error Detection [J]. TOOLS FOR HIGH PERFORMANCE COMPUTING 2009, 2010, : 145 - 155