Abstract is missing.
- Directed test suite augmentation via exploiting program dependencyHaijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen, Zijiang Yang. 1-6 [doi]
- Generating test cases inside suspicious intervals for floating-point number programsHélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher. 7-11 [doi]
- Towards testing of full-scale SQL applications using relational symbolic executionMichaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut. 12-17 [doi]
- Model-based optimization of automotive E/E-architecturesStefan Kugele, Gheorghe Pucea. 18-29 [doi]
- Automatic repair of buggy if conditions and missing preconditions with SMTFavio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus. 30-39 [doi]
- Suitability analysis of CSP- and SMT-solvers for test case generationHermann Felbinger, Christian Schwarzl. 40-49 [doi]