Author:
Julliand Jacques,Stouls Nicolas,Bué Pierre-christophe,Masson Pierre-Alain
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Lecture Notes in Computer Science,2005
2. Utting, M., Legeard, B.: Practical Model-Based Testing - A tools approach. Elsevier Science, Amsterdam (2006)
3. Leuschel, M., Butler, M.: ProB: An automated analysis toolset for the B method. Software Tools for Technology Transfer 10(2), 185–203 (2008)
4. Lecture Notes in Computer Science;F. Bouquet,2006
5. Bouquet, F., Bué, P.C., Julliand, J., Masson, P.A.: Test generation based on abstraction and test purposes to complement structural tests. In: A-MOST 2010, 6th int. Workshop on Advances in Model Based Testing, Paris, France (April 2010)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model Learning and Test Generation for Event-B Decomposition;Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change;2012
2. B model slicing and predicate abstraction to generate tests;Software Quality Journal;2011-09-20