• Jakobs M and Wehrheim H. (2017). Programs from Proofs. ACM Transactions on Programming Languages and Systems. 39:2. (1-56). Online publication date: 30-Jun-2017.

    https://doi.org/10.1145/3014427

  • Bockisch C, van 't Riet M, Yin H, Aksit M, Lin Z, Chen Y and Zhao J. Trace-based debugging for advanced-dispatching programming languages. Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. (1-10).

    https://doi.org/10.1145/2843915.2843922

  • Lemos O and Masiero P. (2011). A pointcut-based coverage analysis approach for aspect-oriented programs. Information Sciences: an International Journal. 181:13. (2721-2746). Online publication date: 1-Jul-2011.

    https://doi.org/10.1016/j.ins.2010.06.003

  • Ferrari F, Burrows R, Lemos O, Garcia A, Figueiredo E, Cacho N, Lopes F, Temudo N, Silva L, Soares S, Rashid A, Masiero P, Batista T and Maldonado J. An exploratory study of fault-proneness in evolving aspect-oriented programs. Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1. (65-74).

    https://doi.org/10.1145/1806799.1806813

  • Shen H, Zhang S, Zhao J, Fang J and Yao S. XFindBugs. Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering. (70-76).

    https://doi.org/10.1145/1512475.1512490

  • Coelho R, Rashid A, von Staa A, Noble J, Kulesza U and Lucena C. A catalogue of bug patterns for exception handling in aspect-oriented programs. Proceedings of the 15th Conference on Pattern Languages of Programs. (1-13).

    https://doi.org/10.1145/1753196.1753224