{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,3]],"date-time":"2026-01-03T06:47:04Z","timestamp":1767422824249},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T00:00:00Z","timestamp":1179532800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Inf Syst Front"],"published-print":{"date-parts":[[2007,6,7]]},"DOI":"10.1007\/s10796-007-9029-4","type":"journal-article","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T05:13:20Z","timestamp":1179551600000},"page":"151-162","source":"Crossref","is-referenced-by-count":32,"title":["Reducing verification effort in component-based software engineering through built-in testing"],"prefix":"10.1007","volume":"9","author":[{"given":"Daniel","family":"Brenner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colin","family":"Atkinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rainer","family":"Malaka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Merdes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Paech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dima","family":"Suliman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,5,19]]},"reference":[{"key":"9029_CR1","first-page":"159","volume-title":"Component-based software quality","author":"C. Atkinson","year":"2003","unstructured":"Atkinson, C., Gro\u00df, H. G., & Barbier, F. (2003). Component integration through built-in contract testing in component-based software quality: Methods and techniques. In A. Cechich, et al. (Eds.), Component-based software quality (pp. 159\u2013183). Heidelberg: Springer."},{"key":"9029_CR2","volume-title":"Software testing techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B. (1990). Software testing techniques. New York: Van Nostrand Rheinold."},{"key":"9029_CR3","unstructured":"Beydeda, S., & Gruhn, V. (2004). Black- and white-box self-testing COTS components. Software Engineering and Knowledge Engineering (SEKE)."},{"key":"9029_CR4","volume-title":"Testing object-oriented systems: Models, patterns, and tools","author":"R. V. Binder","year":"1999","unstructured":"Binder, R. V. (1999). Testing object-oriented systems: Models, patterns, and tools. London: Addison-Wesley."},{"key":"9029_CR5","unstructured":"Component+ project. (2006). http:\/\/www.component-plus.org\/ ."},{"key":"9029_CR6","unstructured":"Deck, M. (1996). Cleanroom and object-oriented software engineering: A unique synergy. In Proceedings of the Eighth Annual Software Technology Conference."},{"key":"9029_CR7","volume-title":"Software-verifikation. Verfahren f\u00fcr den Zuverl\u00e4ssigkeitsnachweis von software","author":"W. Ehrenberger","year":"2002","unstructured":"Ehrenberger, W. (2002). Software-verifikation. Verfahren f\u00fcr den Zuverl\u00e4ssigkeitsnachweis von software. Munich: Hanser Fachbuch."},{"key":"9029_CR8","volume-title":"Component-based software testing with UML","author":"H. G. Gross","year":"2004","unstructured":"Gross, H. G. (2004). Component-based software testing with UML. Berlin Heidelberg New York: Springer."},{"key":"9029_CR9","doi-asserted-by":"crossref","unstructured":"Mariani, L., Pezze, M., & Willmor, D. (2004). Generation of integration tests for self-testing components. FORTE Workshop.","DOI":"10.1007\/978-3-540-30233-9_25"},{"key":"9029_CR10","doi-asserted-by":"crossref","unstructured":"Merdes, M., Malaka, R., Suliman, D., Paech, B., Brenner, D., & Atkinson, C. (2006). Ubiquitous RATs: How resource-aware run-time tests can improve ubiquitous software systems. In Proceedings of the Sixth International Workshop on Software Engineering and Middleware (SEM).","DOI":"10.1145\/1210525.1210538"},{"key":"9029_CR11","doi-asserted-by":"crossref","unstructured":"Meyer, B. (1992). Applying design by contract. Computer, 25(10).","DOI":"10.1109\/2.161279"},{"key":"9029_CR12","unstructured":"MORABIT project (2006). http:\/\/www.morabit.org\/ ."},{"key":"9029_CR13","unstructured":"Musa, J. D. (1998). Software reliability engineering: More reliable software faster and cheaper. Osborne\/McGraw-Hill."},{"key":"9029_CR14","doi-asserted-by":"crossref","unstructured":"Neugebauer, R., & McAuley, D. (2001). Energy is just another resource: Energy accounting and energy pricing in the Nemesis OS. In Proceedings of the Eighth Workshop on Hot Topics in Operating Systems.","DOI":"10.1109\/HOTOS.2001.990063"},{"key":"9029_CR15","unstructured":"Reussner, R. H., Poernomo, I. H., & Schmidt, H. W. (2003). Contracts and quality attributes for software components. In Proc. 8th Int\u2019l Workshop on Component-Oriented Programming (WCOP\u201903)."},{"key":"9029_CR16","volume-title":"Component software-beyond object-oriented programming","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C. (1998). Component software-beyond object-oriented programming. London: Addison-Wesley."},{"key":"9029_CR17","unstructured":"Traon, Y. L., Deveaux, D., & Jezequel, J. M. (1999). Self-testable components: From pragmatic tests to design-to-testability methodology. Technology of Object-Oriented Languages and Systems (TOOLS)."},{"key":"9029_CR18","doi-asserted-by":"crossref","unstructured":"Wang, G., Chen, A., Wang, C., Fung, C., & Uczekaj, S. A. (2004). Integrated quality of service (QoS) management in service-oriented enterprise architectures. Enterprise Distributed Object Computing (EDOC).","DOI":"10.1109\/EDOC.2004.1342502"},{"key":"9029_CR19","unstructured":"Wang, Y., King, G., & Wickburg, H. (1999). A method for built-in tests in component-based software maintenance. In IEEE International Conference on Software Maintenance and Reengineering (CSMR\u201999)."}],"container-title":["Information Systems Frontiers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-007-9029-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10796-007-9029-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-007-9029-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T05:09:25Z","timestamp":1587532165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10796-007-9029-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5,19]]},"references-count":19,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2007,6,7]]}},"alternative-id":["9029"],"URL":"https:\/\/doi.org\/10.1007\/s10796-007-9029-4","relation":{},"ISSN":["1387-3326","1572-9419"],"issn-type":[{"value":"1387-3326","type":"print"},{"value":"1572-9419","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,5,19]]}}}