|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Haijun Wang, Xiaohong Guan, Qinghua Zheng, Ting Liu 0002, Chao Shen 0001, Zijiang Yang 0006 |
Directed test suite augmentation via exploiting program dependency.  |
CSTVA  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hermann Felbinger, Christian Schwarzl |
Suitability analysis of CSP- and SMT-solvers for test case generation. |
CSTVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut |
Towards testing of full-scale SQL applications using relational symbolic execution. |
CSTVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus |
Automatic repair of buggy if conditions and missing preconditions with SMT. |
CSTVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kugele, Gheorghe Pucea |
Model-based optimization of automotive E/E-architectures. |
CSTVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hélène Collavizza, Claude Michel, Olivier Ponsini, Michel Rueher |
Generating test cases inside suspicious intervals for floating-point number programs. |
CSTVA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vijay Ganesh, Nicky Williams (eds.) |
Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, CSTVA 2014, Hyderabad, India, May 31, 2014 |
CSTVA |
2014 |
DBLP BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license