International Symposium on Software Testing and Analysis Formal Methods in Software Practice

1
International Symposium on Software Testing and
AnalysisFormal Methods in Software Practice

• Conference Overview
• Debra J. Richardson
• General Chair

2
Attendees (115)

• Canada 3
• Denmark 1
• France 3
• Germany 5
• India 2
• Israel 2
• Italy 3
• UK 2

• US 94
• Arizona, California, District of Columbia,
  Delaware, Florida, Georgia, Iowa, Indiana,
  Illinois, Kansas, Massachusetts, Minnesota,
  Nebraska, New Jersey, New York, Ohio, Oregon,
  Pennsylvania, Texas, Virginia, Washington

Thanks for coming!
3
International Symposium on Software Testing and
Analysis

• Program Overview
• Mary Jean Harrold
• Program Chair

4
Paper Submissions (73)

• Brazil 2
• Canada 9
• France 4
• Germany 6
• India 1
• Israel 1
• Italy 4

• Korea 2
• Spain 1
• Sweden 2
• Taiwan 1
• UK 3
• US 37

5
Program Committee

• Joann Atlee
• George Avrunin
• Tom ball
• Antonia Bertolino
• Lori Clarke
• Istvan Forgacs
• Susan Horwitz

• Gail Murphy
• Mauro Pezzè
• Gregg Rothermel
• Mary Lou Soffa
• Frank Tip
• Pascale Thevenod-Fosse
• Michal Young

6
Final Program

• 21 Papers 17 regular and 4 short 6 paper
  sessions
• 2 Invited talks Jon Pincus (Tuesday) David
  Dill (Thursday)
• 2 Invited state of the art and future directions
  reports Lori Clarke and Craig Wittenberg
  (Wednesday)
• 1 Speakers corner session (Wednesday)

7
Presenters

• Prior to your session
• Meet your session chair
• (if you dont know your session chair, let
  me know, and Ill introduce you)
• Make sure your presentation is compatible
• (each day before first session and after
  last session, Donglin Liang and Saurabh Sinha
  will help you)
• Your session
• Arrive 10 minutes before the session

8
Attendees

• Enjoy the conference!