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

Centre for Research on Evolution Search and Testing Est. 2006 1 admin !"#"$"%"& David Clark Secure COW Friday, 8 April 2011

Centre for Research on Evolution Search and Testing Est. 2006 1 admin 4 faculty !"#"$"%"& David Clark Secure COW Friday, 8 April 2011

Centre for Research on Evolution Search and Testing Est. 2006 1 admin 4 faculty !"#"$"%"& 8 post docs David Clark Secure COW Friday, 8 April 2011

Centre for Research on Evolution Search and Testing Est. 2006 1 admin 4 faculty !"#"$"%"& 8 post docs 11 PhD students David Clark Secure COW Friday, 8 April 2011

Centre for Research on Evolution Search and Testing Est. 2006 1 admin 4 faculty !"#"$"%"& 8 post docs 11 PhD students 1-4 resident visiting scholars David Clark Secure COW Friday, 8 April 2011

Research David Clark Secure COW Friday, 8 April 2011

Research Malware detection Service Oriented Computing Search Based Software Engineering Clone Detection Dependence Analysis Quantitative Information Flow Testing Digital Humanities Requirement Engineering Slicing David Clark Secure COW Friday, 8 April 2011

Funding David Clark Secure COW Friday, 8 April 2011

David Clark Secure COW Friday, 8 April 2011

University College London David Clark Secure COW Friday, 8 April 2011

University College London 20 mins walk David Clark Secure COW Friday, 8 April 2011

University College London Madame Tussaud’s Sherlock Holmes 20 mins walk Museum British Museum Marble Arch St. Paul’s Eros Covent RoyalCourts Garden of Justice Market Nelson’s Column National Gallery Tate Modern Globe Theatre London Eye Westminster Abbey House of Parliament David Clark Secure COW Friday, 8 April 2011

Search Based Software Engineering Ap David Clark Secure COW Friday, 8 April 2011

Search Based Software Engineering David Clark Secure COW Friday, 8 April 2011

Testing, Testing, Testing David Clark Secure COW Friday, 8 April 2011

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 David Clark Secure COW Friday, 8 April 2011

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 David Clark Secure COW Friday, 8 April 2011

Quantitative Information Flow David Clark Secure COW Friday, 8 April 2011

Information Flow Control David Clark Secure COW Friday, 8 April 2011

Clone Detection David Clark Secure COW Friday, 8 April 2011

Digital Humanities David Clark Secure COW Friday, 8 April 2011

SBSE Repository David Clark Secure COW Friday, 8 April 2011

GP Bibliography David Clark Secure COW Friday, 8 April 2011

Mutation Testing Repository David Clark Secure COW Friday, 8 April 2011

COWs CREST Open Workshop Typically last week of the month Aim for last Wednesday (where rooms available) Discussion based Recorded and archived David Clark Secure COW Friday, 8 April 2011

COWs CREST Open Workshop Typically last week of the month Aim for last Wednesday (where rooms available) Discussion based Recorded and archived David Clark Secure COW Friday, 8 April 2011

COWs CREST Open Workshop Typically last week of the month Aim for last Wednesday (where rooms available) Discussion based Recorded and archived David Clark Secure COW Friday, 8 April 2011

Previous COWs David Clark Secure COW Friday, 8 April 2011

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 David Clark Secure COW Friday, 8 April 2011

Upcoming COWs 13th CREST Open Workshop Search Based Software Engineering (SBSE) Date: 12 - 13 May, 2011 Venue: William Goodenough Room, Goodenough Club David Clark Secure COW Friday, 8 April 2011

Thanks Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers David Clark Secure COW Friday, 8 April 2011

Thanks Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers David Clark Secure COW Friday, 8 April 2011

Thanks Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers David Clark Secure COW Friday, 8 April 2011

Thanks Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers David Clark Secure COW Friday, 8 April 2011

Thanks Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers David Clark Secure COW Friday, 8 April 2011

Thanks Jian Ren, COW Programme manager Lena Hierl, Administrative arrangements Yue Jia, visitor liaison EPSRC, funding Attendees and speakers David Clark Secure COW Friday, 8 April 2011

Domestics Fire or other alarm Toilets Discussions David Clark Secure COW Friday, 8 April 2011

Domestics Fire or other alarm Toilets Discussions David Clark Secure COW Friday, 8 April 2011

Introductions ... David Clark Secure COW Friday, 8 April 2011