LEIRIOS Test Generator: Automated Test Generation from B Models

@inproceedings{Jaffuel2007LEIRIOSTG,
  title={LEIRIOS Test Generator: Automated Test Generation from B Models},
  author={Eddie Jaffuel and Bruno Legeard},
  booktitle={B},
  year={2007}
}
Highly Cited
This paper has 41 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 23 extracted citations

Similar Papers

Loading similar papers…