Filter

    2006

    1. Test Input Generation for Java Containers using State Matching D - Stať ve sborníku
      PELÁNEK, Radek; Corina PASAREANU and 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, p. 37--48, 11 pp. ISBN 1-59593-263-1.
      More: https://is.muni.cz/publication/692604/en
Display details