{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T17:53:50Z","timestamp":1649008430443},"reference-count":15,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2017]]},"DOI":"10.1587\/transinf.2016edp7388","type":"journal-article","created":{"date-parts":[[2017,2,28]],"date-time":"2017-02-28T19:56:30Z","timestamp":1488311790000},"page":"473-482","source":"Crossref","is-referenced-by-count":0,"title":["SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code"],"prefix":"10.1587","volume":"E100.D","author":[{"given":"Ziyi","family":"LIN","sequence":"first","affiliation":[{"name":"School of Software, Shanghai Jiao Tong University"}]},{"given":"Yilei","family":"ZHOU","sequence":"additional","affiliation":[{"name":"School of Software, Shanghai Jiao Tong University"}]},{"given":"Hao","family":"ZHONG","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Shanghai Jiao Tong University"}]},{"given":"Yuting","family":"CHEN","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Shanghai Jiao Tong University"}]},{"given":"Haibo","family":"YU","sequence":"additional","affiliation":[{"name":"School of Software, Shanghai Jiao Tong University"}]},{"given":"Jianjun","family":"ZHAO","sequence":"additional","affiliation":[{"name":"Faculty of Information Science and Electrical Engineering, Kyushu University"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] G. Pinto, W. Torres, B. Fernandes, F. Castor, and R.S.M. Barros, \u201cA large-scale study on the usage of java's concurrent programming constructs,\u201d Proc. Journal of Systems and Software, vol.106, pp.59-81, 2015.","DOI":"10.1016\/j.jss.2015.04.064"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] Y. Eytani, K. Havelund, S.D. Stoller, and S. Ur, \u201cTowards a framework and a benchmark for testing tools for multi-threaded programs,\u201d Proc. Concurrency and Computation: Practice and Experience, vol.19, no.3, pp.267-279, 2007.","DOI":"10.1002\/cpe.1068"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] S.M. Melo, S.R.S. Souza, R.A. Silva, and P.S.L. Souza, \u201cConcurrent software testing in practice: A catalog of tools,\u201d Proc. 6th A-TEST, New York, NY, USA, pp.31-40, Aug. 2015.","DOI":"10.1145\/2804322.2804328"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] K. Lu, X. Zhou, T. Bergan, and X. Wang, \u201cEfficient deterministic multithreading without global barriers,\u201d Proc. 19th PPoPP, New York, NY, USA, vol.49, no.8, pp.287-300, Feb. 2014.","DOI":"10.1145\/2555243.2555252"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] L. Wildman, B. Long, and P. Strooper, \u201cDealing with non-determinism in testing concurrent java components,\u201d Proc. 12th APSEC, pp.393-400, IEEE, Dec. 2005.","DOI":"10.1109\/APSEC.2005.58"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] W. Pugh and N. Ayewah, \u201cUnit testing concurrent software,\u201d Proc. 22nd ASE, New York, NY, USA, pp.513-516, Nov. 2007.","DOI":"10.1145\/1321631.1321722"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] V. Jagannath, M. Gligoric, D. Jin, Q. Luo, G. Rosu, and D. Marinov, \u201cImproved multithreaded unit testing,\u201d Proc. 19th FSE, Szeged, Hungary, pp.223-233, Sept. 2011.","DOI":"10.1145\/2025113.2025145"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] C.-S. Park and K. Sen, \u201cConcurrent breakpoints,\u201d Proc. 17th PPoPP, New York, NY, USA, pp.331-332, March 2012.","DOI":"10.1145\/2145816.2145880"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] T. Elmas, J. Burnim, G. Necula, and K. Sen, \u201cCONCURRIT: a domain specific language for reproducing concurrency bugs,\u201d Proc. 34th PLDI, Seattle, WA, USA, pp.153-164, June 2013.","DOI":"10.1145\/2491956.2462162"},{"key":"10","unstructured":"[10] E. Vainer and A. Yehudai, \u201cTaming the concurrency: Controlling concurrent behavior while testing multithreaded software,\u201d Proc. CoRR, vol.abs\/1409.0982, 2014."},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Z. Lin, D. Marinov, H. Zhong, Y. Chen, and J. Zhao, \u201cJacontebe: A benchmark suite of real-world java concurrency bugs (T),\u201d Proc. 30th ASE, Lincoln, NE, USA, pp.178-189, Nov. 2015.","DOI":"10.1109\/ASE.2015.87"},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] J. Huang, P. Liu, and C. Zhang, \u201cLeap: Lightweight deterministic multi-processor replay of concurrent java programs,\u201d Proc. 18th FSE, New York, NY, USA, pp.207-216, Nov. 2010.","DOI":"10.1145\/1882291.1882361"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] J. Huang, C. Zhang, and J. Dolby, \u201cClap: Recording local executions to reproduce concurrency failures,\u201d Proc. 34th PLDI, New York, NY, USA, pp.141-152, June 2013.","DOI":"10.1145\/2491956.2462167"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] J. R\u00f6\u00dfler, A. Zeller, G. Fraser, C. Zamfir, and G. Candea, \u201cReconstructing core dumps,\u201d Proc. 6th ICST, Luxembourg, Luxembourg, pp.114-123, March 2013.","DOI":"10.1109\/ICST.2013.18"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] C. Zamfir and G. Candea, \u201cExecution synthesis: a technique for automated software debugging,\u201d Proc. 5th EuroSys, Paris, France, pp.321-334, April 2010.","DOI":"10.1145\/1755913.1755946"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E100.D\/3\/E100.D_2016EDP7388\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,19]],"date-time":"2019-09-19T01:39:53Z","timestamp":1568857193000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E100.D\/3\/E100.D_2016EDP7388\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2016edp7388","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}