{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:53:24Z","timestamp":1760586804909},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,5,14]],"date-time":"2016-05-14T00:00:00Z","timestamp":1463184000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1007\/s11704-016-5096-3","type":"journal-article","created":{"date-parts":[[2016,5,16]],"date-time":"2016-05-16T08:13:37Z","timestamp":1463386417000},"page":"631-643","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Variable strength combinatorial testing of concurrent programs"],"prefix":"10.1007","volume":"10","author":[{"given":"Xiaofang","family":"Qi","sequence":"first","affiliation":[]},{"given":"Jun","family":"He","sequence":"additional","affiliation":[]},{"given":"Peng","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Huayang","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"5096_CR1","volume-title":"Addison Wesley Longman","author":"A Burns","year":"2001","unstructured":"Burns A, Wellings A. Real\u2013Time systems and programming languages. Addison Wesley Longman, 2001."},{"issue":"1","key":"5096_CR2","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1147\/sj.411.0111","volume":"41","author":"O Edelstein","year":"2002","unstructured":"Edelstein O, Farchi E, Nir Y, Ratsaby G, Ur S. Multithreaded Java program test generation. Journal of IBM Systems, 2002, 41(1): 111\u2013125","journal-title":"Journal of IBM Systems"},{"key":"5096_CR3","first-page":"153","volume-title":"In: Proceedings of International Symposium on Software Testing and Analysis","author":"C Yang","year":"1998","unstructured":"Yang C, Souter A L, Pollock L L. All\u2013du\u2013Path coverage for parallel programs. In: Proceedings of International Symposium on Software Testing and Analysis. 1998, 153\u2013162"},{"issue":"3","key":"5096_CR4","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/32.126769","volume":"18","author":"R N Taylor","year":"1992","unstructured":"Taylor R N, Levine D L, Kelly C D. Structural testing of concurrent programs. IEEE Transactions on Software Engineering, 1992, 18(3): 206\u2013214","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5096_CR5","first-page":"110","volume-title":"In: Proceedings of the 32nd Symposium on Principles of Programming Languages","author":"C Flanagan","year":"2005","unstructured":"Flanagan C, Godefroid P. Dynamic partial order reduction for model checking software. In: Proceedings of the 32nd Symposium on Principles of Programming Languages. 2005, 110\u2013121"},{"issue":"4","key":"5096_CR6","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1142\/S0218194095000241","volume":"5","author":"G H Hwang","year":"1995","unstructured":"Hwang G H, Tai K C, Huang T L. Reachability testing: an approach to testing concurrent software. International Journal on Software Engineering and Knowledge Engineering, 1995, 5(4): 493\u2013510","journal-title":"International Journal on Software Engineering and Knowledge Engineering"},{"issue":"6","key":"5096_CR7","doi-asserted-by":"crossref","first-page":"382","DOI":"10.1109\/TSE.2006.56","volume":"32","author":"Y Lei","year":"2006","unstructured":"Lei Y, Carver R H. Reachability testing of concurrent programs. IEEE Transactions on Software and Engineering, 2006, 32(6): 382\u2013403","journal-title":"IEEE Transactions on Software and Engineering"},{"issue":"1","key":"5096_CR8","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s10009-009-0102-9","volume":"12","author":"R H Carver","year":"2010","unstructured":"Carver R H, Lei Y. A class library for implementing, testing, and debugging concurrent programs. International Journal on Software Tools for Technology Transfer, 2010, 12(1): 69\u201388","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"4","key":"5096_CR9","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1002\/stvr.369","volume":"17","author":"Y Lei","year":"2007","unstructured":"Lei Y, Carver R H, Kacker R, Kung D. A combinatorial testing strategy for concurrent programs. Journal of Software Testing, Verification, and Reliability, 2007, 17(4): 207\u2013225","journal-title":"Journal of Software Testing, Verification, and Reliability"},{"issue":"18","key":"5096_CR10","doi-asserted-by":"crossref","first-page":"2445","DOI":"10.1002\/cpe.1573","volume":"22","author":"R Carver","year":"2010","unstructured":"Carver R, Lei Y. Distributed reachability testing. Concurrency and Computation: Practice and Experience, 2010, 22(18): 2445\u20132466","journal-title":"Concurrency and Computation: Practice and Experience"},{"issue":"6","key":"5096_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TSE.2004.16","volume":"30","author":"D R Kuhn","year":"2004","unstructured":"Kuhn D R, Wallace D R. Software fault interaction and implication for software testing. IEEE Transactions on Software Engineering, 2004, 30(6): 1\u20134","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"5096_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1883612.1883618","volume":"43","author":"C Nie","year":"2011","unstructured":"Nie C, Leung H. A survey of combinatorial testing. ACM Computing Surveys, 2011, 43(2): 11: 1\u201329","journal-title":"ACM Computing Surveys"},{"issue":"6","key":"5096_CR13","doi-asserted-by":"crossref","first-page":"1088","DOI":"10.1145\/1186632.1186636","volume":"28","author":"M G Nanda","year":"2006","unstructured":"Nanda M G, Ramesh S. Inter\u2013procedural slicing of multithreaded programs with applications to Java. ACM Transactions on Programming Language Systems, 2006, 28(6): 1088\u20131144","journal-title":"ACM Transactions on Programming Language Systems"},{"issue":"12","key":"5096_CR14","first-page":"2542","volume":"35","author":"Z Y Wang","year":"2013","unstructured":"Wang Z Y, Qian J, Chen L, Xu BW. Generating variable strength combinatorial test suite with one\u2013test\u2013at\u2013a\u2013time. Chinese Journals of Computers, 2013, 35(12): 2542\u20132552","journal-title":"Chinese Journals of Computers"},{"key":"5096_CR15","volume-title":"Dissertation for the Doctoral Degree","author":"Z Wang","year":"2009","unstructured":"Wang Z. Combinatorial test case generation and prioritization. Dissertation for the Doctoral Degree. Nanjing: Southeast University, 2009"},{"issue":"1","key":"5096_CR16","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/358527.358537","volume":"24","author":"G Ricart","year":"1981","unstructured":"Ricart G, Agrawala A K. An optimal algorithm for mutual exclusion in computer networks. Communications of the ACM, 1981, 24(1): 9\u201317","journal-title":"Communications of the ACM"},{"key":"5096_CR17","volume-title":"Concurrency State models and Java programs","author":"J Magee","year":"2006","unstructured":"Magee J, Kramer J. Concurrency State models and Java programs. John Wiley & Sons, 2006"},{"key":"5096_CR18","first-page":"224","volume-title":"In: Proceedings of International Symposium on Software Testing and Analysis","author":"M Gligoric","year":"2013","unstructured":"Gligoric M, Zhang L, Pereira C, Pokam G. Selective mutation testing for concurrent code. In: Proceedings of International Symposium on Software Testing and Analysis. 2013, 224\u2013234"},{"key":"5096_CR19","volume-title":"In: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems","author":"S Lu","year":"2008","unstructured":"Lu S, Park S, Seo E, Zhou Y Y. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems. 2008"},{"key":"5096_CR20","first-page":"654","volume-title":"In: Proceedings of International Symposium on Foundations of Software Engineering","author":"R Just","year":"2014","unstructured":"Just R, Jalali D, Inozemtseva L, Ernst M D, Holmes R, Fraser G. Are mutants a valid substitute for real faults in software testing? In: Proceedings of International Symposium on Foundations of Software Engineering. 2014, 654\u2013665"},{"issue":"1","key":"5096_CR21","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0950-5849(92)90093-5","volume":"34","author":"R D Yang","year":"1992","unstructured":"Yang R D, Chung C G. A path analysis approach to concurrent program testing. Information and Software Technology, 1992, 34(1): 43\u201356","journal-title":"Information and Software Technology"},{"key":"5096_CR22","first-page":"53","volume-title":"In: Proceedings of International Symposium on Software Testing and Analysis","author":"C Yang","year":"1998","unstructured":"Yang C, Souter A L, Pollock L L. All\u2013du\u2013path coverage for parallel programs. In: Proceedings of International Symposium on Software Testing and Analysis. 1998, 53\u2013162"},{"issue":"3","key":"5096_CR23","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/32.126769","volume":"18","author":"R N Taylor","year":"1992","unstructured":"Taylor R N, Levine D L, Kelly C D. Structural testing of concurrent programs. IEEE Transactions on Software Engineering, 1992, 18(3): 206\u2013214","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"7","key":"5096_CR24","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1109\/32.538606","volume":"22","author":"P Godefroid","year":"1996","unstructured":"Godefroid P, Peled D, Staskauskas M. Using partial\u2013order methods in the formal validation of industrial concurrent programs. IEEE Transactions on Software Engineering, 1996, 22(7): 496\u2013507","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5096_CR25","unstructured":"Souza S R S, Souza P S L, Machado M, Camillo M, Sim\u00e3o A, Za luska E. Using coverage and reachability testing to improve concurrent program testing quality. In: Proceedings of the 23th International Conference on Software Engineering and Knowledge Engineering. 2011: 207\u2013212"},{"key":"5096_CR26","doi-asserted-by":"crossref","unstructured":"Cohen M B, Gibbons P B, Mugridge W B, Colbourn C J, Collofello J S. Variable strength interaction testing of components. In: Proceedings of the 27th Annual International Computer Software and Applications Conference. 2003: 413\u2013418","DOI":"10.1109\/CMPSAC.2003.1245373"},{"key":"5096_CR27","volume-title":"Dissertation for the Doctoral Degree","author":"P J Schroeder","year":"2001","unstructured":"Schroeder P J. Black\u2013box test reduction using input\u2013output analysis. Dissertation for the Doctoral Degree. Chicago: Illinois Institute of Technology, 2001"},{"key":"5096_CR28","unstructured":"Czerwonka J. Pairwise testing in real world: practical extensions to test case generator. In: Proceedings of the 24th Pacific Northwest Software Quality Conference. 2006: 419\u2013430"},{"key":"5096_CR29","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/1375581.1375584","volume-title":"In: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"K Sen","year":"2008","unstructured":"Sen K. Race directed random testing of concurrent programs. In: Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation. 2008, 11\u201321"},{"key":"5096_CR30","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1145\/2001420.2001438","volume-title":"In: Proceedings of the 2011 International Symposium on Software Testing and Analysis","author":"J Huang","year":"2011","unstructured":"Huang J, Zhang C. Persuasive prediction of concurrency access anomalies. In: Proceedings of the 2011 International Symposium on Software Testing and Analysis. 2011, 144\u2013154"},{"key":"5096_CR31","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/978-3-642-39038-8_11","volume-title":"In: Proceedings of the 2013 European Conference on Object-Oriented Programming","author":"C Flanagan","year":"2013","unstructured":"Flanagan C, Freund S N. RedCard: redundant check elimination for dynamic race detectors. In: Proceedings of the 2013 European Conference on Object-Oriented Programming. 2013, 255\u2013279"},{"key":"5096_CR32","first-page":"337","volume-title":"In: Proceedings of the 2014 Conference on Programming Language Design and Implementation","author":"J Huang","year":"2014","unstructured":"Huang J, Meredith P O, Rosu G. Maximal sound predictive race detection with control flow abstraction. In: Proceedings of the 2014 Conference on Programming Language Design and Implementation. 2014, 337\u2013348"},{"key":"5096_CR33","doi-asserted-by":"crossref","unstructured":"Cai Y, Cao L. Effective and precise dynamic detection of hidden races for java programs. In: Proceedings of the 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. 2015: 450\u2013460","DOI":"10.1145\/2786805.2786839"},{"key":"5096_CR34","first-page":"245","volume-title":"In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering","author":"S Park","year":"2010","unstructured":"Park S, Vuduc R W, Harrold M J. Falcon: fault localization in concurrent programs. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering. 2010, 245\u2013254"},{"issue":"12","key":"5096_CR35","doi-asserted-by":"crossref","first-page":"2407","DOI":"10.1109\/TPDS.2013.13","volume":"24","author":"Y Cai","year":"2013","unstructured":"Cai Y, Chan W K. Lock trace reduction for multithreaded programs. IEEE Transactions on Parallel and Distributed Systems, 2013, 24(12): 2407\u20132417","journal-title":"IEEE Transactions on Parallel and Distributed Systems"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-016-5096-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-016-5096-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-016-5096-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,7]],"date-time":"2019-09-07T17:59:03Z","timestamp":1567879143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-016-5096-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":35,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["5096"],"URL":"https:\/\/doi.org\/10.1007\/s11704-016-5096-3","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,5,14]]}}}