![](/img/cover-not-exists.png)
[IEEE 29th International Conference on Software Engineering - Minneapolis, MN, USA (2007.05.20-2007.05.26)] 29th International Conference on Software Engineering (ICSE'07) - Randomized Differential Testing as a Prelude to Formal Verification
Groce, Alex, Holzmann, Gerard, Joshi, RajeevYear:
2007
Language:
english
DOI:
10.1109/icse.2007.68
File:
PDF, 159 KB
english, 2007