Detail publikace

Discovering Concurrency Errors

LOURENCO, J.; FIEDOR, J.; KŘENA, B.; VOJNAR, T. Discovering Concurrency Errors. In Lectures on Runtime Verification: Introductory and Advanced Topics. Lecture Notes in Computer Science, vol 10457. Cham: Springer International Publishing, 2018. p. 34-60. ISBN: 978-3-319-75632-5.
Název česky
Odhalování chyb v paralelismech
Typ
kapitola v knize
Jazyk
anglicky
Autoři
Lourenco Joao (FIT)
Fiedor Jan, Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

Software correctness, quality assurance, nondeterminism, concurrency errors, atomicity violations, data races, deadlocks, dynamic analysis, noise injection.

Abstrakt

Tato kapitola diskutuje podstatu paralelního programování a různé třídy specifických chyb s ním spojených. Kapitola dále diskutuje různé techniky dynamické analýzy a testování určené k odhalování zmíněných chyb.

Rok
2018
Strany
34–60
Kniha
Lectures on Runtime Verification: Introductory and Advanced Topics
Řada
Lecture Notes in Computer Science, vol 10457
ISBN
978-3-319-75632-5
Vydavatel
Springer International Publishing
Místo
Cham
DOI
10.1007/978-3-319-75632-5_2
EID Scopus
2-s2.0-85042118693
BibTeX 
@inbook{BUT155054,
  author="Joao {Lourenco} and Jan {Fiedor} and Bohuslav {Křena} and Tomáš {Vojnar}",
  title="Discovering Concurrency Errors",
  booktitle="Lectures on Runtime Verification: Introductory and Advanced Topics",
  year="2018",
  publisher="Springer International Publishing",
  address="Cham",
  series="Lecture Notes in Computer Science, vol 10457",
  pages="34--60",
  doi="10.1007/978-3-319-75632-5\{_}2",
  isbn="978-3-319-75632-5",
  url="https://doi.org/10.1007/978-3-319-75632-5_2"
}
Nahoru