SENSA: Sensitivity analysis for quantitative change-impact prediction H Cai, S Jiang, R Santelices, YJ Zhang, Y Zhang 2014 IEEE 14th International Working Conference on Source Code Analysis and …, 2014 | 26 | 2014 |
Quantitative program slicing: separating statements by relevance R Santelices, Y Zhang, S Jiang, H Cai, Y Zhang Proceedings of the 2013 International Conference on Software Engineering …, 2013 | 26 | 2013 |
DUA-Forensics: a fine-grained dependence analysis and instrumentation framework based on Soot R Santelices, Y Zhang, H Cai, S Jiang Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the …, 2013 | 25 | 2013 |
Prioritized static slicing and its application to fault localization Y Zhang, R Santelices Journal of Systems and Software 114, 38-53, 2016 | 18 | 2016 |
Formal Verification of Optimizing Compilers Y Zhang, LD Zuck International Conference on Distributed Computing and Internet Technology, 50-65, 2018 | 5 | 2018 |
Predicting data dependences for slice inspection prioritization Y Zhang, R Santelices 2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012 | 5 | 2012 |
Change-effects analysis for evolving software R Santelices, Y Zhang, H Cai, S Jiang Advances in Computers 93, 227-285, 2014 | 3 | 2014 |
Advanced Dependence Analysis for Software Testing, Debugging, and Evolution R Santelices, H Cai, S Jiang, Y Zhang | | |