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