Nalaganje...
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...
Shranjeno v:
| Main Authors: | , , |
|---|---|
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
IEEE
2021-01-01
|
| Serija: | IEEE Access |
| Teme: | |
| Online dostop: | https://ieeexplore.ieee.org/document/9550776/ |
| Oznake: |
Označite
Brez oznak, prvi označite!
|