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

Frontmatter

Fast Abstracts

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)


@InProceedings{CSTVA14p1, author = {Haijun Wang and Xiaohong Guan and Qinghua Zheng and Ting Liu and Chao Shen and Zijiang Yang}, title = {Directed Test Suite Augmentation via Exploiting Program Dependency}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2014}, }

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)


@InProceedings{CSTVA14p7, author = {Hélène Collavizza and Claude Michel and Olivier Ponsini and Michel Rueher}, title = {Generating Test Cases inside Suspicious Intervals for Floating-Point Number Programs}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2014}, }

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


@InProceedings{CSTVA14p13, author = {Michaël Marcozzi and Wim Vanhoof and Jean-Luc Hainaut}, title = {Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2014}, }

Research Papers

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


@InProceedings{CSTVA14p19, author = {Stefan Kugele and Gheorghe Pucea}, title = {Model-Based Optimization of Automotive E/E-Architectures}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2014}, }

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)


@InProceedings{CSTVA14p31, author = {Favio DeMarco and Jifeng Xuan and Daniel Le Berre and Martin Monperrus}, title = {Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2014}, }

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


@InProceedings{CSTVA14p41, author = {Hermann Felbinger and Christian Schwarzl}, title = {Suitability Analysis of CSP- and SMT-Solvers for Test Case Generation}, booktitle = {Proc.\ CSTVA}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2014}, }

proc time: 0.65