Case Studies in Learning-Based Testing

@inproceedings{Feng2013CaseSI,
  title={Case Studies in Learning-Based Testing},
  author={Lei Feng and Simon Lundmark and Karl Meinke and Fei Niu and Muddassar A. Sindhu and Peter Y. H. Wong},
  booktitle={ICTSS},
  year={2013}
}
We present case studies which show how the paradigm of learning-based testing (LBT) can be successfully applied to black-box requirements testing of industrial reactive systems. For this, we apply a new testing tool LBTest, which combines algorithms for incremental black-box learning of Kripke structures with model checking technology. We show how test requirements can be modeled in propositional linear temporal logic extended by finite data types. We then provide benchmark performance results… CONTINUE READING
Highly Cited
This paper has 17 citations. REVIEW CITATIONS