welcome. welcome taic part history and future cumberland lodge attendees thanks phil mcminn will...
TRANSCRIPT
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!