|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1 occurrences of 1 keywords
|
|
|
Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
46 | Junjie Chen |
SMT-Based and Disjunctive Relational Abstract Domains for StaticAnalysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
36 | Jane Huffman Hayes, Jeff Offutt |
Input validation analysis and testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 11(4), pp. 493-522, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Specificationanalysis, Inputvalidation, Fault-based analysis, Fault-basedtesting, Empiricalresearch, Syntax-based, Interfaceverification, Systemtesting, Staticanalysis, Dynamictesting, Casestudy, Software testing |
Displaying result #1 - #2 of 2 (100 per page; Change: )
|
|