{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:52:03Z","timestamp":1760586723188,"version":"3.41.0"},"reference-count":61,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T00:00:00Z","timestamp":1404172800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002920","name":"Research Grants Council, University Grants Committee, Hong Kong","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002920","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Auton. Adapt. Syst."],"published-print":{"date-parts":[[2014,7]]},"abstract":"<jats:p>\n            Context-aware pervasive software is responsive to various contexts and their changes. A faulty implementation of the context-aware features may lead to unpredictable behavior with adverse effects. In software testing, one of the most important research issues is to determine the sufficiency of a test suite to verify the software under test. Existing adequacy criteria for testing traditional software, however, have not explored the dimension of serial test inputs and have not considered context changes when constructing test suites. In this article, we define the concept of\n            <jats:italic>context diversity<\/jats:italic>\n            to capture the extent of context changes in serial inputs and propose three strategies to study how context diversity may improve the effectiveness of the data-flow testing criteria. Our case study shows that the strategy that uses test cases with higher context diversity can significantly improve the effectiveness of existing data-flow testing criteria for context-aware pervasive software. In addition, test suites with higher context diversity are found to execute significantly longer paths, which may provide a clue that reveals why context diversity can contribute to the improvement of effectiveness of test suites.\n          <\/jats:p>","DOI":"10.1145\/2620000","type":"journal-article","created":{"date-parts":[[2014,7,22]],"date-time":"2014-07-22T15:08:20Z","timestamp":1406041700000},"page":"1-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Improving the Effectiveness of Testing Pervasive Software via Context Diversity"],"prefix":"10.1145","volume":"9","author":[{"given":"Huai","family":"Wang","sequence":"first","affiliation":[{"name":"The University of Hong Kong, Pokfulam, Hong Kong"}]},{"given":"W. K.","family":"Chan","sequence":"additional","affiliation":[{"name":"City University of Hong Kong, Hong Kong"}]},{"given":"T. H.","family":"Tse","sequence":"additional","affiliation":[{"name":"The University of Hong Kong, Pokfulam, Hong Kong"}]}],"member":"320","published-online":{"date-parts":[[2014,7,17]]},"reference":[{"volume-title":"Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99)","author":"Alur R.","key":"e_1_2_2_1_1","unstructured":"R. Alur and M. Yannakakis . 1999. Model checking of message sequence charts . In Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99) . Springer, London, UK, 114--129. R. Alur and M. Yannakakis. 1999. Model checking of message sequence charts. In Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99). Springer, London, UK, 114--129."},{"key":"e_1_2_2_2_1","doi-asserted-by":"crossref","unstructured":"P. Ammann and J. Offutt. 2008. Introduction to Software Testing. Cambridge University Press New York NY.   P. Ammann and J. Offutt. 2008. Introduction to Software Testing. Cambridge University Press New York NY.","DOI":"10.1017\/CBO9780511809163"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.83"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(89)90078-0"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.25"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.78"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/567446.567468"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2015553.2015790"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1363102.1363107"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.02.004"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923410"},{"key":"e_1_2_2_13_1","volume-title":"Proceedings of the 2nd Conference on Computer Science and Engineering in Lin\u00f6ping (ECSEL'99)","author":"Edvardsson J.","year":"1999","unstructured":"J. Edvardsson . 1999 . A survey on automatic test data generation . In Proceedings of the 2nd Conference on Computer Science and Engineering in Lin\u00f6ping (ECSEL'99) . Lin\u00f6ping, Sweden, 21--28. J. Edvardsson. 1999. A survey on automatic test data generation. In Proceedings of the 2nd Conference on Computer Science and Engineering in Lin\u00f6ping (ECSEL'99). Lin\u00f6ping, Sweden, 21--28."},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1966.1053873"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.238581"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.6194"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1950.tb00463.x"},{"volume-title":"Proceedings of the 25th International Conference on Software Engineering (ICSE'03)","author":"Harder M.","key":"e_1_2_2_18_1","unstructured":"M. Harder , J. Mellen , and M. D. Ernst . 2003. Improving test suites via operational abstraction . In Proceedings of the 25th International Conference on Software Engineering (ICSE'03) . IEEE Computer Society, Los Alamitos, CA, 60--71. M. Harder, J. Mellen, and M. D. Ernst. 2003. Improving test suites via operational abstraction. In Proceedings of the 25th International Conference on Software Engineering (ICSE'03). IEEE Computer Society, Los Alamitos, CA, 60--71."},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.71"},{"volume-title":"Proceedings of the 2013 International Conference on Software Engineering (ICSE'13)","author":"Hassan M. M.","key":"e_1_2_2_20_1","unstructured":"M. M. Hassan and J. H. Andrews . 2013. Comparing multi-point stride coverage and dataflow coverage . In Proceedings of the 2013 International Conference on Software Engineering (ICSE'13) . IEEE, Piscataway, NJ, 172--181. M. M. Hassan and J. H. Andrews. 2013. Comparing multi-point stride coverage and dataflow coverage. In Proceedings of the 2013 International Conference on Software Engineering (ICSE'13). IEEE, Piscataway, NJ, 172--181."},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025115.1025217"},{"volume-title":"Proceedings of the 16th International Conference on Software Engineering (ICSE'94)","author":"Hutchins M.","key":"e_1_2_2_22_1","unstructured":"M. Hutchins , H. Foster , T. Goradia , and T. Ostrand . 1994. Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria . In Proceedings of the 16th International Conference on Software Engineering (ICSE'94) . IEEE Computer Society, Los Alamitos, CA, 191--200. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. 1994. Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. In Proceedings of the 16th International Conference on Software Engineering (ICSE'94). IEEE Computer Society, Los Alamitos, CA, 191--200."},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.18"},{"key":"e_1_2_2_24_1","first-page":"1","article-title":"A formal model of a multi-step coordination protocol for self-adaptive software using coloured Petri nets","volume":"7","author":"Kacem N. H.","year":"2009","unstructured":"N. H. Kacem , A. H. Kacem , and K. Drira . 2009 . A formal model of a multi-step coordination protocol for self-adaptive software using coloured Petri nets . International Journal of Computing and Information Sciences 7 , 1 . N. H. Kacem, A. H. Kacem, and K. Drira. 2009. A formal model of a multi-step coordination protocol for self-adaptive software using coloured Petri nets. International Journal of Computing and Information Sciences 7, 1.","journal-title":"International Journal of Computing and Information Sciences"},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940086"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462191"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453115"},{"volume-title":"Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE'03)","author":"Leon D.","key":"e_1_2_2_28_1","unstructured":"D. Leon and A. Podgurski . 2003. A comparison of coverage-based and distribution-based techniques for filtering and prioritizing test cases . In Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE'03) . IEEE Computer Society, Los Alamitos, CA, 442--453. D. Leon and A. Podgurski. 2003. A comparison of coverage-based and distribution-based techniques for filtering and prioritizing test cases. In Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE'03). IEEE Computer Society, Los Alamitos, CA, 442--453."},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926389"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.11.004"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.11.055"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181805"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368098"},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134425"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368139"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062496"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151695.1151698"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:WINE.0000044029.06344.dd"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199602)26:2%3C165::AID-SPE5%3E3.0.CO;2-K"},{"key":"e_1_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/13.1.25"},{"key":"e_1_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258079"},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/302979.303126"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.35"},{"key":"e_1_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321682"},{"key":"e_1_2_2_46_1","volume-title":"Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04)","volume":"1","author":"Tse T. H.","unstructured":"T. H. Tse , S. S. Yau , W. K. Chan , H. Lu , and T. Y. Chen . 2004. Testing context-sensitive middleware-based software applications . In Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04) , Vol. 1 . IEEE Computer Society, Los Alamitos, CA, 458--465. T. H. Tse, S. S. Yau, W. K. Chan, H. Lu, and T. Y. Chen. 2004. Testing context-sensitive middleware-based software applications. In Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04), Vol. 1. IEEE Computer Society, Los Alamitos, CA, 458--465."},{"volume-title":"Test suite minimization: An empirical investigation. BSCS Thesis","author":"von Ronne J.","key":"e_1_2_2_47_1","unstructured":"J. von Ronne . 1999. Test suite minimization: An empirical investigation. BSCS Thesis , Oregon State University , Corvallis, OR . J. von Ronne. 1999. Test suite minimization: An empirical investigation. BSCS Thesis, Oregon State University, Corvallis, OR."},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.79"},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2010.57"},{"key":"e_1_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.18"},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.44376"},{"key":"e_1_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.234485"},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2008.46"},{"key":"e_1_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1656250.1656253"},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138929.1138949"},{"key":"e_1_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2012.259"},{"key":"e_1_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2012.40"},{"key":"e_1_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2010.98"},{"key":"e_1_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134337"},{"key":"e_1_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1509239.1509262"},{"key":"e_1_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"}],"container-title":["ACM Transactions on Autonomous and Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2620000","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2620000","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:56:15Z","timestamp":1750272975000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2620000"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7]]},"references-count":61,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["10.1145\/2620000"],"URL":"https:\/\/doi.org\/10.1145\/2620000","relation":{},"ISSN":["1556-4665","1556-4703"],"issn-type":[{"type":"print","value":"1556-4665"},{"type":"electronic","value":"1556-4703"}],"subject":[],"published":{"date-parts":[[2014,7]]},"assertion":[{"value":"2012-10-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-07-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}