International symposium on software testing and analysis formal methods in software practice
Download
1 / 8

International Symposium on Software Testing and Analysis Formal Methods in Software Practice - PowerPoint PPT Presentation


  • 102 Views
  • Uploaded on

International Symposium on Software Testing and Analysis Formal Methods in Software Practice. Conference Overview Debra J. Richardson General Chair. Canada 3 Denmark 1 France 3 Germany 5 India 2 Israel 2 Italy 3 UK 2. US 94

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' International Symposium on Software Testing and Analysis Formal Methods in Software Practice' - shiri


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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
International symposium on software testing and analysis formal methods in software practice

International Symposium on Software Testing and AnalysisFormal Methods in Software Practice

Conference Overview

Debra J. Richardson

General Chair


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

Attendees (115)

Thanks for coming!


International symposium on software testing and analysis

International Symposium on Software Testing and Analysis

Program Overview

Mary Jean Harrold

Program Chair


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

Paper Submissions (73)


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

Program Committee


Final program
Final Program

21 Papers: 17 regular and 4 short; 6 paper sessions

2 Invited talks: Jon Pincus (Tuesday); David Dill (Thursday)

2 Invitedstate of the artand future directions reports: Lori Clarke and Craig Wittenberg (Wednesday)

1 Speaker’s corner session (Wednesday)


Presenters
Presenters

Prior to your session

  • Meet your session chair

    (if you don’t know your session chair, let me know, and I’ll 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


Attendees
Attendees

Enjoy the conference!


ad