Papers

Document Sample
Papers Powered By Docstoc
					welcome
               Welcome
TAIC PART history and future
Cumberland Lodge
Attendees
Thanks
Phil McMinn will talk about the program
          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 … ?
Industry   Academic
Testing Industry and Academic Conference
Testing Academic and Industry Conference
Testing Academic and Industry Conference
Testing Academic and Industry Conference
     Practice And Research Techniques
                 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
            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
           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
          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 
Back to 2006 …
           Cumberland Lodge
                                           apologies to the
Built 1650 for John Byfield                Scottish testing
                                           contingent
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
                 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 academics
   22 industrialists
     11 countries
                Attendees
UK:        32
USA:       5
Germany:   4
Finland:   3
Sweden:    2
France:    2
Holland:   2
Hungary:   1
Spain:     1
Canada:    1
India:     1
                Attendees
UK:        32    In order to assist the checker, the programmer
USA:       5     should make assertions about the various states
                 that the machine can reach. …
Germany:   4
                 Assertions are only made for the states when
Finland:   3     certain particular quantities are in control,
Sweden:    2     corresponding to [nodes of a CFG].

France:    2
Holland:   2     A.M. Turing. Checking a large routine. In Report on a
                 Conference on High Speed Automatic Calculating
Hungary:   1     Machines, pp. 67--69, Cambridge University
                 Mathematical Laboratory, Cambridge, 1949.
Spain:     1
Canada:    1
India:     1
                       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
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!

				
DOCUMENT INFO
Shared By:
Categories:
Tags:
Stats:
views:4
posted:9/30/2012
language:Unknown
pages:26