Author:
Chen Qichang,Wang Liqiang,Yang Zijiang,Stoller Scott D.
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Agarwal, R., Sasturkar, A., Wang, L., Stoller, S.D.: Optimized run-time race detection and atomicity checking using partial discovered types. In: Proc. 20th IEEE/ACM International Conference on Automated Software Engineering (ASE) (November 2005)
2. Lecture Notes in Computer Science;R. Agarwal,2006
3. Chen, F., Serbanuta, T.F., Rosu, G.: jPredictor: a predictive runtime analysis tool for Java. In: Proc. 30th International Conference on Software Engineering (ICSE), pp. 221–230. ACM, New York (2008)
4. Lecture Notes in Computer Science;A. Farzan,2008
5. Lecture Notes in Computer Science;C. Flanagan,2004
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
2. Precise and efficient atomicity violation detection for interrupt-driven programs via staged path pruning;Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18
3. Sound Predictive Atomicity Violation Detection§;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12
4. Integration testing for robotic systems;Software Quality Journal;2020-11-18
5. Shooting from the heap: ultra-scalable static analysis with heap snapshots;Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis;2018-07-12