{"id":36,"date":"2017-10-31T10:07:42","date_gmt":"2017-10-31T10:07:42","guid":{"rendered":"http:\/\/wp.cs.ucl.ac.uk\/tarot2018\/?page_id=36"},"modified":"2018-07-01T09:33:59","modified_gmt":"2018-07-01T08:33:59","slug":"schedule","status":"publish","type":"page","link":"https:\/\/wp.cs.ucl.ac.uk\/tarot2018\/schedule\/","title":{"rendered":"Schedule"},"content":{"rendered":"

Monday 2nd July<\/strong><\/h2>\n

Topic: Information Theory and Testing<\/strong><\/p>\n

9:00 – 11:00: Registration (Roberts Building 4.21)
\n10:30 – 11:00: Welcome (Roberts Building 4.21)
\n11:00 – 12:30: 1st Tutorial: H\u00e9ctor D. Men\u00e9ndez<\/span><\/strong><\/a> – Diversity and Software Testing<\/span><\/a><\/strong><\/span> (Roberts Building 4.21)
\n12:30 – 14:00: Lunch (Wilkins Lower Refectory, Main Building)
\n14:00 – 15:30: 2nd Tutorial: Nadia Alshahwan<\/span><\/strong><\/a> – Output Diversity as a Test Selection Criterion<\/span><\/strong><\/a> (Roberts Building 4.21)
\n15:30 – 16:00: Coffee break (Roberts Building 4.22)
\n16:00 – 17:30: 3rd Tutorial: David Clark<\/strong><\/span><\/a> – So what *can* measuring diversity do for you?<\/span><\/strong><\/a> (Roberts Building 4.21)
\n18:00 – 19:30: Welcome Reception<\/a> (Print Room Caf\u00e9)<\/p>\n

 Tuesday 3rd July<\/strong><\/h2>\n

Topics: Formal and Security Testing <\/strong><\/p>\n

9:00 – 10:30: 1st Tutorial: Mohammad Mousavi<\/strong><\/span><\/a> – Model-Based Testing Cyber-Physical Systems<\/span><\/a><\/strong> (Roberts Building 4.21)
\n10:30 – 11:00: Coffee break (Roberts Building 4.22)
\n11:00 – 12:30: 2nd Tutorial: Alastair Donaldson<\/strong><\/span><\/a> – Where is the Oracle? Metamorphic Testing for GPU Compilers<\/span><\/strong><\/a> (Roberts Building 4.21)
\n12:30 – 14:00: Lunch (Wilkins Lower Refectory, Main Building)
\n14:00 – 15:30: 3rd Tutorial: Mariano Ceccato<\/strong><\/span><\/a> – Security testing of web applications<\/span><\/strong><\/a> (Roberts Building 4.21)
\n15:30 – 16:00: Coffee break (Roberts Building 4.22)
\n16:00 – 17:30: 4th Tutorial: Cristian Cadar<\/strong><\/span><\/a> – An Introduction to Dynamic Symbolic Execution and the KLEE Infrastructure<\/a><\/span><\/strong> (Roberts Building 4.21)
\n17:30 – 19:00: Dinner (Wilkins Lower Refectory, Main Building)<\/p>\n

Wednesday 4th July<\/strong><\/h2>\n

Topic: Formal and Security Testing
\n<\/strong><\/p>\n

9:00 – 10:30: 1st Tutorial:  Christophe Gaston<\/strong><\/span> <\/a> – Model Based Testing for Timed Distributed Systems: a Symbolic Framework for the Oracle Problem<\/strong><\/span><\/a> (Roberts Building 4.21)
\n10:30 – 11:00: Coffee break (Roberts Building 4.22)
\n11:00 – 12:30: 2nd Tutorial: John Clark<\/strong><\/span><\/a> – Security Testing: From Fault Injection to Machine Learning<\/strong><\/span><\/a>(Roberts Building 4.21)
\n12:30 – 14:00: Lunch (Wilkins Lower Refectory, Main Building)
\n14:00 – 15:30: 3rd Tutorial: Jan Peleska<\/strong><\/span><\/a> – Security testing – just another variant of safety-oriented testing?<\/strong><\/span><\/a> (Roberts Building 4.21)
\n15:30 – 16:00: Coffee break (Roberts Building 4.22)
\n16:00 – 17:30: 4th Tutorial: Alex Pretschner<\/strong><\/span><\/a> – Defect-Based Testing<\/strong><\/span><\/a> (Roberts Building 4.21)
\n18:30 – 22:00: Gala Dinner<\/a>
\n <\/p>\n

Thursday 5th July<\/strong><\/h2>\n

Topics: Search Based Software Testing + Student’s Presentations<\/strong><\/p>\n

9:00 – 10:30: Student’s presentations<\/strong><\/span><\/a> (Roberts Building 4.21)
\n10:30 – 11:00: Coffee break (Roberts Building 4.22)
\n11:00 – 12:30: 1st Tutorial: William Langdon<\/span><\/a> – Genetic Improvements<\/span><\/a><\/strong> (Roberts Building 4.21)
\n12:30 – 14:00: Lunch (Wilkins Lower Refectory, Main Building)
\n14:00 – 17:00: Visit to the British Museum<\/a>
\n17:30 – 19:00: Dinner (Wilkins Lower Refectory, Main Building)
\n <\/p>\n

Friday 6th July<\/strong><\/h2>\n

Topic: Search Based Software Testing + Students and Research Projects Presentations<\/strong><\/p>\n

9:00 – 10:30: Students and Research Project’s presentations<\/strong><\/span><\/a> (Roberts Building 4.21)
\n10:30 – 11:00: Coffee break (Roberts Building 4.22)
\n11:00 – 12:30: 2nd Tutorial: Paolo Tonella<\/span><\/a> – Automated generation of unit tests for object-oriented code using genetic algorithms<\/span><\/a><\/strong><\/span> (Roberts Building 4.21)
\n12:30 – 14:00: Lunch (Wilkins Lower Refectory, Main Building)
\n14:00 – 14:30: Closure (Roberts Building 4.21)<\/p>\n

 <\/p>\n","protected":false},"excerpt":{"rendered":"

Monday 2nd July Topic: Information Theory and Testing 9:00 – 11:00: Registration (Roberts Building 4.21) 10:30 – 11:00: Welcome (Roberts Building 4.21) 11:00 – 12:30: 1st Tutorial: H\u00e9ctor D. Men\u00e9ndez – Diversity and Software Testing (Roberts Building 4.21) 12:30 – 14:00: Lunch (Wilkins Lower Refectory, Main Building) 14:00 – 15:30: 2nd Tutorial: Nadia Alshahwan – Output Diversity as a Test Selection … <\/p>\n","protected":false},"author":93,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"ngg_post_thumbnail":0},"acf":[],"_links":{"self":[{"href":"https:\/\/wp.cs.ucl.ac.uk\/tarot2018\/wp-json\/wp\/v2\/pages\/36"}],"collection":[{"href":"https:\/\/wp.cs.ucl.ac.uk\/tarot2018\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wp.cs.ucl.ac.uk\/tarot2018\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wp.cs.ucl.ac.uk\/tarot2018\/wp-json\/wp\/v2\/users\/93"}],"replies":[{"embeddable":true,"href":"https:\/\/wp.cs.ucl.ac.uk\/tarot2018\/wp-json\/wp\/v2\/comments?post=36"}],"version-history":[{"count":36,"href":"https:\/\/wp.cs.ucl.ac.uk\/tarot2018\/wp-json\/wp\/v2\/pages\/36\/revisions"}],"predecessor-version":[{"id":246,"href":"https:\/\/wp.cs.ucl.ac.uk\/tarot2018\/wp-json\/wp\/v2\/pages\/36\/revisions\/246"}],"wp:attachment":[{"href":"https:\/\/wp.cs.ucl.ac.uk\/tarot2018\/wp-json\/wp\/v2\/media?parent=36"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}