Filtrování

    2006

    1. Test Input Generation for Java Containers using State Matching D - Stať ve sborníku
      PELÁ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
Zobrazit podrobně