RIV: Stať ve sborníku. angličtina. Německo.
Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Urban, Lukáš (703 Slovensko, domácí)
Klíčová slova anglicky: fuzzing; test generation; atomic Boolean expression; Fizzer
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 24. 4. 2024 13:49.
RIV: Stať ve sborníku. angličtina. Německo.
Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Urban, Lukáš (703 Slovensko, domácí)
Klíčová slova anglicky: fuzzing; test generation; atomic Boolean expression; Fizzer
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 24. 4. 2024 13:33.
RIV: Stať ve sborníku. angličtina. Německo.
Jonáš, Martin (203 Česká republika, garant, domácí) -- Kumor, Kristián (703 Slovensko, domácí) -- Novák, Jakub (703 Slovensko, domácí) -- Sedláček, Jindřich (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Zaoral, Lukáš (203 Česká republika) -- Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: symbolic execution; software verification; Symbiotic
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 24. 4. 2024 13:32.
RIV: Stať ve sborníku. angličtina. Německo.
Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Witch;witness-validator;SV-COMP;verification witness
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 23. 4. 2024 18:51.
RIV/00216224:14330/23:00131936 Stať ve sborníku. angličtina. Švýcarsko.
Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Witch;witness-validator;SV-COMP;verification witness
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 7. 4. 2024 23:35.
RIV/00216224:14330/22:00127777 Stať ve sborníku. angličtina. Švýcarsko.
Beyer, Dirk (276 Německo) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: software verification;program analysis;software validation;software bugs;verification witnesses;evaluation;benchmarking
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 12:08.
RIV/00216224:14330/22:00125696 Stať ve sborníku. angličtina. Švýcarsko.
Chalupa, Marek (203 Česká republika, domácí) -- Mihalkovič, Vincent (703 Slovensko, domácí) -- Řechtáčková, Anna (203 Česká republika, domácí) -- Zaoral, Lukáš (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Symbiotic;BSELF;SV-COMP;program analysis;verification
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 12:49.
RIV/00216224:14330/22:00125695 Stať ve sborníku. angličtina. Švýcarsko.
Ayaziová, Paulína (703 Slovensko, domácí) -- Chalupa, Marek (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Symbiotic;witness-validator;SV-COMP;verification witness
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 10:40.
RIV/00216224:14330/21:00122663 Stať ve sborníku. angličtina. Švýcarsko.
Chalupa, Marek (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: symbolic execution;k-induction;backward symbolic execution;inductive invariants;invariants
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 5. 2022 15:01.
RIV/00216224:14330/21:00121991 Stať ve sborníku. angličtina. Švýcarsko.
Chalupa, Marek (203 Česká republika, domácí) -- Klaška, David (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Tomovič, Lukáš (703 Slovensko, domácí)
Klíčová slova anglicky: control dependence;non-termination sensitive control dependence;decisive order dependence;control closure;ntscd;dod;graph theory
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 5. 2022 14:53.
RIV/00216224:14330/21:00121992 Stať ve sborníku. angličtina. Švýcarsko.
Chalupa, Marek (203 Česká republika, garant, domácí) -- Jašek, Tomáš (703 Slovensko, domácí) -- Novák, Jakub (703 Slovensko, domácí) -- Řechtáčková, Anna (203 Česká republika, domácí) -- Šoková, Veronika (703 Slovensko) -- Strejček, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: symbolic execution;k-induction;program slicing;symbiotic;predator;klee
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 15. 5. 2024 02:10.
RIV/00216224:14330/21:00121274 Stať ve sborníku. angličtina. Švýcarsko.
Chalupa, Marek (203 Česká republika, garant, domácí) -- Novák, Jakub (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: test generation; test coverage; Symbiotic
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 5. 2022 14:27.
RIV/00216224:14330/21:00118732 Článek v odborném periodiku. angličtina. Německo.
Chalupa, Marek (203 Česká republika, domácí) -- Vitovská, Martina (203 Česká republika, domácí) -- Jašek, Tomáš (703 Slovensko, domácí) -- Šimáček, Michael (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Symbiotic;Program Slicing;Symbolic execution;KLEE
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 23. 4. 2022 01:11.
RIV/00216224:14330/21:00119972 Software. angličtina. Česká republika.
Chalupa, Marek (203 Česká republika, domácí) -- Jašek, Tomáš (703 Slovensko, domácí) -- Novák, Jakub (703 Slovensko, domácí) -- Řechtáčková, Anna (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Symbiotic; symbolic execution; slicing; bug-finding
Mezinárodní význam: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 6. 11. 2023 10:41.
RIV/00216224:14330/20:00113978 Článek v odborném periodiku. angličtina. Německo.
Chalupa, Marek (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Vitovská, Martina (203 Česká republika, domácí)
Klíčová slova anglicky: memory safety; instrumentation; program slicing; symbolic execution; Symbiotic
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 07:54.
Název anglicky: Symbiotic 7: Integration of Predator and More (Competition Contribution)
RIV/00216224:14330/20:00114113 Stať ve sborníku. angličtina. Německo.
Chalupa, Marek (203 Česká republika, garant, domácí) -- Jašek, Tomáš (703 Slovensko, domácí) -- Tomovič, Lukáš (703 Slovensko, domácí) -- Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Vojnar, Tomáš (203 Česká republika)
Klíčová slova anglicky: Symbiotic;Predator;Program Slicing;Termination Analysis;Shape Analysis;Symbolic Execution
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:25.
RIV/00216224:14330/19:00107773 Stať ve sborníku. angličtina. Švýcarsko.
Chalupa, Marek (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí)
Klíčová slova anglicky: program analysis; static program slicing; verification
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 8. 1. 2020 10:45.
RIV/00216224:14330/18:00101043 Stať ve sborníku. angličtina. Německo.
Chalupa, Marek (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Vitovská, Martina (203 Česká republika, domácí)
Klíčová slova anglicky: program analysis; program verification; memory safety
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2019 15:39.
RIV/00216224:14330/18:00100910 Stať ve sborníku. angličtina. Německo.
Chalupa, Marek (203 Česká republika, domácí) -- Vitovská, Martina (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: Symbiotic; program analysis; program verification; SV-COMP 2018
Druh sborníku: postkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 28. 9. 2019 14:33.
RIV/00216224:14330/16:00088244 Stať ve sborníku. Informatika. angličtina. Německo.
Chalupa, Marek (203 Česká republika, domácí) -- Jonáš, Martin (203 Česká republika, domácí) -- Slabý, Jiří (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Vitovská, Martina (203 Česká republika, domácí)
Klíčová slova anglicky: instrumentation; symbolic execution; program slicing
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:22.