{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:09:51Z","timestamp":1775012991232,"version":"3.50.1"},"reference-count":54,"publisher":"Pleiades Publishing Ltd","issue":"5","license":[{"start":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T00:00:00Z","timestamp":1283299200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T00:00:00Z","timestamp":1283299200000},"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":[[2010,9]]},"DOI":"10.1134\/s036176881005004x","type":"journal-article","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T02:24:48Z","timestamp":1285035888000},"page":"289-305","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Component architecture of model-based testing environment"],"prefix":"10.1134","volume":"36","author":[{"given":"V. V.","family":"Kuliamin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2010,9,22]]},"reference":[{"key":"6080_CR1","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C., Component Software: Beyond Object-Oriented Programming, Boston: Addison-Wesley, 2002, 2nd ed.","edition":"2nd ed."},{"key":"6080_CR2","unstructured":"Heineman, G.T. and Councill, W.T., Component-Based Software Engineering: Putting the Pieces Together, Addison-Wesley, 2001."},{"key":"6080_CR3","unstructured":"Parnas, D., Information Distribution Aspects of Design Methodology, Proc. of 1971 IFIP Congress, North Holland, 1971."},{"key":"6080_CR4","unstructured":"The Economic Impacts of Inadequate Infrastructure for Software Testing, Tassey, G., Ed., NIST Report, 2002."},{"key":"6080_CR5","unstructured":"Hamil, P., Unit Test Frameworks. Tools for High-Quality Software Development, O\u2019Reilly Media, 2004."},{"key":"6080_CR6","unstructured":"http:\/\/www.junit.org."},{"key":"6080_CR7","unstructured":"Model-Based Testing of Reactive Systems. Advanced Lectures, Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., and Pretschner, A., Eds., Lecture Notes in Computer Science, vol. 3472, Springer, 2005."},{"key":"6080_CR8","unstructured":"Utting, M. and Legeard, B., Practical Model-Based Testing: A Tools Approach, Morgan-Kaufmann, 2007."},{"issue":"3","key":"6080_CR9","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1109\/32.667877","volume":"24","author":"D. Peters","year":"1998","unstructured":"Peters, D. and Parnas, D., Using Test Oracles Generated from Program Documentation, IEEE Trans. Software Engineering, 1998, vol. 24, no. 3, pp. 161\u2013173.","journal-title":"IEEE Trans. Software Engineering"},{"key":"6080_CR10","unstructured":"Hoffman, D., Analysis of a Taxonomy for Test Oracles, Quality Week, 1998."},{"key":"6080_CR11","unstructured":"Baresi, L. and Young, M., Test Oracles, Tech. Report CIS-TR-01-02, http:\/\/www.cs.uoregon.edu\/~michal\/pubs\/oracles.html."},{"issue":"3","key":"6080_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D., Statecharts: A Visual Formalism for Complex Systems, Sci. Comput. Programming, 1987, vol. 8, no. 3, pp. 231\u2013274.","journal-title":"Sci. Comput. Programming"},{"key":"6080_CR13","doi-asserted-by":"crossref","unstructured":"Drusinsky, D., Modeling and Verification Using UML Statecharts, Elsevier, 2006.","DOI":"10.1016\/B978-075067949-7\/50004-0"},{"issue":"2","key":"6080_CR14","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., and Dill, D.L., A Theory of Timed Automata, J. Theor. Comput. Sci., 1994, vol. 126, no. 2, pp. 183\u2013235.","journal-title":"J. Theor. Comput. Sci."},{"issue":"1\u20132","key":"6080_CR15","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0304-3975(99)00134-6","volume":"254","author":"J. Springintveld","year":"2001","unstructured":"Springintveld, J., Vaandrager, F., and D\u2019Argenio, P.R., Testing Timed Automata, Theor. Comput. Sci., 2001, vol. 254, no. 1\u20132, pp. 225\u2013257.","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"6080_CR16","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall, P., and May, J., Software Unit Test Coverage and Adequacy, ACM Computing Surveys, 1997, vol. 29, no. 4, pp. 366\u2013427.","journal-title":"ACM Computing Surveys"},{"key":"6080_CR17","unstructured":"Kuliamin, V.V., Pakulin, N.V., Petrenko, O.L., Sortov, A.A., Khoroshilov, A.V., Requirement Formalization in Practice, Preprint of Inst. of System Programming, Russ. Acad. Sci., Moscow, 2006, no. 13."},{"key":"6080_CR18","doi-asserted-by":"crossref","unstructured":"Beck, K., Kent Beck\u2019s Guide to Better Smalltalk: A Sorted Collection, Cambridge Univ. Press, 1998.","DOI":"10.1017\/CBO9780511574979"},{"key":"6080_CR19","unstructured":"http:\/\/sunit.sourceforge.net\/."},{"key":"6080_CR20","unstructured":"Beust, C. and Suleiman, H., Next Generation Java Testing: TestNG and Advanced Concepts, Addison-Wesley, 2007."},{"key":"6080_CR21","unstructured":"http:\/\/testng.org\/."},{"key":"6080_CR22","unstructured":"http:\/\/www.dbunit.org."},{"key":"6080_CR23","unstructured":"http:\/\/www.httpunit.org."},{"key":"6080_CR24","unstructured":"http:\/\/jbehave.org\/."},{"key":"6080_CR25","unstructured":"http:\/\/nspecify.sourceforge.net\/."},{"key":"6080_CR26","unstructured":"http:\/\/mockito.org\/."},{"key":"6080_CR27","unstructured":"http:\/\/easymock.org\/."},{"key":"6080_CR28","unstructured":"Tretmans, J. and Brinksma, E., TorX: Automated Model-Based Testing, Proc. of 1st Eur. Conf. on Model-Driven Software Engineering, Nuremberg, Germany, 2003, pp. 31\u201343."},{"key":"6080_CR29","unstructured":"http:\/\/fmt.cs.utwente.nl\/tools\/torx\/introduction.html."},{"key":"6080_CR30","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1007\/3-540-61474-5_82","volume":"1102","author":"J.-C. Fernandez","year":"1996","unstructured":"Fernandez, J.-C., Jard, C., Je-ron, T., Nedelka, L., and Viho, C., Using On-the-Fly Verification Techniques for the Generation of Test Suites, Lecture Notes in Computer Science (Proc of 8th Int. Conf. on Computer-Aided Verification), Springer, 1996, vol. 1102, pp. 348\u2013359.","journal-title":"Lecture Notes in Computer Science"},{"key":"6080_CR31","unstructured":"http:\/\/www.inrialpes.fr\/vasy\/cadp\/man\/tgv.html."},{"key":"6080_CR32","unstructured":"Ambert, F., Bouquet, F., Chemin, S., Guenaud, S., Legeard, B., Peureux, F., Vacelet, N., and Utting, M., Z-TT: A Tool-set for Test Generation from Z and B Using Constraint Logic Programming, Proc. of Formal Approaches to Testing of Software, Brno, Czech Republic, 2002, pp. 105\u2013119."},{"key":"6080_CR33","unstructured":"Hartman, A. and Nagin, K., TCBeans Software Test Toolkit, Proc. of 12-th Int. Software Quality Week, 1999."},{"issue":"1","key":"6080_CR34","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1147\/sj.411.0089","volume":"41","author":"E. Farchi","year":"2002","unstructured":"Farchi, E., Hartman, A., and Pinter, S.S., Using a Model-based Test Generator to Test for Standard Conformance, IBM Systems J., 2002, vol. 41, no. 1, pp. 89\u2013110.","journal-title":"IBM Systems J."},{"key":"6080_CR35","unstructured":"http:\/\/www.conformiq.com\/qtronic.php."},{"key":"6080_CR36","unstructured":"http:\/\/www.smartesting.com\/index.php\/cms\/en\/exp-lore\/products."},{"key":"6080_CR37","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-45614-7_5","volume":"2391","author":"I. Bourdonov","year":"2002","unstructured":"Bourdonov, I., Kossatchev, A., Kuliamin, V., and Petrenko, A., UniTesK Test Suite Architecture, Lecture Notes in Computer Science (Proc. of FME 2002), Springer, 2002, vol. 2391, pp. 77\u201388.","journal-title":"Lecture Notes in Computer Science"},{"key":"6080_CR38","doi-asserted-by":"crossref","unstructured":"Kuliamin, V.V., Petrenko, A.K., Kossatchev, A.S., and Bourdonov, I.B., The UniTesK Approach to Designing Test Suites, Programmirovanie, 2003, no. 6, pp. 25\u201343 [Programming Comput. Software (Engl. Transl.), 2003, vol. 29, no. 6, pp. 310\u2013322].","DOI":"10.1023\/B:PACS.0000004131.54590.fb"},{"key":"6080_CR39","unstructured":"http:\/\/www.unitesk.ru."},{"key":"6080_CR40","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1007\/11526841_38","volume":"582","author":"C. Campbell","year":"2005","unstructured":"Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., and Veanes, M., Testing Concurrent Object-Oriented Systems with Spec Explorer, Lecture Notes in Computer Science (Proc. of Formal Methods Europe), Springer, 2005, vol. 582, pp. 542\u2013547.","journal-title":"Lecture Notes in Computer Science"},{"key":"6080_CR41","unstructured":"http:\/\/research.microsoft.com\/en-us\/projects\/SpecExp-lrer\/."},{"key":"6080_CR42","unstructured":"http:\/\/www.cs.waikato.ac.nz\/~marku\/mbt\/modeljunit\/."},{"key":"6080_CR43","doi-asserted-by":"crossref","unstructured":"Jacky, J., Veanes, M., Campbell, C., and Schulte, W., Model-based Software Testing and Analysis with C#, Cambridge Univ. Press, 2007.","DOI":"10.1017\/CBO9780511619540"},{"key":"6080_CR44","unstructured":"http:\/\/nmodel.codeplex.com\/."},{"key":"6080_CR45","unstructured":"http:\/\/mbt.tigris.org\/."},{"key":"6080_CR46","doi-asserted-by":"crossref","unstructured":"Barnett, M., Fahndrich, M., de Halleux, P., Logozzo, F., and Tillmann, N., Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract, Proc. of ICSE 2009, Vancouver, Canada, 2009.","DOI":"10.1109\/ICSE-COMPANION.2009.5071032"},{"key":"6080_CR47","unstructured":"http:\/\/research.microsoft.com\/en-us\/projects\/contracts\/."},{"key":"6080_CR48","unstructured":"Kaner, C., Bach, J., and Pettichord, B., Lessons Learned in Software Testing, Wiley, 2002."},{"key":"6080_CR49","doi-asserted-by":"crossref","unstructured":"Kuliamin, V.V., Integration of Verification Methods for Program Systems, Programmirovanie, 2009, no. 4, pp. 41\u201355 [Programming Comput. Software (Engl. Transl.), 2009, vol. 35, no. 4, pp. 212\u2013222].","DOI":"10.1134\/S0361768809040057"},{"key":"6080_CR50","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/11560333_6","volume":"3694","author":"V. Kuliamin","year":"2005","unstructured":"Kuliamin, V., Petrenko, A., and Pakoulin, N., Practical Approach to Specification and Conformance Testing of Distributed Network Application, Lecture Notes in Computer Science (Proc. of ISAS\u20192005), Berlin, Springer, 2005, vol. 3694, pp. 68\u201383.","journal-title":"Lecture Notes in Computer Science"},{"key":"6080_CR51","unstructured":"Grinevich, A., Khoroshilov, A., Kuliamin, V., Markovtsev, D., Petrenko, A., and Rubanov, V., Formal Methods in Industrial Software Standards Enforcement, Proc. of PSI\u20192006, Novosibirsk, Russia, 2006."},{"key":"6080_CR52","unstructured":"Fowler, M., Inversion of Control Containers and the Dependency Injection Pattern, 2004. http:\/\/www.mar-tinfowler.com\/articles\/injection.html."},{"key":"6080_CR53","unstructured":"Johnson, R., Hoeller, J., Arendsen, A., Risberg, T., and Sampaleanu, C., Professional Java Development with the Spring Framework, Wrox, 2005."},{"key":"6080_CR54","unstructured":"http:\/\/www.springsource.org."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176881005004X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S036176881005004X","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176881005004X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S036176881005004X.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:04:37Z","timestamp":1775009077000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S036176881005004X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":54,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2010,9]]}},"alternative-id":["6080"],"URL":"https:\/\/doi.org\/10.1134\/s036176881005004x","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,9]]},"assertion":[{"value":"21 January 2010","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 September 2010","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}