1. welcome

2. Welcome TAIC PART history and future Cumberland Lodge Attendees Thanks Phil McMinn will talk about the program

3. TAIC Part History 1 st Uk Testing workshop 1998, York 2 nd Uk Testing workshop 2003, York 3 rd Uk Testing workshop 2005, Sheffield Growing industrial involvement Who will organise it for 2006 … ?

4. Industry Academic

5. IndustryAcademicandTestingConference

6. IndustryAcademicandTestingConference

7. IndustryAcademicandTestingConference

8. IndustryAcademicandTestingConference Practice And Research Techniques

9. TAIC PART Conference, workshop and retreat Foster real, lasting and deep collaboration - within research community - between research and practice Strong published proceedings - with a route for many formats Enjoyable event; nice location and facilities Funding and sponsorship

10. TAIC PART Future Same format in 2007 - workshop, conference, retreat - combine industry and academia - plus consensual change Co-location with Mutation 2007 - Jeff Offutt and John Clark Program chairs Cumberland Lodge booked already

11. TAIC PART Future Keynotes Mike Ernst, MIT, USA Daikon Andreas Zeller, Saarland University, Germany Where bugs come from Both are excellent examples of PART Proceedings to be published by IEEE www2007.taicpart.org

12. TAIC PART 2007 Mutation 2007 11 th and 12 th September 2007 TAIC PART 2007 13 th,14 th and 15 th September 2007 Cumberland Lodge Funding and sponsors sought

13. Back to 2006 …

14. Cumberland Lodge Built 1650 for John Byfield Following execution of Charles I Note royalist and puritan sides Steeped in history; a book is available Subsequently for the Duke of Cumberland Given to the nation in 1947 by George VI 51 rooms; all taken Games room; bar; lounges; grounds; Bechstein … We hope you will enjoy the setting apologies to the Scottish testing contingent

15. Previous residents Baptist May, the first resident Ranger; Sarah Churchill, Duchess of Marlborough (1702–1744);Sarah Churchill, Duchess of Marlborough17021744 John Spencer (1744–1746);John Spencer17441746 William Augustus, Duke of Cumberland, son of King George II (1746–1765);William Augustus, Duke of CumberlandGeorge II17461765 Henry Frederick, Duke of Cumberland and Strathearn, son of Frederick, Prince of Wales (1765–1790);Henry Frederick, Duke of Cumberland and StrathearnFrederick, Prince of Wales17651790 Anne, Duchess of Cumberland, widow of Henry Frederick (1790–1803);17901803 George Spencer-Churchill, 5th Duke of Marlborough (until 1822);George Spencer-Churchill, 5th Duke of Marlborough1822 Augustus Frederick, Duke of Sussex, son of King George III (1830–1843);Augustus Frederick, Duke of SussexGeorge III18301843 Princess Helena, daughter of Queen Victoria and wife of Prince Christian of Schleswig-Holstein (1872-1923);Princess HelenaVictoriaPrince Christian of Schleswig-Holstein18721923 Lord Fitzalan of Derwent, last Viceroy of Ireland (1923-1947).Lord Fitzalan of DerwentViceroy of Ireland19231947

16. Current Residents 32 academics 22 industrialists 11 countries

17. Attendees UK: 32 USA: 5 Germany: 4 Finland: 3 Sweden: 2 France: 2 Holland: 2 Hungary: 1 Spain: 1 Canada: 1 India: 1

18. Attendees UK: 32 USA: 5 Germany: 4 Finland: 3 Sweden: 2 France: 2 Holland: 2 Hungary: 1 Spain: 1 Canada: 1 India: 1 A.M. Turing. Checking a large routine. In Report on a Conference on High Speed Automatic Calculating Machines, pp. 67--69, Cambridge University Mathematical Laboratory, Cambridge, 1949. In order to assist the checker, the programmer should make assertions about the various states that the machine can reach. … Assertions are only made for the states when certain particular quantities are in control, corresponding to [nodes of a CFG].

19. Thanks Phil McMinn, program chair Zheng Li, local arrangements David Willmor, PhD programme Industrial sponsors: DaimlerChrysler,Vizuri, Ericsson, Motorola, IPL, LDRA Cumberland Lodge Staff EPSRC IEEE Martin Woodward and STVR

20. Over to Phil …

21. Thanks! Programme committee Giulio Antoniol, Kirill Bogdanov, David Binkley, Jonathan Bowen, Myra Cohen, John Clark, Mireille Ducassé, Mark Harman, Mary Jean Harrold, John Hatcliff, Rob Hierons, Mike Holcombe, Bogdan Korel, Paul Krause, Yvan Labiche, Bev Littlewood, Wes Masri, John May, Stuart Reid, Marc Roper, Mary Lou Soffa, Paolo Tonella, Hasan Ural, Martin Woodward, Andreas Zeller, Jianjun Zhao, Hong Zhu, Paul Baker, Sigrid Eldh, Isabel Evans, Ian Gilchrist, Keith Harrison, Mike Hennell, Andrew Macinnes, Bob Malcolm, Chandrama Ramkumar, Brian Shea, Clive Stewart, Joachim Wegener, Elaine Weyuker To everyone who submitted a paper Presenters Our Keynotes: –Bill Woodworth –John Hatcliff

22. Papers ReceivedAcceptedAcceptance Rate Academia281036% Industry14857% PhD8675% Total502448%

23. Programme Paper sessions –Regular –PhD Walk Speed Dating Awards for best presentation –Check you have your voting slips! –Votes cast on the last day –Winners announced at the closing session

24. Regular Sessions 2-3 talks (20 mins each) … then …authors back to the stage: –Some questions to answer to kick off discussion: 1. Academic presenter: How might this result/technique be utilized by industry Industrial presenter: How can academia help (what could be improved)? 2. What possible future steps could be followed up for academic / industrial collaboration 3. Are there any techniques presented (in this session or earlier) with which this work might combine? And of course … any specific questions from audience Session chair to keep notes of points made on flip chart

25. PhD Sessions PhD student should state what stage they are at –(years/months in … years/months to go) 15 min talk Questions and Feedback

26. Finally …. Enjoy the workshop!