ISSTA 2008 Schedule

You can have the ISSTA 2008 schedule in your electronic calendar (including abstracts and up-to-date info). Subscribe to: webcal://

Tuesday, July 22

08:45am - 09:00am
Session Chair: Barbara Ryder

09:00am - 10:00am
Session Chair: Barbara Ryder
  • The Real Value of Testing
    Jim Larus, Microsoft Research

10:00am - 10:30am
Coffee Break

10:30am - 12:30pm
Session 1 - Symbolic and Concrete Execution
Session Chair: Tao Xie
  • Proofs from Tests
    Nels Beckman, Aditya Nori, Sriram Rajamani, and Rob Simmons
  • Combining Unit-level Symbolic Execution and System-level Concrete Execution for Testing NASA Software
    Corina Pasareanu, Peter Mehlitz, David Bushnell, Karen Gundy-Burlet, Michael Lowry, Suzette Person, and Mark Pape
  • Testing for Buffer Overflows with Length Abstraction
    Ru-Gang Xu, Patrice Godefroid, and Rupak Majumda
  • Efficient Solving of Structural Constraints
    Bassem Elkarablieh, Darko Marinov, and Sarfraz Khurshid
12:30pm - 2:00pm
Lunch Break

2:00pm - 3:30pm
Session 2 - Regression Testing
Session Chair: Andy Podgurski
  • Using Sensitivity Analysis to Create Simplified Economic Models for Regression Testing
    Hyunsook Do and Gregg Rothermel
  • Effective and Scalable Software Compatibility Testing
    Il-Chul Yoon, Alan Sussman, Atif Memon, and Adam Porter
  • Configuration-Aware Regression Testing: An Empirical Study of Sampling and Prioritization
    Xiao Qu, Myra Cohen, and Gregg Rothermel
3:30pm - 4:00pm
Coffee Break

4:00pm - 5:30pm
Session 3 - Case Studies
Session Chair: TBA
  • Finding Errors in .NET with Feedback-Directed Random Testing
    Carlos Pacheco, Shuvendu Lahiri, and Thomas Ball
  • Customization Change Impact Analysis for ERP Professionals via Program Slicing
    Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, and Dror Weiss
  • Finding Bugs in Java Native Interface Programs
    Goh Kondoh and Tamiya Onodera

Wednesday, July 23

08:45am - 09:00am
Session Chair: Andreas Zeller

09:00am - 10:00am
Session Chair: Andreas Zeller
  • Cooperative Debugging With Five Hundred Million Test Cases
    Ben Liblit, University of Wisconsin-Madison

10:00am - 10:30am
Coffee Break

10:30am - 12:30pm
Session 4 - Metrics and Threads
Session Chair: David Rosenblum
  • A Metric for Software Readability
    Raymond Buse and Westley Weimer
  • Comparing Software Metrics Tools
    Rüdiger Lincke, Jonas Lundberg, and Welf Löwe
  • Dynamic Recognition of Synchronization Operations for Improved Data Race Detection
    Chen Tian, Vijay Nagarajan, Rajiv Gupta, and Sriraman Tallam
  • Racer: Effective race detection using AspectJ
    Eric Bodden and Klaus Havelund
12:30pm - 1:30pm
Lunch Break

1:30pm - 2:30pm
Poster Session with Dessert

2:30pm - 4:00pm
Session 5 - Fault Localization
Session Chair: N.N.
  • Fault Localization using Value Replacement
    Dennis Jeffrey, Neelam Gupta, and Rajiv Gupta
  • AFID: An Automated Fault Identification Tool
    Alex Edwards, Sean Tucker, Sebastien Worms, Rahul Vaidya, and Brian Demsky
  • The Probabilistic Program Dependence Graph and its Application to Fault Diagnosis
    George Baah, Andy Podgurski, and Mary Jean Harrold
4:00pm - 4:30pm
Coffee Break

4:30pm - 6:00pm
Session 6 - Static Analysis
Session Chair: Laura Dillon
  • Practical Pluggable Types for Java
    Matthew Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff Perkins, and Michael Ernst
  • Verifying Dereference Safety via Expanding-Scope Analysis
    Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, and Mangala Gowri Nanda
  • Merging Equivalent Contexts for Scalable Heap-Cloning-Based Context-Sensitive Points-to Analysis
    Guoqing Xu and Atanas Rountev

Thursday, July 24

08:45am - 09:00am
About ISSTA 2009
Session Chair: Andreas Zeller

9:00am - 10:30am
Session 7 - Web and Security
Session Chair: Andreas Zeller
  • Are Your Votes Really Counted? Testing the Security of Real-world Electronic Voting Systems
    Davide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard Kemmerer, William Robertson, Fredrik Valeur, and Giovanni Vigna
  • Dynamic Test Input Generation for Web Applications
    Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, and Zhendong Su
  • Finding Bugs in Dynamic Web Applications
    Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit Paradkar, and Michael Ernst
10:30am - 11:00am
Coffee Break

11:00am - 12:30pm
Session 8 - Inference
Session Chair: Corina Pasareanu
  • Automatic Documentation Inference for Exceptions
    Raymond Buse and Westley Weimer
  • Universal Symbolic Execution and its Application to Likely Data Structure Invariant Generation
    Yamini Kannan and Koushik Sen
  • Dynamic Inference of Data Preconditions over Predicates by Tree Learning
    Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, and Aarti Gupta
12:30pm - 12:45pm
Closing and Farewell