Important dates:
Submission: January 7, 2011 (extended)
Notification: February 1, 2011
Camera-ready versions due: March 18, 2011
Workshop: March 25, 2011
|
|
|
PROGRAM
8:45 -- Welcome
9:00 -- Invited presentation : Patrice Godefroid, Microsoft Research
10:00 -- Break
10:30 -- Session 1
- Frederic Dadeau and Fabien Peureux. Grey-box Testing and
Verification of Java/JML
- Cong Tian, Shaoying Liu and Shin Nakajima. Utilizing Model Checking
for Automatic Test Case Generation from Conjunctions of Predicates
- Ikpeme Erete and Alessandro Orso. Optimizing Constraint Solving to
Better Support Symbolic Execution
12:00 -- Lunch
14:00 -- Demo Session
- Nikolai Kosmatov, Bernard Botella, Muriel Roger and Nicky
Williams. Online Test Generation with PathCrawler.
- Mickael Delahaye: IPEG: Utilizing Infeasibility
- Lazaar Nadjib. CPTEST: A framework for the automatic fault
detection, localization and correction of constraint programs
15:30 -- Break
16:00 Session 2
- Angelo Gargantini. Dealing with Constraints in Boolean Expression
Testing
- Jeremias Rößler, Alessandro Orso and Andreas Zeller. When does my
program fail?
17:00 -- Joint Microsoft-INRIA prizes for authors of best paper and best demo
17:30 -- End of workshop
|
|