DBLP BibTeX Record 'conf/hase/YangCXWZ11'

@inproceedings{DBLP:conf/hase/YangCXWZ11,
  author    = {Rui Yang and
               Zhenyu Chen and
               Baowen Xu and
               W. Eric Wong and
               Jie Zhang},
  title     = {Improve the Effectiveness of Test Case Generation on EFSM
               via Automatic Path Feasibility Analysis},
  booktitle = {HASE},
  year      = {2011},
  pages     = {17-24},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/HASE.2011.12},
  crossref  = {DBLP:conf/hase/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/hase/2011,
  editor    = {Taghi M. Khoshgoftaar},
  title     = {13th IEEE International Symposium on High-Assurance Systems
               Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12,
               2011},
  booktitle = {HASE},
  publisher = {IEEE Computer Society},
  year      = {2011},
  isbn      = {978-1-4673-0107-7},
  ee        = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6113112},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}