Result Details

Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software

DUDKA, V.; KŘENA, B.; LETKO, Z.; ŠIMKOVÁ, H.; VOJNAR, T. Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. Proceedings of MEMICS'14. Brno: 2014. p. 133-133.
Type
abstract
Language
English
Authors
Dudka Vendula, Ing., FIT (FIT)
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
Letko Zdeněk, Ing., Ph.D., DITS (FIT)
Šimková Hana, Mgr. Bc., Ph.D., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Keywords

Concurrent programs, testing, noise injection, genetic algorithm, multi-objective

Published
2014
Pages
133–133
Book
Proceedings of MEMICS'14
Conference
MEMICS'14 -- 9th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Place
Brno
BibTeX 
@misc{BUT192989,
  author="Vendula {Dudka} and Bohuslav {Křena} and Zdeněk {Letko} and Hana {Šimková} and Tomáš {Vojnar}",
  title="Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software",
  booktitle="Proceedings of MEMICS'14",
  year="2014",
  pages="133--133",
  address="Brno",
  note="Abstract"
}
Projects
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, start: 2011-01-01, end: 2015-12-31, completed
Intelligent Testing and Analysis of Concurrent Software, MŠMT, KONTAKT II (2011-2017), LH13265, start: 2013-04-01, end: 2015-03-31, completed
Spolehlivost a bezpečnost v IT, BUT, Vnitřní projekty VUT, FIT-S-14-2486, start: 2014-01-01, end: 2016-12-31, completed
Support of Interdisciplinary Excellence Research Teams Establishment at BUT, EU, OP VK - Oblast podpory 2.3 - Lidské zdroje ve VaV, EE2.3.30.0005, start: 2012-07-01, end: 2015-06-30, completed
Verifikace a optimalizace počítačových systémů, BUT, Vnitřní projekty VUT, FIT-S-12-1, start: 2012-01-01, end: 2014-12-31, completed
Research groups
Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)
Departments
Department of Intelligent Systems (DITS)
Back to top