|
White Box - Testing and Reviews Session Chair: Eitan Farchi, IBM Haifa Labs
09:00 Production-Testing of Embedded Systems with Aspects,
Jani Pesonen, Nokia Corporation Technology Platforms, and Mika Katara and Tommi Mikkonen, Institute of Software Systems, Tampere University of Technology
(Paper , Presentation)
09:30 Assisting the Code Review Process Using Simple Pattern Recognition,
Eitan Farchi, IBM Haifa Research Lab, and Bradley R. Harrington, IBM Systems and Technology Group, Austin, Texas, USA
(Paper)
10:00 Invited Talk: The Interface of Testing and Compiler Research,
Dan Quinlan, Lawrence Livermore National Laboratory
10:30 Coffee break
New Testing Technologies Session
Chair: Ofer Strichman, Technion
11:00 Invited Talk: Software Model Checking: Where It Is and Where It's Heading,
Scott D. Stoller, State University of New York at Stony Brook
(Presentation)
11:30 Effective Black-box Testing with Genetic Algorithms,
Mark Last and Shay Eyal, Department of Information Systems Engineering, Ben-Gurion University, and Abraham Kandel, Department of Computer Science and Engineering, University of South Florida
(Paper , Presentation)
12:00 Optimal Algorithmic Debugging and Reduced Coverage in Search in Structured Domains,
Yosi Ben-Asher, Igor Breger, and Ilia Gordon, Computer Science Department, University of Haifa, and Eitan Farchi, IBM Haifa Research Lab
(Paper , Presentation)
|
|
|
|
12:30 Invited Talk: SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft,
Thomas Ball, Senior Researcher, Testing, Verification, and Measurement, Microsoft Research (MSR)
(Paper)
13:00 Lunch
14:00 Keynote: Robust Embedded Firmware Development,
Thomas Wolf, Program Director, eServer Firmware Development, IBM Systems and Technology Group, Boeblingen, Germany
14:50 Coffee break
Industrial Field Experience Session
Chair: Tsvi Kuflik, University of Haifa
15:10 Invited Talk: Introducing Test-driven Development,
Yael Dubinsky, Technion - Israel Institute of Technology
15:40 Invited talk: Why Johnny Can't Test and Can Test-driven Development Help: A People-centered Analysis of Testing,
Orit Hazzan, Technion - Israel Institute of Technology
(Presentation)
16:10 Benchmarking and Testing OSD for Correctness and Compliance,
Dalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, and Adam Wolman, IBM Haifa Research Lab
(Paper , Presentation)
16:40 Invited Talk: Directed Model Checking,
Bernd Finkbeiner, University of Saarlandes
(Presentation)
|
|