Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

CSTVA@ICSE 2014: Hyderabad, India

> Home > Conferences and Workshops > CSTVA
> Home > Conferences and Workshops > ICSE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ acm.org
  - no references & citations available
- export record
  dblp key:
  - conf/icse/2014cstva
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2014cstva
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

- view
  authority control:
- export record
  dblp key:
  - conf/icse/WangGZLSY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WangGZLSY14
Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu, Chao Shen, Zijiang Yang:
Directed test suite augmentation via exploiting program dependency. 1-6
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CollavizzaMPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CollavizzaMPR14
Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher:
Generating test cases inside suspicious intervals for floating-point number programs. 7-11
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MarcozziVH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MarcozziVH14
Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut:
Towards testing of full-scale SQL applications using relational symbolic execution. 12-17

Research Papers

- view
  authority control:
- export record
  dblp key:
  - conf/icse/KugeleP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/KugeleP14
Stefan Kugele, Gheorghe Pucea:
Model-based optimization of automotive E/E-architectures. 18-29
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DemarcoXBM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DemarcoXBM14
Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus:
Automatic repair of buggy if conditions and missing preconditions with SMT. 30-39
- view
  authority control:
- export record
  dblp key:
  - conf/icse/FelbingerS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/FelbingerS14
Hermann Felbinger, Christian Schwarzl:
Suitability analysis of CSP- and SMT-solvers for test case generation. 40-49

a service of

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.