The 2nd ASTReNet Workshop
The 2nd ASTReNet Workshop was held on 6th and 7th June 2005 in London, UK at Goodenough College. 37 people attended the workshop.
Attendee (37)
Kostas Adamopoulos King's College LondonDavid Binkley Loyola College
Haider Bilal London South Bank University
Sue Black London South Bank University
Paul Boca Celoxica limited
Len Bottaci Hull University
Jonathan Bowen London South Bank University
Mariano Ceccato ITC-irst, Trento, Italy
Steve Counsell Brunel University
Sebastian Danicic Goldsmiths College
Karnig Derderian Brunel University
Rani Ettinger University of Oxford
Deji Fatiregun King's College London
Nicolas Gold King's College London
Qiang (Larry) Guo Brunel University
Tracy Hall Herfordshire University
Mark Harman King's College London
Rob Hierons Brunel University
Lin Hu King's College London
Derek Jones Knowledge Software Limited
Paul Kelly Imperial College London
Bogdan Korel Illinois Institute of Technology
Shaoyun Li DeMontfort University
Zheng Li King's College London
Kiarash Mahdavi King's College London
Phil McMinn Sheffield University
Lahcen Ouarbya Goldsmiths College
David Willmor University of Manchester
Jeremy Singer University of Manchester
Simon Thompson University of Kent
Tom Tourwe CWI, Amsterdam
Neil Walkinshaw Strathclyde University
Stefan Wappler DaimlerChrysler, Berlin
Yongyan Zheng Surrey University
Claudio Ochoa Technical University of Madrid
David Clark King's College London
Jamie Gabbay King's College London
Programme
Monday 6th June
- 09.00 Coffee/tea welcome
- 10.00 Mark Harman: Introduction to the workshop
- 10.15 Keynote:Bogdan Korel, Automated Test Data Generation
- 11.00 Questions and Discussion
- 11.30 Coffee/tea
- 12.00 Phil McMinn: Evolutionary Testing and the Chaining Approach
- 12.15 Stefan Wappler: Evolutionary Testing
- 12.30 Discussion
- 13.00 Lunch : finger buffet
- 14.00 Derek Jones: It's the brain stupid: The reason why the mathematical approach always fails | "The New C Standard" |
- 14.15 Brief Discussion: Human factors in ASTRe
- 14.30 Mariano Ceccato: Transformation from Objects to Aspects
- 14.45 Tom Tourwe: Verifying explicit error handling in C code
- 15.00 Discussion: Aspectization
- 15.30 Coffee/tea
- 16.00 Simon Thompson: Designing and implementing a refactoring tool for an existing functional programming language: Haskell
- 16.30 Claudio Ochoa: Dynamic slicing based on redex trails | "Dynamic Slicing Based on Redex Trails" | "A Lightweight Approach to Program Specialization" |
- 17.00 Discussion : ASTRe for Declarative languages
- 17.30 Mark Harman: Dependence Clusters and Dependence Pollution
- 17.45 Brief Discussion
- 18.00 Anticipated close (but discussions may go on ... )
- 19.30 Dinner: At Goodenough College
- This is a "loop dinner" (plus drinks). That is, you serve yourself canteen style in the dining hall of the college but there will be red and white wine available on a table reserved for the ASTReNet group. After dinner there is a bar available for those who want to carry on discussions. The cost of dinner is complimentary with registration but for the bar you are on your own
Tuesday 7th June
- 09.00 Coffee/tea
- 10.00 Phil McMinn: Testability Transformation for nested predicates
- 10.15 Mark Harman: Open problems in Testability Transformation
- 10.30 Working session on ASTRe for testing.
- 11.30 Coffee/tea
- 12.00 David Willmor: Testing data base systems
- 12.15 Discussion ASTRe for data bases
- 12.30 lunch: Another finger buffet
- 13.30 Nicolas Gold/ Zheng Li/ Kiarash Mahdavi: Concept Assignment and slicing
- 14.00 Working session on combination of ASTRe techniques
- 15.00 Coffee/tea
- 15.30 Steve Counsell: Metrics for measuring coupling and cohesion - current research issues
- 15.45 Haider Bilal: Computing ripple effect for OO source code
- 16.00 Tracy Hall: Using Program Slicing Metrics to Predict Software Maintainability
- 16.15 Working session on ASTRe for Metrics
- 17.30 Closing remarks