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.
      Název česky: Generování testovacích vstupů pro kontejnery v Javě
      RIV/00216224:14330/06:00015369 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant) -- Pasareanu, Corina (642 Rumunsko) -- Visser, Willem (710 Jižní Afrika)
      Klíčová slova anglicky: test input generation; java containers; state matching
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Typ záznamu: Stať ve sborníku
      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 7. 12. 2006 14:59.
      Podrobněji: https://is.muni.cz/publication/692604/cs