{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T04:19:41Z","timestamp":1775017181566,"version":"3.50.1"},"reference-count":37,"publisher":"Pleiades Publishing Ltd","issue":"8","license":[{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1134\/s0361768821080211","type":"journal-article","created":{"date-parts":[[2021,12,28]],"date-time":"2021-12-28T07:02:31Z","timestamp":1640674951000},"page":"765-777","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Stream X-Machine Tool for Modelling and Generating Test Cases for Chronic Diseases Based on State-Counting Approach"],"prefix":"10.1134","volume":"47","author":[{"given":"K.","family":"Phung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Jayatilake","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Ogunshile","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Aydin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2021,12,28]]},"reference":[{"key":"3635_CR1","doi-asserted-by":"publisher","first-page":"1339","DOI":"10.1161\/CIRCULATIONAHA.116.023446","volume":"134","author":"B.M. S\u00f6rensen","year":"2016","unstructured":"S\u00f6rensen, B.M., Houben, A.J.H.M., Berend-schot,\u00a0T.T.J.M., Schouten, J.S.A.G., Kroon, A.A., van der Kallen, C.J.H., Henry, R.M.A., Koster, A., Sep,\u00a0S.J.S., Dagnelie, P.C., Schaper, N.C., and Schram, M., Prediabetes and type 2 diabetes are associated with generalized microvascular dysfunction, Circulation, 2016, vol. 134, no. 18, pp. 1339\u20131352.","journal-title":"Circulation"},{"key":"3635_CR2","first-page":"291","volume":"9","author":"J.F. Ferguson","year":"2016","unstructured":"Ferguson, J.F., Allayee, H., Gerszten, R.E., Ideraabdullah, F., Kris-Etherton, P.M., Ordov\u00e1s, J.M., Rimm,\u00a0E.B., Wang, T.J., and Bennett, B.J., Nutrigenomics, the microbiome, and gene-environment interactions: new directions in cardiovascular disease research, prevention, and treatment, Circ.: Cardiovasc. Genet., 2016, vol. 9, no. 3, pp. 291\u2013313.","journal-title":"Circ.: Cardiovasc. Genet."},{"key":"3635_CR3","doi-asserted-by":"publisher","first-page":"e74341","DOI":"10.1371\/journal.pone.0074341","volume":"8","author":"P.J. Meikle","year":"2013","unstructured":"Meikle, P.J., Wong, G., Barlow, C.K., Weir, J.M., Greeve, M.A., MacIntosh, G.L., Almasy, L., Comuzzie, A.G., Mahaney, M.C., Kowalczyk, A., Haviv, I., Grantham, N., and Magliano, D.J., Plasma lipid profiling shows similar associations with prediabetes and type 2 diabetes, PLoS ONE, 2013, vol. 8, no. 9, p.\u00a0e74341.","journal-title":"PLoS ONE"},{"key":"3635_CR4","doi-asserted-by":"publisher","first-page":"e85724","DOI":"10.1371\/journal.pone.0085724","volume":"9","author":"A. Sigruener","year":"2014","unstructured":"Sigruener, A., Kleber, M.E., Heimerl, S., Liebisch, G., Schmitz, G., and Maerz, W., Glycerophospholipid and sphingolipid species and mortality: the Ludwigshafen Risk and Cardiovascular Health (LURIC) study, PLoS One, 2014, vol. 9, no. 1, p. e85724.","journal-title":"PLoS One"},{"key":"3635_CR5","doi-asserted-by":"publisher","first-page":"1135","DOI":"10.1111\/1475-6773.12401","volume":"51","author":"J. Basu","year":"2015","unstructured":"Basu, J., Avila, R., and Ricciardi, R., Hospital readmission rates in U.S. states: are readmissions higher where more patients with multiple chronic conditions cluster?, Health Serv. Res., 2015, vol. 51, no. 3, pp. 1135\u20131151.","journal-title":"Health Serv. Res."},{"key":"3635_CR6","doi-asserted-by":"publisher","DOI":"10.7249\/TL221","volume-title":"Multiple Chronic Conditions in the United States","author":"C. Buttorff","year":"2017","unstructured":"Buttorff, C., Ruder, T., and Bauman, M., Multiple Chronic Conditions in the United States, Santa Monica, CA: RAND Corporation, 2017."},{"key":"3635_CR7","doi-asserted-by":"publisher","first-page":"459","DOI":"10.3390\/nu11020459","volume":"11","author":"O. Ojo","year":"2019","unstructured":"Ojo, O., Nutrition and chronic conditions, Nutrients, 2019, vol. 11, no. 2, p. 459.","journal-title":"Nutrients"},{"key":"3635_CR8","doi-asserted-by":"publisher","first-page":"901","DOI":"10.2215\/CJN.07190712","volume":"8","author":"E.I. Mandel","year":"2013","unstructured":"Mandel, E.I., Taylor, E.N., and Curhan, G.C., Dietary and lifestyle factors and medical conditions associated with urinary citrate excretion, Clin. J. Am. Soc. Nephrol., 2013, vol. 8, no. 6, pp. 901\u2013908.","journal-title":"Clin. J. Am. Soc. Nephrol."},{"key":"3635_CR9","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1177\/0884533610380057","volume":"25","author":"K.M. Kolasa","year":"2010","unstructured":"Kolasa, K.M. and Rickett, K., Barriers to providing nutrition counseling cited by physicians, Nutr. Clin. Pract., 2010, vol. 25, no. 5, pp. 502\u2013509.","journal-title":"Nutr. Clin. Pract."},{"key":"3635_CR10","doi-asserted-by":"crossref","unstructured":"Flynn, M., Sciamanna, C., and Vigilante, K., Inadequate physician knowledge of the effects of diet on blood lipids and lipoproteins, Nutr. J., 2003, vol. 2, no. 1.","DOI":"10.1186\/1475-2891-2-19"},{"key":"3635_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/1752-0509-1-4","volume":"1","author":"M.A. Schaub","year":"2007","unstructured":"Schaub, M.A., Henzinger, T.A., and Fisher, J., Qualitative networks: a symbolic approach to analyze biological signaling networks, BMC Syst. Biol., 2007, vol. 1, no. 1, pp. 1\u201321.","journal-title":"BMC Syst. Biol."},{"key":"3635_CR12","unstructured":"Naldi, A., Thieffry, D., and Chaouiya, C., Decision diagrams for the representation and analysis of logical models of genetic networks, in Computational Methods in Systems Biology, Berlin, Heidelberg, 2007."},{"key":"3635_CR13","doi-asserted-by":"crossref","unstructured":"Miskov-Zivanov, N., Wei, P., and Loh, C.S.C., THiMED: time in hierarchical model extraction and design, Proc. Int. Conf. on Computational Methods in Systems Biology, Manchester, 2014, pp. 260\u2013263.","DOI":"10.1007\/978-3-319-12982-2_22"},{"key":"3635_CR14","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1016\/j.pmedr.2018.10.008","volume":"12","author":"C. Hajat","year":"2018","unstructured":"Hajat, C. and Stein, E., The global burden of multiple chronic conditions: a narrative review, Prev. Med. Rep., 2018, vol. 12, pp. 284\u2013293.","journal-title":"Prev. Med. Rep."},{"key":"3635_CR15","doi-asserted-by":"crossref","unstructured":"Stamatopoulou, I., Gheorghe, M., and Kefalas, P., Modelling dynamic organization of biology-inspired multi-agent systems with communicating X-machines and population P systems, Proc. Int. Workshop on Membrane Computing WMC 2004, Milan, 2004, pp. 389\u2013403.","DOI":"10.1007\/978-3-540-31837-8_25"},{"key":"3635_CR16","volume-title":"Automata, Languages and Machines","author":"S. Eilenberg","year":"1974","unstructured":"Eilenberg, S., Automata, Languages and Machines, Acad. Press, 1974, vol. A."},{"key":"3635_CR17","doi-asserted-by":"crossref","unstructured":"Dranidis, D., Bratanis, K., and Ipate, F., JSXM: a tool for automated test generation, Proc. Int. Conf. on Software Engineering and Formal Methods, Thessaloniki, 2012, pp. 352\u2013366.","DOI":"10.1007\/978-3-642-33826-7_25"},{"key":"3635_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3435-0","volume-title":"Correct Systems: Building a Business Process Solution","author":"M. Holcombe","year":"1998","unstructured":"Holcombe, M. and Ipate, F., Correct Systems: Building a Business Process Solution, Berlin: Springer, 1998."},{"key":"3635_CR19","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1080\/00207169708804559","volume":"63","author":"F. Ipate","year":"1997","unstructured":"Ipate, F. and Holcombe, M., An integration testing method that is proved to find all faults, Int. J. Comput. Math., 1997, vol. 63, pp. 159\u2013178.","journal-title":"Int. J. Comput. Math."},{"key":"3635_CR20","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/s001650070004","volume":"12","author":"F. Ipate","year":"2000","unstructured":"Ipate, F. and Holcombe, M., Generating test sequences from non-deterministic generalized stream X-machines, Formal Aspects Comput., 2000, vol. 12, no. 6, pp.\u00a0443\u2013458.","journal-title":"Formal Aspects Comput."},{"key":"3635_CR21","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/s001650200021","volume":"13","author":"F. Ipate","year":"2002","unstructured":"Ipate, F. and Holcombe, M., Testing conditions for communicating stream X-machine systems, Formal Aspects Comput., 2002, vol. 13, no. 6, pp. 431\u2013446.","journal-title":"Formal Aspects Comput."},{"key":"3635_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00165-015-0345-z","volume":"28","author":"F. Ipate","year":"2016","unstructured":"Ipate, F. and Dranidis, D., A unified integration and component testing approach from deterministic stream X-machine specifications, Formal Aspects Comput., 2016, vol. 28, no. 1, pp. 1\u201320.","journal-title":"Formal Aspects Comput."},{"key":"3635_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s00165-005-0085-6","volume":"18","author":"K. Bogdanov","year":"2006","unstructured":"Bogdanov, K., Holcombe, M., Ipate, F., Seed, L., and Vanak, S., Testing methods for X-machines, a review, Formal Aspects Comput., 2006, vol. 18, pp. 3\u201330.","journal-title":"Formal Aspects Comput."},{"key":"3635_CR24","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.tcs.2005.12.002","volume":"353","author":"F. Ipate","year":"2006","unstructured":"Ipate, F., Testing against a non-controllable stream X\u2011machine using state counting, Theor. Comput. Sci., 2006, vol. 353, pp. 291\u2013316.","journal-title":"Theor. Comput. Sci."},{"key":"3635_CR25","doi-asserted-by":"crossref","unstructured":"Phung, K. and Ogunshile, E., An algorithm for implementing a minimal stream X-machine model to test the correctness of a system, Proc. 8th Int. Conf. in Software Engineering Research and Innovation (CONISOFT), 2020, pp. 93\u2013101.","DOI":"10.1109\/CONISOFT50191.2020.00023"},{"key":"3635_CR26","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1134\/S0361768818060063","volume":"44","author":"J. Jayashree","year":"2018","unstructured":"Jayashree, J. and Kumar, S., Linear discriminant analysis based genetic algorithm with generalized regression neural network \u2013 a hybrid expert system for diagnosis of diabetes, Program. Comput. Software, 2018, vol. 44, no. 6, pp. 417\u2013427.","journal-title":"Program. Comput. Software"},{"key":"3635_CR27","doi-asserted-by":"crossref","unstructured":"Boemo, M.A., Cardelli, L., and Nieduszynski, C.A., The Beacon calculus: a formal method for the flexible and concise modelling of biological, PLOS Comput. Biol., 2020, vol. 16, no. 3.","DOI":"10.1371\/journal.pcbi.1007651"},{"key":"3635_CR28","first-page":"1","volume":"12","author":"R. Adnan","year":"2017","unstructured":"Adnan, R., Osman, H., Umair, S., and Sofi\u00e8ne, T., Formal reasoning about systems biology using theorem proving, PLOS ONE, 2017, vol. 12, pp. 1\u201327.","journal-title":"PLOS ONE"},{"key":"3635_CR29","doi-asserted-by":"crossref","unstructured":"Wang, Q. and Clarke, E.M., Formal modeling of biological systems, Proc. IEEE Int. High Level Design Validation and Test Workshop (HLDVT), Santa Cruz, CA, 2016, pp. 178\u2013184.","DOI":"10.1109\/HLDVT.2016.7748273"},{"key":"3635_CR30","volume-title":"The FMS Report: Ingersoll Engineers","year":"1984","unstructured":"The FMS Report: Ingersoll Engineers, Mortimer, J., Ed., Kempston: IFS Publ., 1984."},{"key":"3635_CR31","volume-title":"A New Kind of Science","author":"S. Wolfram","year":"2002","unstructured":"Wolfram, S., A New Kind of Science, Wolfram Media, 2002."},{"key":"3635_CR32","first-page":"197","volume":"68","author":"F. Ipate","year":"1998","unstructured":"Ipate, F. and Holcombe, M., A method for refining and testing generalized machine specifications, J. Comput. Math., 1998, vol. 68, pp. 197\u2013219.","journal-title":"J. Comput. Math."},{"key":"3635_CR33","doi-asserted-by":"crossref","unstructured":"Ipate, F. and Holcombe, M., Testing data processing-oriented systems from stream X-machine models, Theor. Comput. Sci., 2008, vols. 2\u20133, no. 176\u2013191, p. 403.","DOI":"10.1016\/j.tcs.2008.02.045"},{"key":"3635_CR34","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1134\/S0361768818060129","volume":"44","author":"J. Vijayashree","year":"2018","unstructured":"Vijayashree, J. and Sultana, H., A machine learning framework for feature selection in heart disease classification using improved particle swarm optimization with support vector machine classifier, Program. Comput. Software, 2018, vol. 44, no. 6, pp. 388\u2013397.","journal-title":"Program. Comput. Software"},{"key":"3635_CR35","doi-asserted-by":"crossref","unstructured":"Kapeti, P. and Kefalas, P., A design language and tool for X-machines specification, in Advances in Informatics, 2000, pp. 134\u2013145.","DOI":"10.1142\/9789812793928_0012"},{"key":"3635_CR36","unstructured":"Holcombe, M., Coakley, S., and Smallwood, R., A general framework for agent-based modelling of complex systems, Proc. European Conf. on Complex Systems, Oxford, 2006."},{"key":"3635_CR37","unstructured":"Ma, C., Wu, J., and Zhang, T., Sxmtool: a tool for stream x-machine testing, Proc. World Congress on Software Engineering, Wuhan, 2010."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768821080211.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768821080211","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768821080211.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:43:00Z","timestamp":1775011380000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768821080211"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12]]},"references-count":37,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["3635"],"URL":"https:\/\/doi.org\/10.1134\/s0361768821080211","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,12]]},"assertion":[{"value":"10 July 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 July 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 August 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 December 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}