welcome

WelcomeTAIC PART history and futureCumberland LodgeAttendeesThanksPhil McMinn will talk about the

program

TAIC Part History1st Uk Testing workshop 1998, York2nd Uk Testing workshop 2003, York3rd Uk Testing workshop 2005,

SheffieldGrowing industrial involvementWho will organise it for 2006 … ?

Industry Academic

Industry AcademicandTesting Conference

IndustryAcademic andTesting Conference

IndustryAcademic andTesting Conference

IndustryAcademic andTesting Conference

Practice And Research Techniques

TAIC PARTConference, workshop and retreatFoster 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 facilitiesFunding and sponsorship

TAIC PART FutureSame 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

TAIC PART FutureKeynotes

Mike Ernst, MIT, USA

DaikonAndreas Zeller, Saarland University, Germany

Where bugs come from Both are excellent examples of PARTProceedings to be published by IEEEwww2007.taicpart.org

TAIC PART 2007Mutation 200711th and 12th September 2007TAIC PART 200713th,14th and 15th September 2007

Cumberland Lodge Funding and sponsors sought

Back to 2006 …

Cumberland LodgeBuilt 1650 for John ByfieldFollowing execution of Charles INote royalist and puritan sidesSteeped in history; a book is availableSubsequently for the Duke of CumberlandGiven to the nation in 1947 by George VI51 rooms; all takenGames room; bar; lounges; grounds; Bechstein …We hope you will enjoy the setting

apologies to the Scottish testing contingent

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

Current Residents

32 academics22 industrialists

11 countries

AttendeesUK: 32 USA: 5 Germany: 4 Finland: 3 Sweden: 2 France: 2 Holland: 2 Hungary: 1 Spain: 1 Canada: 1 India: 1

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

ThanksPhil McMinn, program chairZheng Li, local arrangementsDavid Willmor, PhD programmeIndustrial sponsors:

DaimlerChrysler,Vizuri, Ericsson, Motorola, IPL, LDRA

Cumberland Lodge StaffEPSRCIEEEMartin Woodward and STVR

Over to Phil …

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

Papers

Received Accepted Acceptance Rate

Academia 28 10 36%

Industry 14 8 57%

PhD 8 6 75%

Total 50 24 48%

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

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

PhD Sessions• PhD student should state what stage

they are at – (years/months in … years/months to go)

• 15 min talk• Questions and Feedback

Finally ….

Enjoy the workshop!