![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
CSTVA@ICSE 2014: Hyderabad, India
- Vijay Ganesh, Nicky Williams:
Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, Hyderabad, India, May 31, 2014. ACM 2014, ISBN 978-1-4503-2847-0
Fast Abstracts
- Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen
, Zijiang Yang:
Directed test suite augmentation via exploiting program dependency. 1-6 - Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher:
Generating test cases inside suspicious intervals for floating-point number programs. 7-11 - Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut:
Towards testing of full-scale SQL applications using relational symbolic execution. 12-17
Research Papers
- Stefan Kugele, Gheorghe Pucea:
Model-based optimization of automotive E/E-architectures. 18-29 - Favio Demarco, Jifeng Xuan
, Daniel Le Berre
, Martin Monperrus
:
Automatic repair of buggy if conditions and missing preconditions with SMT. 30-39 - Hermann Felbinger, Christian Schwarzl:
Suitability analysis of CSP- and SMT-solvers for test case generation. 40-49
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.