Detail výsledku

Search-Based Testing Concurrent Java Programs Using the RoadRunner Analysis Framework [poster]

KOZÁK, D.; KŘENA, B.; ŠIMKOVÁ, H.; VOJNAR, T. Search-Based Testing Concurrent Java Programs Using the RoadRunner Analysis Framework [poster]. The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Telč: 2017. p. 25-25.
Typ
abstrakt
Jazyk
anglicky
Autoři
Kozák David, Ing., FIT (FIT)
Křena Bohuslav, Ing., Ph.D., UITS (FIT)
Šimková Hana, Mgr. Bc., Ph.D., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
URL
Rok
2017
Strany
25–25
Kniha
The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Konference
MEMICS'17 - 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Místo
Telč
BibTeX 
@misc{BUT168566,
  author="David {Kozák} and Bohuslav {Křena} and Hana {Šimková} and Tomáš {Vojnar}",
  title="Search-Based Testing Concurrent Java Programs Using the RoadRunner Analysis Framework [poster]",
  booktitle="The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2017",
  pages="25--25",
  address="Telč",
  url="http://www.memics.cz/2017/download/sbornik.pdf",
  note="Abstract"
}
Projekty
AQUAS: Agregované metody řízení kvality, EU, Horizon 2020, 8A17001, 737475, zahájení: 2017-05-01, ukončení: 2020-04-30, ukončen
Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, zahájení: 2017-03-01, ukončení: 2020-02-29, ukončen
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
ROBUST - Verifikace a hledání chyb v pokročilém softwaru, GAČR, Standardní projekty, GA17-12465S, zahájení: 2017-01-01, ukončení: 2019-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru