Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Hotae Kim" ( http://dblp.L3S.de/Authors/Hotae_Kim )

  Author page on DBLP  Author page in RDF  Community of Hotae Kim in ASPL-2

Publication years (Num. hits)
2008 (3) 2011 (1)
Publication types (Num. hits)
article(1) inproceedings(3)
Venues (Conferences, Journals, ...)
ASE(1) ICST(1) IEEE Trans. Software Eng.(1) SPIN(1)
Authors
Hotae Kim(4) Moonzoo Kim(4) Yunho Kim(4) Yunja Choi(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Moonzoo Kim, Yunho Kim, Hotae Kim A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim Pre-testing Flash Device Driver through Model Checking Techniques. Search on Bibsonomy ICST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Model Checking, Testing, Embedded Software
1Moonzoo Kim, Yunho Kim, Hotae Kim Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker. Search on Bibsonomy ASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim Formal Verification of a Flash Memory Device Driver - An Experience Report. Search on Bibsonomy SPIN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.