Fakulta informačních technologií VUT v Brně

Detail publikace

Discovering Concurrency Errors

LOURENCO Joao, FIEDOR Jan, KŘENA Bohuslav a VOJNAR Tomáš. Discovering Concurrency Errors. Lectures on Runtime Verification: Introductory and Advanced Topics. Lecture Notes in Computer Science, vol 10457. Cham: Springer International Publishing, 2018, s. 34-60. ISBN 978-3-319-75632-5. Dostupné z: https://doi.org/10.1007/978-3-319-75632-5_2
Název česky
Odhalování chyb v paralelismech
Typ
kapitola v knize
Jazyk
angličtina
Autoři
Lourenco Joao (UTL)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
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, DE
DOI
BibTeX
@INBOOK{FITPUB11736,
   author = "Joao Lourenco and Jan Fiedor and Bohuslav K\v{r}ena and Tom\'{a}\v{s} Vojnar",
   title = "Discovering Concurrency Errors",
   pages = "34--60",
   booktitle = "Lectures on Runtime Verification: Introductory and Advanced Topics",
   series = "Lecture Notes in Computer Science, vol 10457",
   year = 2018,
   location = "Cham, DE",
   publisher = "Springer International Publishing",
   ISBN = "978-3-319-75632-5",
   doi = "10.1007/978-3-319-75632-5\_2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11736"
}
Nahoru