EsserS07'

BibTeX

@inproceedings{DBLP:conf/iicai/EsserS07,
  author    = {Michael Esser and
               Peter Struss},
  title     = {Automated Test Generation from Models Based on Functional
               Software Specifications},
  booktitle = {IICAI},
  year      = {2007},
  pages     = {2255-2268},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}