BibTeX record: conf/hase/YangCXWZ11

download as .bib file

@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 = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
               {HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
  pages     = {17--24},
  year      = {2011},
  crossref  = {DBLP:conf/hase/2011},
  url       = {http://doi.ieeecomputersociety.org/10.1109/HASE.2011.12},
  doi       = {10.1109/HASE.2011.12},
  timestamp = {Thu, 05 Jan 2012 17:59:29 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/hase/YangCXWZ11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6113112},
  isbn      = {978-1-4673-0107-7},
  timestamp = {Thu, 05 Jan 2012 17:50:40 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/hase/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}