Simplified Validation of Emergent Systems through Automata Learning-Based Testing

Bernhard Steffen, Johannes Neubauer. Simplified Validation of Emergent Systems through Automata Learning-Based Testing. In James L. Rash, Christopher Rouff, editors, 34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011. pages 84-91, IEEE Computer Society, 2011. [doi]

@inproceedings{SteffenN11,
  title = {Simplified Validation of Emergent Systems through Automata Learning-Based Testing},
  author = {Bernhard Steffen and Johannes Neubauer},
  year = {2011},
  doi = {10.1109/SEW.2011.18},
  url = {http://doi.ieeecomputersociety.org/10.1109/SEW.2011.18},
  researchr = {https://researchr.org/publication/SteffenN11},
  cites = {0},
  citedby = {0},
  pages = {84-91},
  booktitle = {34th Annual IEEE Software Engineering Workshop, SEW 2011, Limerick, Ireland, June 20-21, 2011},
  editor = {James L. Rash and Christopher Rouff},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4627-8},
}