CSTVA 2014- Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis

Full Citation in the ACM Digital Library

SESSION: Fast Abstracts

Directed test suite augmentation via exploiting program dependency

• Haijun Wang
• Xiaohong Guan
• Qinghua Zheng
• Ting Liu
• Chao Shen
• Zijiang Yang

Generating test cases inside suspicious intervals for floating-point number programs

• Hélène Collavizza
• Claude Michel
• Olivier Ponsini
• Michel Rueher

Towards testing of full-scale SQL applications using relational symbolic execution

• Michaël Marcozzi
• Wim Vanhoof
• Jean-Luc Hainaut

SESSION: Research Papers

Model-based optimization of automotive E/E-architectures

• Stefan Kugele
• Gheorghe Pucea

Automatic repair of buggy if conditions and missing preconditions with SMT

• Favio DeMarco
• Jifeng Xuan
• Daniel Le Berre
• Martin Monperrus

Suitability analysis of CSP- and SMT-solvers for test case generation

• Hermann Felbinger
• Christian Schwarzl