GoDetector: Detecting Concurrent Bug in Go

Go provides a new concurrency mechanism based on message-passing, which brings a series of new concurrency bugs. The existing tools are highly dependent on model-checking methods in which they take the source program as the input of model-checking tools to detect the potential concurrent bugs. Howev...

Szczegółowa specyfikacja

Zapisane w:
Opis bibliograficzny
Główni autorzy: Dongwen Zhang, Penghao Qi, Yang Zhang
Format: Artigo
Język:Inglês
Wydane: IEEE 2021-01-01
Seria:IEEE Access
Hasła przedmiotowe:
Concurrency bugs
channel
WaitGroup
static analysis
pushdown automaton
Dostęp online:https://ieeexplore.ieee.org/document/9550776/
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!

Podobne zapisy