Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Hong-Yi Wang" ( http://dblp.L3S.de/Authors/Hong-Yi_Wang )

  Author page on DBLP  Author page in RDF  Community of Hong-Yi Wang in ASPL-2

Publication years (Num. hits)
2006 (2) 2010 (1) 2011 (1)
Publication types (Num. hits)
article(2) inproceedings(2)
Venues (Conferences, Journals, ...)
CIAA(1) Journal of Systems and Softwar...(1) SAC(1) Softw., Pract. Exper.(1)
Authors
Hong-Yi Wang(4) Daniel Hoffman(2) David Ly-Gagnon(2) Paul A. Strooper(2) Yu-Ru Cheng(2) Yung-Pin Cheng(2) Lewis Sobotkiewicz(1) Mitch Chang(1)
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
1Daniel Hoffman, David Ly-Gagnon, Paul A. Strooper, Hong-Yi Wang Grammar-based test generation with YouGen. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Daniel Hoffman, Hong-Yi Wang, Mitch Chang, David Ly-Gagnon, Lewis Sobotkiewicz, Paul A. Strooper Two case studies in grammar-based test generation. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Yung-Pin Cheng, Yu-Ru Cheng, Hong-Yi Wang ARCATS: a scalable compositional analysis tool suite. Search on Bibsonomy SAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF context constraints, refactoring, compositional analysis, branching bisimulation
1Yung-Pin Cheng, Hong-Yi Wang, Yu-Ru Cheng On-the-Fly Branching Bisimulation Minimization for Compositional Analysis. Search on Bibsonomy CIAA The full citation details ... 2006 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.