[{"text":"\n\nThe AOSD-Europe project. http://aosd-europe.net/.\n\n"},{"text":"\n\nThe AspectOPTIMA aspect-oriented framework. http://www.cs.mcgill.ca/~joerg/SEL/AspectOPTIMA.html.\n\n"},{"text":"\n\nR. T. Alexander, J. M. Bieman, and A. A. Andrews. Towards the systematic testing of aspect-oriented programs. Technical Report CS-4-105, Department of Computer Science, Colorado State University, Fort Collins, Colorado, 2004.\n\n"},{"text":"\n\n\nPrasanth Anbalagan , Tao Xie, Automated Generation of Pointcut Mutants for Testing Pointcuts in AspectJ Programs, Proceedings of the 2008 19th International Symposium on Software Reliability Engineering, p.239-248, November 10-14, 2008   [doi>10.1109/ISSRE.2008.58]\n\n","citation":"1475430"},{"text":"\n\n\nJon S. Baekken , Roger T. Alexander, A Candidate Fault Model for AspectJ Pointcuts, Proceedings of the 17th International Symposium on Software Reliability Engineering, p.169-178, November 07-10, 2006   [doi>10.1109/ISSRE.2006.6]\n\n","citation":"1191233"},{"text":"\n\n\nAndré Baresel , Harmen Sthamer , Michael Schmidt, Fitness Function Design To Improve Evolutionary Structural Testing, Proceedings of the Genetic and Evolutionary Computation Conference, p.1329-1336, July 09-13, 2002 \n\n","citation":"2955736"},{"text":"\n\n\nAndré Baresel , Harmen Sthamer , Michael Schmidt, Fitness Function Design To Improve Evolutionary Structural Testing, Proceedings of the Genetic and Evolutionary Computation Conference, p.1329-1336, July 09-13, 2002 \n\n","citation":"2955736"},{"text":"\n\n\nRobert V. Binder, Testing object-oriented systems: models, patterns, and tools, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999 \n\n","citation":"338330"},{"text":"\n\n\nLionel C. Briand, A Critical Analysis of Empirical Research in Software Testing, Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, p.1-8, September 20-21, 2007   [doi>10.1109/ESEM.2007.8]\n\n","citation":"1302917"},{"text":"\n\nBritish Standards Institute. BS 7925-2 software component testing, 1998.\n\n"},{"text":"\n\n\nL. A. Clarke, A System to Generate Test Data and Symbolically Execute Programs, IEEE Transactions on Software Engineering, v.2 n.3, p.215-222, May 1976   [doi>10.1109/TSE.1976.233817]\n\n","citation":"1313532"},{"text":"\n\n\nBruno Dufour , Christopher Goard , Laurie Hendren , Oege de Moor , Ganesh Sittampalam , Clark Verbrugge, Measuring the dynamic behaviour of AspectJ programs, Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 24-28, 2004, Vancouver, BC, Canada   [doi>10.1145/1028976.1028990]\n\n","citation":"1028990","doi":"http://doi.acm.org/10.1145/1028976.1028990"},{"text":"\n\n\nFabiano Cutigi Ferrari , José Carlos Maldonado , Awais Rashid, Mutation Testing for Aspect-Oriented Programs, Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation, p.52-61, April 09-11, 2008   [doi>10.1109/ICST.2008.37]\n\n","citation":"1382066"},{"text":"\n\n\nPatrice Godefroid , Nils Klarlund , Koushik Sen, DART: directed automated random testing, Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, June 12-15, 2005, Chicago, IL, USA   [doi>10.1145/1065010.1065036]\n\n","citation":"1065036","doi":"http://doi.acm.org/10.1145/1065010.1065036"},{"text":"\n\nR. Hamlet. Random testing. In Encyclopedia of Software Engineering, pages 970--978. Wiley, 1994.\n\n"},{"text":"\n\n\nJan Hannemann , Gregor Kiczales, Design pattern implementation in Java and aspectJ, Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington, USA   [doi>10.1145/582419.582436]\n\n","citation":"582436","doi":"http://doi.acm.org/10.1145/582419.582436"},{"text":"\n\n\nMark Harman , Youssef Hassoun , Kiran Lakhotia , Phil McMinn , Joachim Wegener, The impact of input domain reduction on search-based test data generation, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, September 03-07, 2007, Dubrovnik, Croatia   [doi>10.1145/1287624.1287647]\n\n","citation":"1287647","doi":"http://doi.acm.org/10.1145/1287624.1287647"},{"text":"\n\n\nA. Baresel, Evolutionary Testing Supported by Slicing and Transformation, Proceedings of the International Conference on Software Maintenance (ICSM'02), p.285, October 03-06, 2002 \n\n","citation":"879735"},{"text":"\n\n\nMark Harman , Phil McMinn, A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation, Proceedings of the 2007 international symposium on Software testing and analysis, July 09-12, 2007, London, United Kingdom   [doi>10.1145/1273463.1273475]\n\n","citation":"1273475","doi":"http://doi.acm.org/10.1145/1273463.1273475"},{"text":"\n\n\nK. Inkumsah , Tao Xie, Improving Structural Testing of Object-Oriented Programs via Integrating Evolutionary Testing and Symbolic Execution, Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, p.297-306, September 15-19, 2008   [doi>10.1109/ASE.2008.40]\n\n","citation":"1642967"},{"text":"\n\n\nSarfraz Khurshid , Corina S. Păsăreanu , Willem Visser, Generalized symbolic execution for model checking and testing, Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems, April 07-11, 2003, Warsaw, Poland \n\n","citation":"1765924"},{"text":"\n\n\nGregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001 \n\n","citation":"680006"},{"text":"\n\nG. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proc. ECOOP, pages 220--242, 1997.\n\n"},{"text":"\n\n\nJames C. King, Symbolic execution and program testing, Communications of the ACM, v.19 n.7, p.385-394, July 1976   [doi>10.1145/360248.360252]\n\n","citation":"360252","doi":"http://doi.acm.org/10.1145/360248.360252"},{"text":"\n\n\nB. Korel, Automated Software Test Data Generation, IEEE Transactions on Software Engineering, v.16 n.8, p.870-879, August 1990   [doi>10.1109/32.57624]\n\n","citation":"101755"},{"text":"\n\n\nRamnivas Laddad, AspectJ in Action: Practical Aspect-Oriented Programming, Manning Publications Co., Greenwich, CT, 2003 \n\n","citation":"993468"},{"text":"\n\n\nKarl Lieberherr , Doug Orleans , Johan Ovlinger, Aspect-oriented programming with adaptive methods, Communications of the ACM, v.44 n.10, p.39-41, Oct. 2001   [doi>10.1145/383845.383855]\n\n","citation":"383855","doi":"http://doi.acm.org/10.1145/383845.383855"},{"text":"\n\n\nPhil McMinn, Search-based software test data generation: a survey: Research Articles, Software Testing, Verification & Reliability, v.14 n.2, p.105-156, June 2004   [doi>10.1002/stvr.v14:2]\n\n","citation":"1077279"},{"text":"\n\n\nPhil McMinn , Mark Harman , David Binkley , Paolo Tonella, The species per path approach to SearchBased test data generation, Proceedings of the 2006 international symposium on Software testing and analysis, July 17-20, 2006, Portland, Maine, USA   [doi>10.1145/1146238.1146241]\n\n","citation":"1146241","doi":"http://doi.acm.org/10.1145/1146238.1146241"},{"text":"\n\nNational Institute of Standards and Technology (NIST). The economic impacts of inadequate infrastructure for software testing, May 2002. Planning Report 02-3.\n\n"},{"text":"\n\nParasoft. Jtest manuals version 4.5. Online manual, April 2003. http://www.parasoft.com/.\n\n"},{"text":"\n\nR. Pargas, M. Harrold, and R. Peck. Test-data generation using genetic algorithms. Software Testing, Verification and Reliability, 9(4):263--282, 1999.\n\n"},{"text":"\n\nRadio Technical Commission for Aeronautics. RTCA DO178-B Software considerations in airborne systems and equipment certification, 1992.\n\n"},{"text":"\n\n\nVenkatesh Prasad Ranganath , Torben Amtoft , Anindya Banerjee , John Hatcliff , Matthew B. Dwyer, A new foundation for control dependence and slicing for modern program structures, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.5, p.27-es, August 2007   [doi>10.1145/1275497.1275502]\n\n","citation":"1275502","doi":"http://doi.acm.org/10.1145/1275497.1275502"},{"text":"\n\n\nMartin Rinard , Alexandru Salcianu , Suhabe Bugrara, A classification system and analysis for aspect-oriented programs, Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering, October 31-November 06, 2004, Newport Beach, CA, USA   [doi>10.1145/1029894.1029917]\n\n","citation":"1029917","doi":"http://doi.acm.org/10.1145/1029894.1029917"},{"text":"\n\n\nPeri Tarr , Harold Ossher , William Harrison , Stanley M. Sutton, Jr., N degrees of separation: multi-dimensional separation of concerns, Proceedings of the 21st international conference on Software engineering, p.107-119, May 16-22, 1999, Los Angeles, California, USA   [doi>10.1145/302405.302457]\n\n","citation":"302457","doi":"http://doi.acm.org/10.1145/302405.302457"},{"text":"\n\n\nPaolo Tonella, Evolutionary testing of classes, Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, July 11-14, 2004, Boston, Massachusetts, USA   [doi>10.1145/1007512.1007528]\n\n","citation":"1007528","doi":"http://doi.acm.org/10.1145/1007512.1007528"},{"text":"\n\n\nNigel Tracey , John Clark , Keith Mander, Automated program flaw finding using simulated annealing, Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis, p.73-81, March 02-04, 1998, Clearwater Beach, Florida, USA   [doi>10.1145/271771.271792]\n\n","citation":"271792","doi":"http://doi.acm.org/10.1145/271771.271792"},{"text":"\n\nR. Vallée-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot -- a Java optimization framework. In Proc. CASCON, pages 125--135, 1999.\n\n"},{"text":"\n\nS. Wappler. Automatic generation of object-oriented unit tests using genetic programming. PhD thesis, Technical University of Berlin, 2008.\n\n"},{"text":"\n\nJ. Wegener, A. Baresel, and H. Sthamer. Evolutionary test environment for automatic structural testing. Information and Software Technology, 43(14):841--854, 2001.\n\n"},{"text":"\n\n\nMark Weiser, Program slicing, Proceedings of the 5th international conference on Software engineering, p.439-449, March 09-12, 1981, San Diego, California, USA \n\n","citation":"802557"},{"text":"\n\n\nTao Xie , Jianjun Zhao, A framework and tool supports for generating test inputs of AspectJ programs, Proceedings of the 5th international conference on Aspect-oriented software development, March 20-24, 2006, Bonn, Germany   [doi>10.1145/1119655.1119681]\n\n","citation":"1119681","doi":"http://doi.acm.org/10.1145/1119655.1119681"},{"text":"\n\nT. Xie, J. Zhao, D. Marinov, and D. Notkin. Automated test generation for AspectJ program. In Proc. WTAOP, 2005.\n\n"},{"text":"\n\n\nTao Xie , Jianjun Zhao , Darko Marinov , David Notkin, Detecting Redundant Unit Tests for AspectJ Programs, Proceedings of the 17th International Symposium on Software Reliability Engineering, p.179-190, November 07-10, 2006   [doi>10.1109/ISSRE.2006.21]\n\n","citation":"1191234"},{"text":"\n\n\nDianxiang Xu , Weifeng Xu, State-based incremental testing of aspect-oriented programs, Proceedings of the 5th international conference on Aspect-oriented software development, March 20-24, 2006, Bonn, Germany   [doi>10.1145/1119655.1119680]\n\n","citation":"1119680","doi":"http://doi.acm.org/10.1145/1119655.1119680"},{"text":"\n\nD. Xu, W. Xu, and K. Nygard. A state-based approach to testing aspect-oriented programs. In Proc. SEKE, pages 366--371, 2005.\n\n"},{"text":"\n\n\nGuoqing Xu , Atanas Rountev, Regression Test Selection for AspectJ Software, Proceedings of the 29th international conference on Software Engineering, p.65-74, May 20-26, 2007   [doi>10.1109/ICSE.2007.72]\n\n","citation":"1248840"},{"text":"\n\n\nJianjun Zhao, Data-Flow-Based Unit Testing of Aspect-Oriented Programs, Proceedings of the 27th Annual International Conference on Computer Software and Applications, p.188, November 03-06, 2003 \n\n","citation":"950862"}]