ASTReNet
Analysis, Slicing and Transformation Research Network
The aim of the network is to hold workshops and related events which draw together the community of researchers working on source code analysis techniques in general and those working on slicing and transformation in particular.
The funding from EPSRC means that workshops are offered with no charge to the participants. Each workshop has a theme, but this is interpreted loosely and certainly is not permitted to allow exclusion of talks and content which might be interesting. The workshops are technically focused events which allow for presentation of new ideas and discussion.
The workshops also facilitate collaboration and the network itself aims to provide a springboard to support small and large scale collaborations between ASTReNet members. The membership criterion is simple: those who attend any ASTReNet meeting automatically become members.
ASTReNet meetings are open to all, but numbers are limited and so a first-come first served principle applies. The meetings will be announced to existing members in the first instance, and subsequently they are advertised to the wider research and practitioner community.
ASTReNet started in November 2004 and is managed by Mark Harman, King's College London.
Topics
Topics of interest for workshop include, but are not limited to
- Slicing
- Transformation
- Testing techniques
- Analysis techniques to support, inform, augment or improve testing
- Metrics to support or evaluate source code analysis and testing
- Model checking
- Formal and Semi-formal verification techniques