Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Signal Processing
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Emerging Aspects of Software Fault Localization;Handbook of Software Fault Localization;2023-04-20
2. ASIF: An Internal Representation Suitable for Program Transformation and Parallel Conversion;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2021
3. An Analytical Evaluation of Data Dependence Analysis Techniques;International Journal of Parallel Programming;2018-05-18
4. Memory Partitioning in the Limit;International Journal of Parallel Programming;2015-10-26
5. Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging;IEEE Transactions on Software Engineering;2011-01