ISSTA 2008 Schedule

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

Tuesday, July 22

08:45am - 09:00am
Opening

09:00am - 10:00am
Keynote
  • 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
  • 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
  • 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
2:00pm - 2:30pm
Coffee Break

3:00pm - 4:30pm
Session 3 - Case Studies
  • 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
6:30pm
Reception

Wednesday, July 23

08:45am - 09:00am
Awards

09:00am - 10:00am
Keynote
  • 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
  • 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 - 2:00pm
Lunch Break

2:00pm - 3:30pm
Session 5 - Fault Localization
  • Fault Localization using Value Replacement
    Dennis Jeffrey, Neelam Gupta and Rajiv Gupta
  • AFID: An Automated Fault Identification Tool
    Alex Edwards, 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
2:00pm - 2:30pm
Coffee Break

3:00pm - 4:30pm
Session 6 - Static Analysis
  • 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

9:00am - 10:30am
Session 7 - Web and Security
  • 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
  • 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