Inproceedings,

Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs.

, , and .
InnoSWDev@SIGSOFT FSE, page 49-56. ACM, (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews