| ISSTA 2004 Advance Program |
|
|---|---|
| Sunday, July 11 |
|
| 08:30-17:30 |
ISSTA Workshops Workshop on Testing, Analysis, and Verification of Web Services Workshop on Empirical Research in Software Testing
|
| Monday, July 12 |
|
| 08:45-09:00 |
Welcome by the ISSTA General Chair, G. Avrunin, and Program Chair, G. Rothermel
|
| 09:00-10:30 |
Session 1: Program Analysis I Static and Dynamic Analysis of Call Chains in Java; Atanas Rountev, Scott Kagan, Michael Gibas Software Validation via Scalable Path-Sensitive Value Flow Analysis; Nurit Dor, Stephen Adams, Manuvir Das, Zhe Yang Testing of Java Web Services for Robustness; Chen Fu, Barbara G. Ryder, Ana Milanova, David Wonnacott
|
| 10:30-11:00 |
Coffee Break
|
| 11:00-12:30 |
Session 2: Testing I Testing Malware Detectors; Mihai Christodorescu, Somesh Jha Covering Arrays for Efficient Fault Characterization in Complex Configuration Spaces; Cemal Yilmaz, Myra B. Cohen, Adam Porter Optimal Strategies for Testing Nondeterministic Systems; Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
|
| 12:30-14:00 |
Lunch
|
| 14:00-15:30 |
Session 3: Empirical Studies An Empirical Study of Profiling Strategies for Released Software and their Impact on Testing Activities; Sebastian Elbaum, Madeline Hardojo An Experimental Evaluation of Continuous Testing During Development; David Saff, Michael D. Ernst Where the Bugs Are; Thomas J. Ostrand, Elaine J. Weyuker, Robert M. Bell
|
| 15:30-16:00 |
Coffee Break
|
| 16:00-18:00 |
Session 4: Test Generation Test-input Generation with Java PathFinder; Willem Visser, Corina Pasareanu, Sarfraz Khurshid Evolutionary Testing in the Presence of Loop-Assigned Flags: A Testability Transformation Approach; Andre Baresel, Mark Harman, David Binkley, Bogdan Korel Evolutionary Testing of Classes; Paolo Tonella Tools Paper: The AGEDIS Tools for Model Based Testing; A. Hartman, K. Nagin
|
| Tuesday, July 13 |
|
| 09:00-10:30 |
Session 5: Invited Presentation (Session Chair: Gregg Rothermel)Robert Kurshan, Cadence Design Systems: Algorithmic Testing
|
| 10:30-11:00 |
Coffee Break
|
| 11:00-12:30 |
Session 6: Testing II Software Assurance by Bounded Exhaustive Testing; Kevin Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson Automated Black-Box Testing of Functional Correctness using Function Approximation; Karl Meinke On the Analytical Comparison of Testing Techniques; Sandro Morasca, Stefano Serra-Capizzano
|
| 12:30-14:00 |
Lunch
|
| 14:00-15:30 |
Session 7: Model Checking I Automating Commutativity Analysis at the Design Level; Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson Modeling and Verification of an Air Traffic Concept of Operations; Cesar A. Munoz, Gilles Dowek, Victor Carreno An Optimizing Compiler for Batches of Temporal Logic Formulas; James Ezick
|
| 15:30-16:00 |
Coffee Break
|
| 16:00-17:30 |
Session 8: Program Analysis II Active Learning for Automatic Classification of Software Behavior; James F. Bowring, James M. Rehg, Mary Jean Harrold Improving the Adaptability of Multi-mode Systems via Program Steering; Lee Lin, Michael D. Ernst Tools Paper: Slicing Tools for Synchronous Reactive Programs; S. Ramesh, A. Kulkarni, V. Kamat |
| 18:00-20:00 |
Joint ISSTA/CAV Reception
|
| Wednesday, July 14 |
|
| 08:30-10:00 |
Session 9: Program Analysis III Exploiting Purity for Atomicity; Cormac Flanagan, Stephen N. Freund, Shaz Qadeer Faster Constraint Solving with Subtypes; Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung SABER: Smart Analysis Based Error Reduction; Darrell Reimer, Edith Schonberg, Kavitha Srinivas, Harini Srinivasan, Bowen Alpern, Robert D. Johnson, Aaron Kershenbaum, Larry Koved
|
| 10:00-10:30 |
Coffee Break
|
| 10:30-12:00 |
Session 10: Model Checking II Model Checking XML Manipulating Software; Xiang Fu, Tevfik Bultan, Jianwen Su A Formal Approach for Modeling and Verification of RTCORBA-based Applications; Matteo Rossi, Dino Mandrioli Verifying Process Models Built Using Parameterized State Machines; Barbara Staudt Lerner
|
| 12:00-13:30 |
Lunch
|
| 13:30-14:30 |
Session 11: Joint CAV/ISSTA Distinguished Lecture David Harel, Weizmann Institute of Science, Playing and Smart Playing in System Development
|
| 14:30-15:00 |
Coffee Break
|
| 15:00-17:00 |
Session 12 (CAV Session 2): Deductive Methods Deductive Verification of Pipelined Machines Using First-order Quantification; Sandip Ray and Warren A. Hunt, Jr. A Formal Reduction for Lock-Free Parallel Algorithms; H. Gao and W. H. Hesselink An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking; Kedar S. Namjoshi Termination of Linear Programs; Ashish Tiwari
|
| 17:30-19:30 |
Joint CAV/ISSTA Special Event on |