{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:11:51Z","timestamp":1743001911734,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231691"},{"type":"electronic","value":"9783540302339"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30233-9_25","type":"book-chapter","created":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T16:06:08Z","timestamp":1287936368000},"page":"337-350","source":"Crossref","is-referenced-by-count":10,"title":["Generation of Integration Tests for Self-Testing Components"],"prefix":"10.1007","author":[{"given":"Leonardo","family":"Mariani","sequence":"first","affiliation":[]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[]},{"given":"David","family":"Willmor","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1109\/DSN.2001.941401","volume-title":"Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001)","author":"E. Martins","year":"2001","unstructured":"Martins, E., Toyota, C., Yanagawa, R.: Constructing self-testable software components. In: Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001), Washington - Brussels - Tokyo, pp. 151\u2013160. IEEE, Los Alamitos (2001)"},{"key":"25_CR2","first-page":"221","volume-title":"Proceedings of the 25th International Conference on Software Engineering","author":"A. Bertolino","year":"2003","unstructured":"Bertolino, A., Polini, A.: A framework for component deployment testing. In: Proceedings of the 25th International Conference on Software Engineering, pp. 221\u2013231. IEEE Computer Society, Los Alamitos (2003)"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Edwards, S.H.: A framework for practical, automated black-box testing of component-based software. Journal of Software Testing, Verification and Reliability\u00a011 (2001)","DOI":"10.1002\/stvr.224"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/6.809121","volume":"36","author":"J. Oberg","year":"1999","unstructured":"Oberg, J.: Why the mars probe went off course. IEEE Spectrum\u00a036, 34\u201339 (1999)","journal-title":"IEEE Spectrum"},{"key":"25_CR5","unstructured":"Jet Propulsion Laboratory: Report on the loss of the mars polar lander and deep space 2 missions. Technical Report JPL D-18709, California Institute of Technology (2000)"},{"key":"25_CR6","first-page":"54","volume":"15","author":"E. Weyuker","year":"1998","unstructured":"Weyuker, E.: Testing component-based software: A cautionary tale. IEEE Internet Computing\u00a015, 54\u201359 (1998)","journal-title":"IEEE Internet Computing"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/54.199807","volume":"10","author":"V. Agrawal","year":"1993","unstructured":"Agrawal, V., Kime, C., Saluja, K.: A tutorial on built-in self-test. I. principles. IEEE Design & Test of Computers\u00a010, 73\u201382 (1993)","journal-title":"IEEE Design & Test of Computers"},{"key":"25_CR8","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/182987.184077","volume":"37","author":"R. Binder","year":"1994","unstructured":"Binder, R.: Design for testability in object-oriented systems. Communications of the ACM\u00a037, 87\u2013101 (1994)","journal-title":"Communications of the ACM"},{"key":"25_CR9","unstructured":"Liu, C., Richardson, D.: Software components with retrospectors. In: Proceedings of the International Workshop on the Role of Software Architecture in Testing and Analysis (ROSATEA), pp. 63\u201368 (1998)"},{"key":"25_CR10","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1982","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold Computer, New York (1982)","edition":"2"},{"key":"25_CR11","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/638750.638790","volume":"28","author":"M. Ramachandran","year":"2003","unstructured":"Ramachandran, M.: Testing reusable software components from object specification. SIGSOFT Softw. Eng. Notes\u00a028, 18 (2003)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"25_CR12","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1145\/337180.337195","volume-title":"Proceedings of the 22nd International Conference on Software Engineering","author":"D. Leon","year":"2000","unstructured":"Leon, D., Podgurski, A., White, L.J.: Multivariate visualization in observationbased testing. In: Proceedings of the 22nd International Conference on Software Engineering, pp. 116\u2013125. ACM Press, New York (2000)"},{"key":"25_CR13","unstructured":"Mariani, L., Pezz\u00e8, M.: A technique for verifying component-based software. In: International Workshop on Test and Analysis of Component Based Systems. Electronic Notes in Theoretical Computer Science (ENTCS), pp. 16\u201328 (2004)"},{"key":"25_CR14","unstructured":"Mariani, L.: Capturing and synthesizing the behavior of component-based systems. Technical Report LTA:2004:01, Universit\u00e0 di Milano Bicocca (2003)"},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Howden, W.: Methodology for the generation of program test data. IEEE Transaction Computer (1975)","DOI":"10.1109\/T-C.1975.224259"},{"key":"25_CR16","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1109\/TSE.1980.234486","volume":"6","author":"L. White","year":"1980","unstructured":"White, L., Cohen, E.J.: A domain strategy for computer program testing. IEEE Transactions on Software Engineering\u00a06, 247\u2013257 (1980)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"25_CR17","first-page":"287","volume-title":"Proceedings of the 9th European Software Engineering Conference and the 10th International Symposium on Foundations of Software Engineering","author":"S. McCamant","year":"2003","unstructured":"McCamant, S., Ernst, M.D.: Predicting problems caused by component upgrades. In: Proceedings of the 9th European Software Engineering Conference and the 10th International Symposium on Foundations of Software Engineering, pp. 287\u2013296. ACM Press, New York (2003)"},{"key":"25_CR18","unstructured":"Microsystems, S.: Enterprise Javabeans TM Specification. Final Release Version 2.1, Sun Microsystems (2003)"},{"key":"25_CR19","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/859670.859671","volume":"46","author":"P. Vitharana","year":"2003","unstructured":"Vitharana, P.: Risks and challenges of component-based software development. Commun. ACM\u00a046, 67\u201372 (2003)","journal-title":"Commun. ACM"},{"key":"25_CR20","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/182987.184077","volume":"37","author":"R.V. Binder","year":"1994","unstructured":"Binder, R.V.: Design for testability in object-oriented systems. Communications of the ACM\u00a037, 87\u2013101 (1994)","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Applying Formal Methods: Testing, Performance, and M\/E-Commerce"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30233-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,4]],"date-time":"2023-06-04T00:04:45Z","timestamp":1685837085000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30233-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231691","9783540302339"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30233-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}