Powered by

6th International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014), May 31, 2014, Hyderabad, India

CSTVA 2014 – Proceedings

Contents - Abstracts - Authors

6th International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014)

Directed Test Suite Augmentation via Exploiting Program Dependency
Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen, and Zijiang Yang
(Xi'an Jiaotong University, China; Xi’an University of Technology, China; Western Michigan University, USA)

Generating Test Cases inside Suspicious Intervals for Floating-Point Number Programs
Hélène Collavizza, Claude Michel, Olivier Ponsini, and Michel Rueher
(University of Nice Sophia Antipolis, France; CNRS, France)

Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution
Michaël Marcozzi, Wim Vanhoof, and Jean-Luc Hainaut
(University of Namur, Belgium)

Model-Based Optimization of Automotive E/E-Architectures
Stefan Kugele and Gheorghe Pucea
(TU München, Germany)

Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT
Favio DeMarco, Jifeng Xuan, Daniel Le Berre, and Martin Monperrus
(Universidad de Buenos Aires, Argentina; INRIA, France; University of Artois, France; CNRS, France; University of Lille, France)

Suitability Analysis of CSP- and SMT-Solvers for Test Case Generation
Hermann Felbinger and Christian Schwarzl
(Virtual Vehicle Research Center, Austria)

proc time: 0.65