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

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

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

SESSION: Research Papers

Model-based optimization of automotive E/E-architectures

Automatic repair of buggy if conditions and missing preconditions with SMT

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