Kapitola v knize

LOURENCO Joao, FIEDOR Jan, KŘENA Bohuslav a VOJNAR Tomáš. Discovering Concurrency Errors. Lectures on Runtime Verification: Introductory and Advanced Topics. 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
Jazyk publikace:angličtina
Název publikace:Discovering Concurrency Errors
Název (cs):Odhalování chyb v paralelismech
Strany:34-60
Kniha:Lectures on Runtime Verification: Introductory and Advanced Topics
Řada knih:Lecture Notes in Computer Science, vol 10457
Místo vydání:Cham, DE
Rok:2018
URL:https://doi.org/10.1007/978-3-319-75632-5_2
ISBN:978-3-319-75632-5
DOI:10.1007/978-3-319-75632-5_2
Vydavatel:Springer International Publishing
Klíčová slova
Software correctness, quality assurance, nondeterminism, concurrency errors, atomicity violations, data races, deadlocks, dynamic analysis, noise injection.
Anotace
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.
BibTeX:
@INBOOK{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs.iso-8859-2?id=11736}
}

Vaše IPv4 adresa: 3.226.251.81
Přepnout na https