[1] |
SINHA S , HARROLD M J . Analysis and testing of programs with exception-handling constructs[J]. IEEE Transactions on Software Engineering, 2000,26(9): 849-871.
|
[2] |
JIANG S J , XU B W , SHI L . An approach to analysis exception propagation[A]. Proceedings of the 8th IASTED International Conference on Software Engineering and Applications[C]. Anaheim,USA, 2004. 300-305.
|
[3] |
ROBILLARD M P , MURPHY G C . Static analysis to support the evolution of exception structure in object-oriented systems[J]. ACM Transactions on Software Engineering and Methodology, 2003,12(2): 191-221.
|
[4] |
HOVEMEYER D , SPACCO J , PUGH W . Evaluating and tuning a static analysis to find null pointer bugs[A]. ACM Transactions on Software Engineering and Methodology, 2005. 13-19.
|
[5] |
EVANS D . Static detection of dynamic memory errors[A]. Proceedings of the ACM SIGPLAN Conference on Programming Languages,Design,and Implementation[C]. Pennsylvania,USA, 1996. 44-53.
|
[6] |
FLANAGAN C , LEINO K R M , LILLIBRIDGE M , et al. Extended static checking for Java[A]. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation[C]. Berlin,Germany, 2002. 234-245.
|
[7] |
BUSH W R , PINCUS J D , SIELAFF D J . A static analyzer for finding dynamic programming errors[J]. Software:Practice and Experience, 2000,30(7): 775-802.
|
[8] |
ROUNTEV A , KAGAN S , GIBAS M . Evaluating the imprecision of static analysis[A]. Proceedings of the 5th ACM SIGPLAN- SIGSOFT Workshop on Program Analysis for Software Tools and Engineering[C]. Washington,DC,USA, 2004. 14-16.
|
[9] |
HANGAL S , LAM M S . Tracking down software bugs using automatic anomaly detection[A]. Proceedings of the International Conference on Software Engineering[C]. Orlando,Florida,USA, 2002. 291-301.
|
[10] |
TOMB A , BRAT G P , VISSER W . Variably interprocedural program analysis for runtime error detection[A]. Proceedings of the International Symposium on Software Testing and Analysis[C]. London,England,United Kingdom, 2007. 97-107.
|
[11] |
SINHA S , SHAH H , GORG C , et al. Fault localization and repair for Java runtime exceptions[A]. Proceedings of the International Symposium on Software Testing and Analysis[C]. Chicago,Illinois,USA, 2009. 153-164.
|
[12] |
WEISER M . Program slicing[J]. IEEE Transactions on Software Engineering, 1984,10(4): 352-357.
|
[13] |
KOREL B , LASKI J . Dynamic program slicing[J]. Information Processing Letters, 1988,29(3): 155-163.
|
[14] |
姜淑娟, 徐宝文, 史亮 . 一种基于异常传播分析的数据流分析方法[J]. 软件学报, 2007,18(1):74-84. JIANG S J , XU B W , SHI L . An approach of data-flow analysis based on exception propagation analysis[J]. Journal of Software, 2007,18(1):74-84.
|
[15] |
姜淑娟, 徐宝文, 史亮 等. 一种基于异常传播分析的依赖性分析方法[J]. 软件学报, 2007,18(4):832-841. JIANG S J , XU B W , SHI L , et al. An approach to analyzing dependence based on exception propagation analysis[J]. Journal of Software, 2007,18(4):832-841.
|
[16] |
JIANG S J , ZHANG H C , WANG Q T , et al. A debugging approach for Java runtime exception based on program slicing and stack traces[A]. Proceedings of the 10th International Conference on Quality Software[C]. Zhangjiajie,China, 2010. 393-398.
|
[17] |
VALLéE-RAI R , LAM P , VERBRUGGE C , et al. Soot(postersession):a Java byte code optimization and annotation framework[A]. Proceedings of the 15th ACM SIGPLAN Conference on Object-oriented Programming,Systems,Languages,and Applications[C]. Minneapolis,Minnesota,USA, 2000. 113-114.
|
[18] |
NANDA M G , SINHA S . Accurate inter-procedural null-dereference analysis for Java[A]. Proceedings of the 31st International Conference on Software Engineering[C]. Vancouver,Canada, 2009. 133-143.
|
[19] |
XIE Y , ENGLER D R . Using redundancies to find errors[A]. Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering[C]. Charleston,SC,USA, 2002. 51-60.
|
[20] |
BAAH G K , PODGURSKI A , HARROLD M J . The probabilistic program dependence graph and its application to fault diagnosis[J]. IEEE Transactions on Software Engineering, 2010,36(4): 528-545.
|
[21] |
ZHANG X Y , GUPTA N , GUPTA R . Pruning dynamic slices with confidence[A]. Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation[C]. Ottawa,Ontario,Canada, 2006. 169-180.
|
[22] |
GUPTA R , SOFFA M L . Hybrid slicing:an approach for refining static slices using dynamic information[A]. Proceedings of the 3rd ACM SIGSOFT Symposium on Foundations of Software Engineering[C]. Washington,DC,USA, 1995. 29-40.
|
[23] |
RENIERIS M , REISS S P . Fault localization with nearest neighbor queries[A]. Proceedings of the 18th IEEE/ACM International Conference on Automated Software Engineering[C]. Montreal,Canada, 2003. 30-39.
|
[24] |
JONES J A , HARROLD M J . Empirical evaluation of the Tarantula automatic fault localization technique[A]. Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering[C]. Long Beach,CA,USA, 2005. 273-282.
|
[25] |
JONES J A , HARROLD M J , STASKO J . Visualization of test information to assist fault localization[A]. Proceedings of the 24th International Conference on Software Engineering[C]. Orlando,Florida, 2002. 467-477.
|
[26] |
SANTELICES R , JONES J A , YU Y B , et al. Lightweight fault-localization using multiple coverage types[A]. Proceedings of the 31st International Conference on Software Engineering[C]. Vancouver,Canada, 2009. 56-66.
|
[27] |
徐宝文, 聂长海, 史亮 等. 一种基于组合测试的软件故障调试方法[J]. 计算机学报, 2006,29(1):132-138. XU B W , NIE C H , SHI L , et al. A software failure debugging method based on combinatorial design approach for testing[J]. Chinese Journal of Computers, 2006,29(1):132-138.
|