Login / Signup
Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs.
To Tsui
Shangru Wu
Wing Kwong Chan
Published in:
InnoSWDev@SIGSOFT FSE (2014)
Keyphrases
</>
object oriented languages
software systems
database systems
computer programs
fixed number
multi user
concurrency control
user interface
test cases
open source
highly efficient
software engineering
design methodology
object oriented
static analysis
databases
concurrent programming