CSTVA

Keyphrases

Publications

2014

Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen, Zijiang Yang
Directed test suite augmentation via exploiting program dependency. CSTVA (2014)
Hermann Felbinger, Christian Schwarzl
Suitability analysis of CSP- and SMT-solvers for test case generation. CSTVA (2014)
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut
Towards testing of full-scale SQL applications using relational symbolic execution. CSTVA (2014)
Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus
Automatic repair of buggy if conditions and missing preconditions with SMT. CSTVA (2014)
Stefan Kugele, Gheorghe Pucea
Model-based optimization of automotive E/E-architectures. CSTVA (2014)
Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher
Generating test cases inside suspicious intervals for floating-point number programs. CSTVA (2014)
Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, Hyderabad, India, May 31, 2014 CSTVA (2014)