Result Details

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.
Type
abstract
Language
English
Authors
Kozák David, Ing., FIT (FIT)
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
Šimková Hana, Mgr. Bc., Ph.D., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
URL
Published
2017
Pages
25–25
Book
The proceedings of the 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference
MEMICS'17 - 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Place
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"
}
Projects
AQUAS: Aggregated Quality Assurance for Systems, EU, Horizon 2020, 8A17001, 737475, start: 2017-05-01, end: 2020-04-30, completed
Bezpečné a spolehlivé počítačové systémy, BUT, Vnitřní projekty VUT, FIT-S-17-4014, start: 2017-03-01, end: 2020-02-29, completed
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, start: 2016-01-01, end: 2020-12-31, completed
ROBUST - veRificatiOn and Bug hUnting for advanced SofTware, GACR, Standardní projekty, GA17-12465S, start: 2017-01-01, end: 2019-12-31, completed
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top