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)

Title Page
Article: icsews14cstvaforeword-fm000-p doi:

Message from the Chairs
Article: icsews14cstvaforeword-fm001-p doi:

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)
Article: icsews14cstvamain-cstvaid1-p doi:

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)
Article: icsews14cstvamain-cstvaid10-p doi:

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

Model-Based Optimization of Automotive E/E-Architectures
Stefan Kugele and Gheorghe Pucea
(TU München, Germany)
Article: icsews14cstvamain-cstvaid11-p doi:

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)
Article: icsews14cstvamain-cstvaid3-p doi:

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

proc time: 0.68