Author:
Jiang Caoqing,Ying Shi,Hu Shanming,Guan Hua
Publisher
Springer International Publishing
Reference7 articles.
1. Sinha, S., & Harrold, M. J. (2000). Analysis and testing of programs with exception-handling constructs. IEEE Transactions on Software Engineering, 26(9), 849–871.
2. Jo, J. W., & Chang, B. M. (2004). Constructing control flow graph for java by decoupling exception flow from normal flow. In International Conference on Computable Science and Its Applications (pp. 106–113). Heidelberg: Springer.
3. Amighi, A., de Gomes, P. C., Gurov, D., & Huisman, M. (2012). Sound control-flow graph extraction for Java programs with exceptions. In Software Engineering and Formal Methods (pp. 33–47). Heidelberg: Springer.
4. Prabhu, P., Maeda, N., Balakrishnan, G., Ivančić, F., & Gupta, A. (2011). Interprocedural exception analysis for C++. In ECOOP 2011 (pp. 583–608). Heidelberg: Springer.
5. Demange, D., Jensen, T., & Pichardie, D. (2009). A provably correct stackless intermediate representation for Java bytecode (Research Report 7021). INRIA.