Result Details
Sophisticated Testing of Concurrent Software
LETKO, Z. Sophisticated Testing of Concurrent Software. 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.
Type
conference paper
Language
English
Authors
Letko Zdeněk, Ing., Ph.D., DITS (FIT)
Abstract
Search-based techniques were successfully applied to many different areas of
testing but according to our knowledge there are no works that applies
search-based techniques to testing of concurrent software, yet.
This PhD paper describes plans and already achieved preliminary results with
applying search-based techniques to testing of concurrent software. In
particular, we plan to combine noise injection techniques for testing of
concurrent software, various concurrency coverage measures, and several dynamic
analyses with search-based optimization techniques.
Keywords
testing, search-based techniques, concurrency
Published
2010
Pages
36–40
Proceedings
SSBSE '10
Series
Proceedings of 2nd International Symposium on Search Based Software Engineering
Conference
SSBSE - 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 Software",
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/"
}
Files
Projects
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, start: 2009-01-30, end: 2012-12-31, completed
Secured, reliable and adaptive computer systems, BUT, Vnitřní projekty VUT, FIT-S-10-1, start: 2010-03-01, end: 2010-12-31, completed
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, Standardní projekty, GAP103/10/0306, start: 2010-01-01, end: 2013-12-31, running
Secured, reliable and adaptive computer systems, BUT, Vnitřní projekty VUT, FIT-S-10-1, start: 2010-03-01, end: 2010-12-31, completed
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, Standardní projekty, GAP103/10/0306, start: 2010-01-01, end: 2013-12-31, running
Research groups
Departments