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

    2005

    1. Test input generation for red-black trees using abstraction D - Stať ve sborníku
      PELÁNEK, Radek; Corina PASAREANU a Willem VISSER. Test input generation for red-black trees using abstraction. In Automated Software Engineering. USA: ACM, 2005, s. 414-417.
      Podrobněji: https://is.muni.cz/publication/585961/cs
Zobrazit podrobně