-
Test Input Generation for Java Containers using State Matching D - Stať ve sborníkuPELÁNEK, Radek; Corina PASAREANU a Willem VISSER. Test Input Generation for Java Containers using State Matching. In International Symposium on International Symposium on Software Testing and Analysis. USA: ACM, 2006, s. 37--48, 11 s. ISBN 1-59593-263-1.Podrobněji: https://is.muni.cz/publication/692604/cs