česky | in English
RIV: Article in a journal. English. United States of America.
Lang, Matěj (203 Czech Republic, guarantor, belonging to the institution) -- Mráz, Radoslav (703 Slovakia, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Stoppel, Sergej (578 Norway) -- Byška, Jan (203 Czech Republic, belonging to the institution) -- Kozlíková, Barbora (203 Czech Republic, belonging to the institution)
Keywords in English: Visualization toolkits; Geographic visualization
International impact: yes
Reviewed: yes
Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 5/9/2024 15:37.
RIV: Proceedings paper. English. Germany.
Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Urban, Lukáš (703 Slovakia, belonging to the institution)
Keywords in English: fuzzing; test generation; atomic Boolean expression; Fizzer
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 18/10/2024 17:04.
RIV: Proceedings paper. English. Germany.
Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Urban, Lukáš (703 Slovakia, belonging to the institution)
Keywords in English: fuzzing; test generation; atomic Boolean expression; Fizzer
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 18/10/2024 16:54.
RIV: Proceedings paper. English. Germany.
Jonáš, Martin (203 Czech Republic, guarantor, belonging to the institution) -- Kumor, Kristián (703 Slovakia, belonging to the institution) -- Novák, Jakub (703 Slovakia, belonging to the institution) -- Sedláček, Jindřich (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Zaoral, Lukáš (203 Czech Republic) -- Ayaziová, Paulína (703 Slovakia, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution)
Keywords in English: symbolic execution; software verification; Symbiotic
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 18/10/2024 16:56.
Name in Czech: A.D.A.P.T. Software
Name (in English): A.D.A.P.T. Software
RIV/00216224:14610/23:00133830 Software. Czech. Czech Republic.
Pliska, Pavel (203 Czech Republic, belonging to the institution) -- Jurda, Mikoláš (203 Czech Republic, guarantor, belonging to the institution) -- Strejčková, Adriana (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Bašo, Patrik (703 Slovakia, belonging to the institution) -- Beňa, Radoslav (703 Slovakia, belonging to the institution) -- Rajnoha, Lukáš (703 Slovakia, belonging to the institution) -- Dvořáček, Štěpán (203 Czech Republic) -- Čuta, Martin (203 Czech Republic, belonging to the institution) -- Černý, Dominik (203 Czech Republic, belonging to the institution) -- Urbanová, Petra (203 Czech Republic, belonging to the institution)
Keywords in English: anthropometry; body parameters; ergonomy; human-centered design; personal protective equipment; 3D body scans
International impact: yes
Changed by: Mgr. Adriana Strejčková, učo 1000. Changed: 22/3/2024 19:36.
English. Czech Republic.
Keywords in English: Symbiotic; symbolic execution; slicing; bug-finding
International impact: yes
Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 7/11/2023 15:16.
Name (in English): JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode
Keywords in English: JBMC; Bounded Model Checking; Java
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: Mgr. Marek Trtík, Ph.D., učo 329313. Changed: 10/3/2023 15:03.
RIV/00216224:14330/16:00089165 Proceedings paper. Computer hardware and software. English. Switzerland.
Dudka, Kamil (203 Czech Republic) -- Holík, Lukáš (203 Czech Republic) -- Peringer, Petr (203 Czech Republic) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Vojnar, Tomáš (203 Czech Republic, guarantor)
Keywords in English: Shape analysis; list; program transformation
International impact: yes
Reviewed: yes
Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/5/2020 15:18.
RIV/00216224:14330/16:00088246 Proceedings paper. Informatics. English. Germany.
Čadek, Pavel (203 Czech Republic) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic)
Keywords in English: loop bounds; symbolic execution
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:27.
Name in Czech: Symbolická paměť s ukazateli
RIV/00216224:14330/14:00074092 Proceedings paper. Informatics. English. Germany.
Trtík, Marek (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
Keywords in English: symbolic execution; symbolic memory
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 13/11/2014 16:23.
RIV/00216224:14330/13:00065952 Proceedings paper. Informatics. English. Germany.
Slabý, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
Keywords in English: Bug database; classified bug-reports
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 17/4/2014 11:19.
Name in Czech: Kompaktní symbolická exekuce
RIV/00216224:14330/13:00066165 Proceedings paper. Informatics. English. Germany.
Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
Keywords in English: symbolic execution; compact symbolic execution; testing
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 18/11/2013 14:45.
RIV/00216224:14330/13:00065969 Proceedings paper. Informatics. English. Germany.
Slabý, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
Keywords in English: instrumentation; symbolic execution; program slicing
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2014 22:59.
RIV/00216224:14330/12:00057592 Proceedings paper. Informatics. English. Czech Republic.
Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
Keywords in English: Symbolic execution; Path conditions; Program location reachability; Tests generation
International impact: yes
Reviewed: yes
Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 7/1/2016 22:12.
RIV/00216224:14330/12:00062341 Software. Informatics. English. Czech Republic.
Slabý, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
Keywords in English: Bug database; classified bug-reports
Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/4/2013 05:57.
RIV/00216224:14330/12:00057431 Proceedings paper. Informatics. English. Germany.
Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
Keywords in English: Bug finding; Symbolic execution; Program slicing; FSM property specification; Code instrumentation
Type of proceedings: pre-proceedings
International impact: yes
Reviewed: yes
Changed by: Mgr. Jiří Slabý, Ph.D., učo 98734. Changed: 20/1/2013 11:34.
RIV/00216224:14330/12:00067325 Proceedings paper. Computer hardware and software. English. Czech Republic.
Obdržálek, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
Keywords in English: Bug-finding; static analysis; framework; checker
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2014 12:57.
RIV/00216224:14330/12:00062340 Software. Informatics. English. Czech Republic.
Slabý, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
Keywords in English: symbolic execution; slicing; bug-finding
International impact: yes
Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/4/2013 05:58.
RIV/00216224:14330/11:00052855 Proceedings paper. Informatics. English. Czech Republic.
Obdržálek, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
Keywords in English: symbolic execution; loops in programs; program verification; bug-finding
Type of proceedings: post-proceedings
International impact: yes
Reviewed: yes
Changed by: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Changed: 16/4/2012 11:02.
Name (in English): Counter-based Abstraction for Symbolic Execution
Type of participation: active participation (giving a lecture, organization, etc.)
Reviewed: yes
Changed by: Mgr. Marek Trtík, Ph.D., učo 329313. Changed: 16/9/2011 16:11.