SLIDE 1
David Clark Secure COW
CREST Open Workshop: Security and Code
6 April 2011
Friday, 8 April 2011
David Clark Secure COW
Centre for Research on Evolution Search and Testing Est. 2006
!"#"$"%"&
Friday, 8 April 2011
CREST Open Workshop: Security and Code 6 April 2011 David Clark - - PowerPoint PPT Presentation
CREST Open Workshop: Security and Code 6 April 2011 David Clark - - PowerPoint PPT Presentation
CREST Open Workshop: Security and Code 6 April 2011 David Clark Secure COW Friday, 8 April 2011 Centre for Research on Evolution Search and Testing Est. 2006 !"#"$"%"& David Clark Secure COW Friday, 8 April 2011
SLIDE 2
SLIDE 3
David Clark Secure COW
1 admin
Centre for Research on Evolution Search and Testing Est. 2006
!"#"$"%"&
Friday, 8 April 2011
SLIDE 4
David Clark Secure COW
1 admin 4 faculty
Centre for Research on Evolution Search and Testing Est. 2006
!"#"$"%"&
Friday, 8 April 2011
SLIDE 5
David Clark Secure COW
1 admin 4 faculty 8 post docs
Centre for Research on Evolution Search and Testing Est. 2006
!"#"$"%"&
Friday, 8 April 2011
SLIDE 6
David Clark Secure COW
1 admin 4 faculty 8 post docs 11 PhD students
Centre for Research on Evolution Search and Testing Est. 2006
!"#"$"%"&
Friday, 8 April 2011
SLIDE 7
David Clark Secure COW
1 admin 4 faculty 8 post docs 11 PhD students 1-4 resident visiting scholars
Centre for Research on Evolution Search and Testing Est. 2006
!"#"$"%"&
Friday, 8 April 2011
SLIDE 8
David Clark Secure COW
Research
Friday, 8 April 2011
SLIDE 9
David Clark Secure COW
Research
Search Based Software Engineering Service Oriented Computing Testing Quantitative Information Flow Requirement Engineering Dependence Analysis Clone Detection Digital Humanities Slicing Malware detection
Friday, 8 April 2011
SLIDE 10
David Clark Secure COW
Funding
Friday, 8 April 2011
SLIDE 11
David Clark Secure COW
Friday, 8 April 2011
SLIDE 12
David Clark Secure COW
University College London
Friday, 8 April 2011
SLIDE 13
David Clark Secure COW
University College London 20 mins walk
Friday, 8 April 2011
SLIDE 14
David Clark Secure 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
Friday, 8 April 2011
SLIDE 15
David Clark Secure COW
Search Based Software Engineering
Ap
Friday, 8 April 2011
SLIDE 16
David Clark Secure COW
Search Based Software Engineering
Friday, 8 April 2011
SLIDE 17
David Clark Secure COW
Testing, Testing, Testing
Friday, 8 April 2011
SLIDE 18
David Clark Secure COW
Testing, Testing, Testing
A
Mutation testing Model based testing Automated test data generation Web application testing Service oriented testing Fuzz testing Security testing Regression testing
Friday, 8 April 2011
SLIDE 19
David Clark Secure 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
Friday, 8 April 2011
SLIDE 20
David Clark Secure COW
Quantitative Information Flow
Friday, 8 April 2011
SLIDE 21
David Clark Secure COW
Information Flow Control
Friday, 8 April 2011
SLIDE 22
David Clark Secure COW
Clone Detection
Friday, 8 April 2011
SLIDE 23
David Clark Secure COW
Digital Humanities
Friday, 8 April 2011
SLIDE 24
David Clark Secure COW
SBSE Repository
Friday, 8 April 2011
SLIDE 25
David Clark Secure COW
GP Bibliography
Friday, 8 April 2011
SLIDE 26
David Clark Secure COW
Mutation Testing Repository
Friday, 8 April 2011
SLIDE 27
David Clark Secure COW
COWs
CREST Open Workshop Typically last week of the month Aim for last Wednesday (where rooms available) Discussion based Recorded and archived
Friday, 8 April 2011
SLIDE 28
David Clark Secure COW
COWs
CREST Open Workshop Typically last week of the month Aim for last Wednesday (where rooms available) Discussion based Recorded and archived
Friday, 8 April 2011
SLIDE 29
David Clark Secure COW
COWs
CREST Open Workshop Typically last week of the month Aim for last Wednesday (where rooms available) Discussion based Recorded and archived
Friday, 8 April 2011
SLIDE 30
David Clark Secure COW
Previous COWs
Friday, 8 April 2011
SLIDE 31
David Clark Secure COW
Previous COWs
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 Oct 10: Advanced Mootation Testing Nov 10: Code Provenance and Clone Detection Jan 11: Program Analysis and Slicing Feb 11: SBSE for Early Life-cycle SE
Friday, 8 April 2011
SLIDE 32
David Clark Secure COW
Upcoming COWs
13th CREST Open Workshop Search Based Software Engineering (SBSE) Date: 12 - 13 May, 2011 Venue: William Goodenough Room, Goodenough Club
Friday, 8 April 2011
SLIDE 33
David Clark Secure COW
Thanks
Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers
Friday, 8 April 2011
SLIDE 34
David Clark Secure COW
Thanks
Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers
Friday, 8 April 2011
SLIDE 35
David Clark Secure COW
Thanks
Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers
Friday, 8 April 2011
SLIDE 36
David Clark Secure COW
Thanks
Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers
Friday, 8 April 2011
SLIDE 37
David Clark Secure COW
Thanks
Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers
Friday, 8 April 2011
SLIDE 38
David Clark Secure COW
Thanks
Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers
Friday, 8 April 2011
SLIDE 39
David Clark Secure COW
Domestics
Fire or other alarm Toilets Discussions
Friday, 8 April 2011
SLIDE 40
David Clark Secure COW
Domestics
Fire or other alarm Toilets Discussions
Friday, 8 April 2011
SLIDE 41
David Clark Secure COW
Introductions ...
Friday, 8 April 2011