{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T14:31:59Z","timestamp":1648737119444},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1995,9,1]],"date-time":"1995-09-01T00:00:00Z","timestamp":809913600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[1995,9]]},"DOI":"10.1007\/bf01351921","type":"journal-article","created":{"date-parts":[[2005,3,27]],"date-time":"2005-03-27T14:09:22Z","timestamp":1111932562000},"page":"155-174","source":"Crossref","is-referenced-by-count":3,"title":["A non-invasive object-oriented tool for software testing"],"prefix":"10.1007","volume":"4","author":[{"given":"P.","family":"Nesi","sequence":"first","affiliation":[]},{"given":"A.","family":"Serra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","series-title":"Technical report","volume-title":"User's manual hardware simulator","author":"ASIC","year":"1993","unstructured":"ASIC (1993)User's manual hardware simulator. Technical report, ASIC S.r.l., Via S. Clemente, 6, 10143, Torin, Italy."},{"key":"CR2","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1983","unstructured":"Beizer, B. (1983)Software Testing Techniques (Van Nostrand Reinhold, New York)."},{"key":"CR3","volume-title":"Object-oriented Design with Application","author":"G. Booch","year":"1991","unstructured":"Booch, G. (1991)Object-oriented Design with Application (Benjamin\/Cummings, Redwood City, CA)."},{"key":"CR4","unstructured":"Bradley, N.S. (1993) The GUI test builder: breaking the test bottleneck, inProceedings of 6th International Conference on Software Engineering and Its Applications (sponsored by: EC2, CXP, CIGREF, and SEE), Le CNIT, Paris la Defense, France, 15?19 November, pp. 115?124."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Bucci, G., Campanai, M. and Nesi, P. (1995) Tools for specifying real-time systems.Journal of Real-Time Systems, in press.","DOI":"10.1007\/BF01094341"},{"key":"CR6","unstructured":"Bucci, G, Campanai, M., Nesi, P. and Traversi, M. (1993) An object-oriented CASE tool for reactive system specification, inProceedings of 6th International Conference on Software Engineering and Its Applications (sponsored by: EC2, CXP, CIGREF, and SEE), Le CNIT, Paris la Defense, France, 15?19 November 1993."},{"key":"CR7","unstructured":"Bucci, G., Campanai, M., Nesi, P. and Traversi, M. (1994) An object-oriented dual language for specifying reactive systems, inProceedings of IEEE International Conference on Requirements Engineering, ICRE'94, Colorado Spring, Colorado, USA, 18?22 April 1994."},{"key":"CR8","first-page":"545","volume":"78","author":"G. Bucci","year":"1991","unstructured":"Bucci, G. and Nesi, P. (1991) Impiego di tecniche visuali per la programmazione di controllori industriali.L'ELETTROTECNICA rivista dell' associazione Elettrotecnica ed Elettronica Italiana,78, 545?54.","journal-title":"L'ELETTROTECNICA rivista dell' associazione Elettrotecnica ed Elettronica Italiana"},{"key":"CR9","unstructured":"Campanai, M. and Nesi, P. (1994) Supporting object-oriented design with metrics, inProceedings of the International Conference on Technology of Object-Oriented languages and Systems, TOOLS Europe '94, Versailles, France, 7?11 March 1994."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Chandrasekharan, M., Dasarathy, B. and Kishimoto, Z. (1985) Requirements-based testing of real-time systems: modeling for testability.Computer, April, pp. 71?80.","DOI":"10.1109\/MC.1985.1662868"},{"key":"CR11","unstructured":"Cox, B. and Hunt, B. (1986) Object, icons, and software-ICS.Byte, August, pp. 161?176."},{"key":"CR12","unstructured":"DelBimbo, A. and Nesi, P. (1992) Blackboard-based concurrent object recognition using an object-oriented database, inProceedings of the IEEE International Phoenix Conference on Computers and Communications, IPCCC'92, Scottsdale, AZ, USA, April 1?3 1992, pp. 172?180."},{"key":"CR13","unstructured":"Harrold, M.J., McGregor, J.D. and Fitzpatrick, K.J. (1992) Incremental testing of object-oriented class structures, inProceedings of 14th International Conference on Software Engineering, Melbourne, Australia, 11?15 May 1992, IEEE Press, ACM, pp. 68?80."},{"key":"CR14","volume-title":"Object-Oriented Environment in C++ ? A User-Friendly Interface","author":"D. Hu","year":"1990","unstructured":"Hu, D. (1990)Object-Oriented Environment in C++ ? A User-Friendly Interface (MIS Press, Portland OR)."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/182987.182989","volume":"37","author":"P.C. Jorgenson","year":"1994","unstructured":"Jorgenson, P.C. and Erickson, C. (1994) Object-oriented integration testing,Communications of the ACM,37, pp. 30?38.","journal-title":"Communications of the ACM"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/2.19829","volume":"22","author":"M.A. Linton","year":"1989","unstructured":"Linton, M.A., Vlissides, J.M. and Calder, P.R. (1989) Composing user interfaces using InterView.IEEE Computer,22, 8?22.","journal-title":"IEEE Computer"},{"key":"CR17","volume-title":"Eiffel: a Language and Environment for Software Engineering","author":"B. Meyer","year":"1988","unstructured":"Meyer, B. (1988)Eiffel: a Language and Environment for Software Engineering (Prentice-Hall, Englewood Cliffs, NJ)."},{"key":"CR18","series-title":"Technical Report, RT 13\/93","volume-title":"An object-oriented language and compiler for reactive systems","author":"P. Nesi","year":"1993","unstructured":"Nesi, P. (1993) An object-oriented language and compiler for reactive systems. Technical Report, RT 13\/93 Dipartimento di Sistemi e Informatica Facolta di Ingegneria, Universita di Firenze, Florence, Italy."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/63320.66468","volume-title":"Object-Oriented Concepts Databases and Applications","author":"O. Nierstrasz","year":"1989","unstructured":"Nierstrasz, O. (1989) A survey of object-oriented concepts, inObject-Oriented Concepts Databases and Applications, W.Kim and F.H.Lochovsky (eds) (Addison-Wesley, New York) pp. 3?22."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/182987.184074","volume":"37","author":"R.M. Poston","year":"1994","unstructured":"Poston, R.M. (1994) Automated testing from object models,Communications of the ACM,37, 48?58.","journal-title":"Communications of the ACM"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/BF01088802","volume":"7","author":"W. Schutz","year":"1994","unstructured":"Schutz, W. (1994) Fundamental issues in testing distributed real-time systems.Journal of Real-Time Systems,7, 129?157.","journal-title":"Journal of Real-Time Systems"},{"key":"CR22","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/63320.66474","volume-title":"Object-Oriented Concepts Databases and Applications","author":"M.A. Tarlton","year":"1989","unstructured":"Tarlton, M.A. and Tarlton, P.N. (1989) Pogo: a declarative representation system for graphics, inObject-Oriented Concepts Databases and Applications, W.Kim and F.H.Lochovsky, (eds) (Addison-Wesley, New York) pp. 151?176."}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01351921.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01351921\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01351921","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T15:04:08Z","timestamp":1586185448000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01351921"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,9]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,9]]}},"alternative-id":["BF01351921"],"URL":"https:\/\/doi.org\/10.1007\/bf01351921","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,9]]}}}