AOP Testing and Verification Researchers
[Feedback]

      Testing Frameworks
      Hidehiko Masuhara (U. Tokyo, Japan) AJTE (AspectJ Testing Environment) (download) 
       AJTest (download)
      Cristina Videira Lopes (UC Irvine)  JamlUnit: An Unit Testing Framework for JAML 
      Russ Miles (General Dynamics, UK) aUnit: Unit Testing for Cross-Cutting Concerns

      Coverage Criteria/Fault Models
      Jianjun Zhao (Shanghai Jiaotong U., China) Afanti: Analysis and Testing of Aspect-Oriented Software 
      Roger T. Alexander and Anneliese Andrews (Washington State U.) Fault models and test adequacy
      Filippo Ricca and Paolo Tonella (ITC-IRST, Italy) AOP Test Coverage 
      Otavio Lemos and Paulo Cesar Masiero (U. Sao Paulo, Brazil) JaBUTi/AJ  Data Flow Integration Testing Criteria

      Test Generation
      Tao Xie (North Carolina State U.) Tarim: Testing Aspect-Oriented Programs 
      Arie van Deursen and Leon Moonen (Delft U. of Technology, Netherlands)  Systematic Aspect-Oriented Refactoring and Testing Strategy
       Sarah Lim Choi Keung (Lancaster U., UK) A Methodology and Tool for Testing Aspect-Oriented Implementations 
      Inkeri Verkamo (U. Helsinki, Finland)  ASTA - Aspect Software Testing Assistant

      Test Selection
      Debra J. Richardson and Yuewei Zhou (UC Irvine) Test Selection for AOP based on Structural Coverage
      Amie L. Souter (Drexel U.) Testing with Respect to Concerns based on Structural Coverage 
      Tao Xie (North Carolina State U.) Test Selection for AOP based on Aspect-State Coverage

      Specification-Based/Model-Based Testing
      Jianjun Zhao (Shanghai Jiaotong U., China) Pipa- Specifications for AOP
      Dianxiang Xu (North Dakota State U.) Aspect-Oriented Software: Modeling, Verification, and Testing 
      Yuewei Zhou (UC Irvine)  Specification-based Test Selection 
      Xiaoguang Mao and John May (University of Bristol, UK) A Framework of Integration Testing Using AspectJ


      Using AOP in Testing or Debugging
      Hridesh Rajan (Iowa State U.) and (U. Virginia) Kevin Sullivan  Eos: aspect-oriented extension for C# (download)  AspectCov (download)
      Shigeru Chiba (Tokyo Institute of Technology) Bugdel: : An Aspect-Oriented Debugging System (download) 
      Stephan Herrmann (Technische U. Berlin, German) Aspects for Testing Aspects
      Dehla Sokenou (Technische U. Berlin, German) Aspects for Testing Aspects
      John Stamey (Coastal Carolina U.) Aspect-Oriented Debugging 
      Guoqing Xu (Ohio State U.) and Zhongyuan Yang (East China Normal U.) JAOUT: Automated Generation of Aspect-Oriented Unit Test 
      Daniel Hughes (Lancaster U., UK) Aspect Testing Framework
      Matthias Vösgen (Technische U. Berlin) FlexTest: An Aspect-Oriented Framework for Unit Testing  The Flextest framework (download)  Examples for the Flextest framework 
      Volker Stolz (WTH Aachen U., German)  Temporal Assertions using AspectJ  JLO (download) 
      Thomas Gschwind (IBM) Improving Dynamic Data Analysis with Aspect-Oriented Programming 
      Ana Moreira (U. Nova de Lisboa, Portugal) Using Aspects to Develop Built-In Tests for Components 
      GrammaTech, Inc An Aspect-Oriented Unit Testing Solution
      Eric Bodden, Laurie Hendren (McGill U.) and Patrick Lam (U. Waterloo): Tracematches used to detect data races

      Verification and Analysis
      Shmuel Katz (Technion, Israel) A Survey of Verification and Static Analysis for Aspects Model checking aspects  Diagnosis of Harmful Aspects Using Regression Verification
      Martin Rinard (MIT) A Classification System and Analysis for Aspect-Oriented Programs  Crosscutting Techniques in Program Specification and Analysis  
      Kathi Fisler (Worcester Polytechnic Institute) and Shriram Krishnamurthi (Brown U.): Aspect-Oriented Verification  
      Tetsuo Tamai (U. Tokyo)  Model checking aspects  Aspect-Oriented Programming with Model Checking 
      Tzilla Elrad (Illinois Institute of Technology) Specification-based Aspect Verification
      Maximilian Störzer (U. Passau, German)  Analysis of Aspect Oriented Programs (AOPA)   http://www.infosun.fmi.uni-passau.de/st/papers/gi_aosd03/gi03aop_problems.pdf
      Awais Rashid (Lancaster U., UK) AOP Verification   Modular Aspect Verification for Safer Aspect-Based Evolution
      H.- Arno Jacobsen (U. Toronto, Canada) Aspect Refactoring Verifier 
      Giovanni Denaro (Politecnico di Milano, Italy) An Experience on Verification of Aspect Properties     
      Zhe Dang (Washington State U.) AOP Verification

      Other links
      abc: The AspectBench Compiler for AspectJ
      ApsectJ Benchmarks
      AspectJ examples 
      Eclipse AspectJ project 
      AOP and Software Product Lines
      AOSD.net   AOSD Wiki   Early-Aspects.net Group  AOAsia    Transactions on AOSD Journal
      AOSD 2005 Workshop on Testing Aspect-Oriented Programs  
      ECOOP 2003 Workshop on Analysis of Aspect-Oriented Software
      AOP@Work: Unit test your aspects  
      Testing AOP survey slides
      AOSD links 

      Software Testing Researchers