![](/img/cover-not-exists.png)
[IEEE 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Windsor, United Kingdom (2009.09.4-2009.09.6)] 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - An Evaluation of Specification Based Test Generation Techniques Using Model Checkers
Fraser, Gordon, Gargantini, AngeloYear:
2009
Language:
english
DOI:
10.1109/taicpart.2009.20
File:
PDF, 257 KB
english, 2009