|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 4 keywords
|
|
|
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
52 | Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou |
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, pp. 191-195, 2002, ACM, 1-58113-562-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
global symbolic evaluation, program proving, semi-proving, program testing, symbolic execution, metamorphic testing |
28 | Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou |
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 37(1), pp. 109-125, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Tsong Yueh Chen, Fei-Ching Kuo, T. H. Tse, Zhiquan Zhou |
Metamorphic Testing and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STEP ![In: 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 19-21 September 2003, Amsterdam, The Netherlands, pp. 94-100, 2003, IEEE Computer Society, 0-7695-2218-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Follow-up test cases, semi-proving, successful test case, test case selection strategy, testing oracle, metamorphic testing |
17 | Zhiquan Zhou |
Verification of program properties: from testing to semi-proving ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
DOI RDF |
|
Displaying result #1 - #4 of 4 (100 per page; Change: )
|
|