SLIDE 1
Mark Harman Mootation COW
Mutation
Monday, 31 January 2011
Mark Harman Mootation COW
Motation
Monday, 31 January 2011
Mutation Mark Harman Mootation COW Monday, 31 January 2011 - - PowerPoint PPT Presentation
Mutation Mark Harman Mootation COW Monday, 31 January 2011 - - PowerPoint PPT Presentation
Mutation Mark Harman Mootation COW Monday, 31 January 2011 Motation Mark Harman Mootation COW Monday, 31 January 2011 Mootation Mark Harman Mootation COW Monday, 31 January 2011 Mootation COW Mark Harman Mootation COW Monday, 31
SLIDE 2
SLIDE 3
Mark Harman Mootation COW
Mootation
Monday, 31 January 2011
SLIDE 4
Mark Harman Mootation COW
Mootation COW
Monday, 31 January 2011
SLIDE 5
Mark Harman Mootation COW
Mootation COW CREST Open Workshop
Monday, 31 January 2011
SLIDE 6
Mark Harman Mootation COW
Mootation COW
Monday, 31 January 2011
SLIDE 7
Mark Harman Mootation COW
CREST
Centre for Research on Evolution Search and Testing Est. 2006
Monday, 31 January 2011
SLIDE 8
Mark Harman Mootation COW
1 admin
CREST
Centre for Research on Evolution Search and Testing Est. 2006
Monday, 31 January 2011
SLIDE 9
Mark Harman Mootation COW
1 admin 4 faculty
CREST
Centre for Research on Evolution Search and Testing Est. 2006
Monday, 31 January 2011
SLIDE 10
Mark Harman Mootation COW
1 admin 4 faculty 8 post docs
CREST
Centre for Research on Evolution Search and Testing Est. 2006
Monday, 31 January 2011
SLIDE 11
Mark Harman Mootation COW
1 admin 4 faculty 8 post docs 11 PhD students
CREST
Centre for Research on Evolution Search and Testing Est. 2006
Monday, 31 January 2011
SLIDE 12
Mark Harman Mootation COW
1 admin 4 faculty 8 post docs 11 PhD students 1-4 resident visiting scholars
CREST
Centre for Research on Evolution Search and Testing Est. 2006
Monday, 31 January 2011
SLIDE 13
Mark Harman Mootation COW
Research
Monday, 31 January 2011
SLIDE 14
Mark Harman Mootation COW
Research
Search Based Software Engineering Service Oriented Computing
Testing
Quantitative Information Flow Requirement Engineering Dependence Analysis Clone Detection Digital Humanities
Monday, 31 January 2011
SLIDE 15
Mark Harman Mootation COW
Research
Search Based Software Engineering Service Oriented Computing
Mutation Testing
Quantitative Information Flow Requirement Engineering Dependence Analysis Clone Detection Digital Humanities
Monday, 31 January 2011
SLIDE 16
Mark Harman Mootation COW
Funding
Monday, 31 January 2011
SLIDE 17
Mark Harman Mootation COW
Monday, 31 January 2011
SLIDE 18
Mark Harman Mootation COW
Monday, 31 January 2011
SLIDE 19
Mark Harman Mootation COW
King’s College London
Monday, 31 January 2011
SLIDE 20
Mark Harman Mootation COW
University College London
Monday, 31 January 2011
SLIDE 21
Mark Harman Mootation COW
University College London 20 mins walk
Monday, 31 January 2011
SLIDE 22
Mark Harman Mootation COW
University College London 20 mins walk
National Gallery Nelson’s Column Eros RoyalCourts
- f Justice
- St. Paul’s
Tate Modern Globe Theatre Covent Garden Market Westminster Abbey House of Parliament London Eye British Museum Madame Tussaud’s Sherlock Holmes Museum Marble Arch
Monday, 31 January 2011
SLIDE 23
Mark Harman Mootation COW
Search Based Software Engineering
Ap
Monday, 31 January 2011
SLIDE 24
Mark Harman Mootation COW
Search Based Software Engineering
Monday, 31 January 2011
SLIDE 25
Mark Harman Mootation COW
Testing, Testing, Testing
Monday, 31 January 2011
SLIDE 26
Mark Harman Mootation COW
Testing, Testing, Testing
A
Mutation testing Model based testing Automated test data generation Web application testing Service oriented testing Fuzz testing Security testing
Monday, 31 January 2011
SLIDE 27
Mark Harman Mootation COW
Testing, Testing, Testing
A
Mutation testing Model based testing Automated test data generation Web application testing Service oriented testing Fuzz testing Security testing
Monday, 31 January 2011
SLIDE 28
Mark Harman Mootation COW
Dependence Analysis
All kinds of testing:- – Mutation testing – Model based testing – Automated test data generation – Web application testing – Service oriented testing – Fuzz testing – Security testing – Regression testing
Monday, 31 January 2011
SLIDE 29
Mark Harman Mootation COW
Quantitative Information Flow
Monday, 31 January 2011
SLIDE 30
Mark Harman Mootation COW
Information Flow Control
Monday, 31 January 2011
SLIDE 31
Mark Harman Mootation COW
Clone Detection
Monday, 31 January 2011
SLIDE 32
Mark Harman Mootation COW
Digital Humanities
Monday, 31 January 2011
SLIDE 33
Mark Harman Mootation COW
SBSE Repository
Monday, 31 January 2011
SLIDE 34
Mark Harman Mootation COW
GP Bibliography
Monday, 31 January 2011
SLIDE 35
Mark Harman Mootation COW
Mutation Testing Repository
Monday, 31 January 2011
SLIDE 36
Mark Harman Mootation COW
Mutation Testing Repository
Monday, 31 January 2011
SLIDE 37
Mark Harman Mootation COW
COWs
CREST Open Workshop Typically last week of the month Aim for last Wednesday (where rooms available) Discussion based Recorded and archived
Monday, 31 January 2011
SLIDE 38
Mark Harman Mootation COW
COWs
CREST Open Workshop Typically last week of the month Aim for last Wednesday (where rooms available) Discussion based Recorded and archived
Monday, 31 January 2011
SLIDE 39
Mark Harman Mootation COW
COWs
CREST Open Workshop Typically last week of the month Aim for last Wednesday (where rooms available) Discussion based Recorded and archived
Monday, 31 January 2011
SLIDE 40
Mark Harman Mootation COW
Previous COWs
Monday, 31 January 2011
SLIDE 41
Mark Harman Mootation COW
Previous COWs
Nov 09: Search Based Software Engineering Dec 09: Software Testing Jan 10: Using Static Analysis for Fault Prediction Feb 10: Operational Research for Software Engineering Methods Mar 10: Information Theory for Search Based software Engineering Apr 10: Dependence Analysis and Slicing for Programs and Models May 10: Information Flow and Security
Monday, 31 January 2011
SLIDE 42
Mark Harman Mootation COW
Upcoming COWs
9th CREST Open Workshop Code Provenance and Clone Detection Date: Tue 23 Nov, 2010 Venue: Lethaby Room, Mary Ward House 10th CREST Open Workshop Program Analysis and Slicing Date: 24 - 25 Jan, 2011 Venue: William Goodenough Room, Goodenough Club 11th CREST Open Workshop SBSE for Early Lifecyle Software Engineering: Requirements and Management Date: Wed 23 Feb, 2011 Venue: Engineering Front Executive Suite, Roberts Building
Monday, 31 January 2011
SLIDE 43
Mark Harman Mootation COW
Upcoming COWs
9th CREST Open Workshop Code Provenance and Clone Detection Date: Tue 23 Nov, 2010 Venue: Lethaby Room, Mary Ward House 10th CREST Open Workshop Program Analysis and Slicing Date: 24 - 25 Jan, 2011 Venue: William Goodenough Room, Goodenough Club 11th CREST Open Workshop SBSE for Early Lifecyle Software Engineering: Requirements and Management Date: Wed 23 Feb, 2011 Venue: Engineering Front Executive Suite, Roberts Building
Monday, 31 January 2011
SLIDE 44
Mark Harman Mootation COW
Upcoming COWs
9th CREST Open Workshop Code Provenance and Clone Detection Date: Tue 23 Nov, 2010 Venue: Lethaby Room, Mary Ward House 10th CREST Open Workshop Program Analysis and Slicing Date: 24 - 25 Jan, 2011 Venue: William Goodenough Room, Goodenough Club 11th CREST Open Workshop SBSE for Early Lifecyle Software Engineering: Requirements and Management Date: Wed 23 Feb, 2011 Venue: Engineering Front Executive Suite, Roberts Building
Monday, 31 January 2011
SLIDE 45
Mark Harman Mootation COW
Upcoming COWs
9th CREST Open Workshop Code Provenance and Clone Detection Date: Tue 23 Nov, 2010 Venue: Lethaby Room, Mary Ward House 10th CREST Open Workshop Program Analysis and Slicing Date: 24 - 25 Jan, 2011 Venue: William Goodenough Room, Goodenough Club 11th CREST Open Workshop SBSE for Early Lifecyle Software Engineering: Requirements and Management Date: Wed 23 Feb, 2011 Venue: Engineering Front Executive Suite, Roberts Building
Monday, 31 January 2011
SLIDE 46
Mark Harman Mootation COW
Thanks
Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers
Monday, 31 January 2011
SLIDE 47
Mark Harman Mootation COW
Thanks
Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers
Monday, 31 January 2011
SLIDE 48
Mark Harman Mootation COW
Thanks
Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers
Monday, 31 January 2011
SLIDE 49
Mark Harman Mootation COW
Thanks
Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers
Monday, 31 January 2011
SLIDE 50
Mark Harman Mootation COW
Thanks
Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers
Monday, 31 January 2011
SLIDE 51
Mark Harman Mootation COW
Thanks
Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers
Monday, 31 January 2011
SLIDE 52
Mark Harman Mootation COW
Domestics
Fire or other alarm Toilets Discussions
Monday, 31 January 2011
SLIDE 53
Mark Harman Mootation COW
Domestics
Fire or other alarm Toilets Discussions
Monday, 31 January 2011
SLIDE 54
Mark Harman Mootation COW
Introductions ...
Monday, 31 January 2011