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
Maintained
by 