Room: Florentine II
Moderator: Bernd Becker (U. Freiburg, Germany)

• A Convergent Procedure for Partially-Reachable States
  Irith POMERANZ (Purdue University)
• Path Constraint Solving based Test Generation for Observability-enhanced Branch Coverage
  Yanhong ZHOU (Institute of Computing Technology, Chinese Academy of Sciences), HUAWEI LI (Chinese Academy of Sciences), Tiancheng WANG (Institute of Computing Technology, Chinese Academy of Sciences), Bo Liu, Yingke Gao, Xiaowei LI (Institute of Computing Technology, CAS)
• WeSPer: A Flexible SDD Quality Metric
  Omar AL-TERKAWI HASIB (Ecole polytechnique of Montreal), Yvon SAVARIA (Ecole Polytechnique Montreal), Claude THIBEAULT (E. Tech. Sup. Montreal)