Publication Details

Sophisticated Testing of Concurrent Programs

LETKO, Z. Sophisticated Testing of Concurrent Programs. SSBSE '10. Proceedings of 2nd International Symposium on Search Based Software Engineering. Benevento: Institute of Electrical and Electronics Engineers, 2010. p. 36-40. ISBN: 978-0-7695-4195-2.
Czech title
Sofistikované testování vícevláknových programů
Type
conference paper
Language
English
Authors
Letko Zdeněk, Ing., Ph.D. (CM-SFE)
Keywords

testing, search-based techniques, concurrency

Abstract

Search-based techniques were successfully applied to many different areas oftesting but according to our knowledge there are no works that appliessearch-based techniques to testing of concurrent software, yet. This PhD paper describes plans and already achieved preliminary results withapplying search-based techniques to testing of concurrent software. Inparticular, we plan to combine noise injection techniques for testing ofconcurrent software, various concurrency coverage measures, and several dynamicanalyses with search-based optimization techniques.  

Published
2010
Pages
36–40
Proceedings
SSBSE '10
Series
Proceedings of 2nd International Symposium on Search Based Software Engineering
ISBN
978-0-7695-4195-2
Publisher
Institute of Electrical and Electronics Engineers
Place
Benevento
BibTeX 
@inproceedings{BUT35728,
  author="Zdeněk {Letko}",
  title="Sophisticated Testing of Concurrent Programs",
  booktitle="SSBSE '10",
  year="2010",
  series="Proceedings of 2nd International Symposium on Search Based Software Engineering",
  pages="36--40",
  publisher="Institute of Electrical and Electronics Engineers",
  address="Benevento",
  isbn="978-0-7695-4195-2",
  url="https://www.fit.vut.cz/research/publication/9298/"
}
Back to top