1 / 26

welcome

welcome. Welcome. TAIC PART history and future Cumberland Lodge Attendees Thanks Phil McMinn will talk about the program. 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

lamya
Télécharger la présentation

welcome

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. welcome

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

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

  4. Academic Industry

  5. Testing Industry and Academic Conference

  6. Testing Academic and Industry Conference

  7. Testing Academic and Industry Conference

  8. Testing Academic and Industry Conference 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 11th and 12th September 2007 TAIC PART 2007 13th,14th and 15th September 2007 Cumberland Lodge Funding and sponsors sought 

  13. Back to 2006 …

  14. apologies to the Scottish testing contingent 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

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

  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 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]. 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.

  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

  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!

More Related