{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T19:28:33Z","timestamp":1648927713496},"reference-count":30,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1998,3]]},"DOI":"10.1016\/s0164-1212(97)00170-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T23:49:34Z","timestamp":1027640974000},"page":"249-262","source":"Crossref","is-referenced-by-count":2,"title":["Specification-based testing of reactive software: A case study in technology transfer"],"prefix":"10.1016","volume":"40","author":[{"given":"Lalita Jategaonkar","family":"Jagadeesan","sequence":"first","affiliation":[]},{"given":"Lawrence G.","family":"Votta","sequence":"additional","affiliation":[]},{"given":"Adam","family":"Porter","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Puchol","sequence":"additional","affiliation":[]},{"given":"J.Christopher","family":"Ramming","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(97)00170-2_BIB1","author":"Allen","year":"1977"},{"issue":"6","key":"10.1016\/S0164-1212(97)00170-2_BIB2","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1109\/32.508312","article-title":"A framework for evaluating specification methods for reactive systems","volume":"22","author":"Ardis","year":"1996","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB3","article-title":"Synchronous optical network (SONET) transport systems: Common generic criteria","author":"Bellcore","year":"1991"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB4","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","article-title":"The Esterel synchronous programming language: design, semantics, implementation","volume":"19","author":"Berry","year":"1992","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB5","series-title":"Proceedings of the Symposium on Protocol Specification, Testing and Verification","first-page":"63","article-title":"A theory for the derivation of tests","author":"Brinksma","year":"1988"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB6","series-title":"Proceedings of the Symposium on Protocol Specification, Testing and Verification","first-page":"347","article-title":"LOTOS specifications, their implementations and their tests","author":"Brinksma","year":"1986"},{"issue":"6","key":"10.1016\/S0164-1212(97)00170-2_BIB7","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/6.499951","article-title":"Computer-Aided Verification","volume":"33","author":"Clarke","year":"1996","journal-title":"IEEE Spectrum"},{"issue":"2","key":"10.1016\/S0164-1212(97)00170-2_BIB8","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/192218.192226","article-title":"A graphical interval logic for specifying concurrent systems","volume":"3","author":"Dillon","year":"1994","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB9","series-title":"Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering","first-page":"140","article-title":"Oracles for checking temporal properties of concurrent systems","volume":"19","author":"Dillon","year":"1994"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB10","series-title":"Proceedings of International Joint Conference on Theory and Practice of Software Development","first-page":"82","article-title":"Testing can be formal, too","volume":"Volume 915","author":"Gaudel","year":"1995"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB11","author":"Halbwachs","year":"1993"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB12","first-page":"1305","article-title":"The synchronous data-flow programming language lustre","volume":"79","author":"Halbwachs","year":"1991"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB13","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/52.57887","article-title":"Seven myths of formal methods","author":"Hall","year":"1990","journal-title":"IEEE Software"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB14","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","article-title":"Statecharts: A visual formalism for complex systems","volume":"8","author":"Harel","year":"1987","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB15","series-title":"Proceedings of the 18th International Symposium on Software Engineering","first-page":"246","article-title":"Executable object modeling with Statecharts","author":"Harel","year":"1996"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB16","series-title":"The Nineteenth International Conference on Software Engineering","first-page":"525","article-title":"Specification-based testing of reactive software: Tools and experiments","author":"Jagadeesan","year":"1997"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB17","series-title":"Proceedings of the 7th International Conference on Computer Aided Verification","first-page":"127","article-title":"Safety property verification of Esterel programs and applications to telecommunications software","volume":"Volume 939","author":"Jagadeesan","year":"1995"},{"issue":"2","key":"10.1016\/S0164-1212(97)00170-2_BIB18","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/BF00122418","article-title":"A formal approach to reactive systems software: A telecommunications application in Esterel","volume":"8","author":"Jagadeesan","year":"1996","journal-title":"Formal Methods in System Design"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB19","doi-asserted-by":"crossref","first-page":"33","DOI":"10.2307\/248698","article-title":"A scientific methodology for MIS case studies","author":"Lee","year":"1989","journal-title":"MIS Quarterly"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB20","author":"Manna","year":"1992"},{"issue":"6","key":"10.1016\/S0164-1212(97)00170-2_BIB21","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1002\/j.1538-7305.1985.tb00276.x","article-title":"Introduction to the 5ESS(TM) switching system","volume":"64","author":"Martersteck","year":"1985","journal-title":"AT&T Technical Journal"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB22","first-page":"227ff","author":"Musa","year":"1987"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB23","series-title":"Proceedings of the 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering","first-page":"127","article-title":"Specification-based testing of synchronous software","author":"Parissis","year":"1996"},{"issue":"12","key":"10.1016\/S0164-1212(97)00170-2_BIB24","doi-asserted-by":"crossref","first-page":"1337","DOI":"10.1109\/32.62442","article-title":"The derivation of conformance tests from LOTOS specifications","volume":"16","author":"Pitt","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB25","series-title":"Proceedings of 8th International Conference on Software Engineering","first-page":"189","article-title":"Software technology maturation","author":"Redwine","year":"1985"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB26","series-title":"Proceedings of the International Symposium on Software Testing and Analysis","article-title":"TAOS: Testing with analysis and oracle support","author":"Richardson","year":"1994"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB27","series-title":"Proceedings of the 14th International Conference on Software Engineering","first-page":"105","article-title":"Specificationbased test oracles for reactive systems","author":"Richardson","year":"1992"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB28","author":"Selic","year":"1994"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB29","series-title":"The Seventeenth International Conference on Software Engineering","first-page":"277","article-title":"Experimental software engineering. A report on the state of the art","author":"Votta","year":"1995"},{"key":"10.1016\/S0164-1212(97)00170-2_BIB30","series-title":"IEEE Symposium on Foundations of Computer Science","first-page":"185","article-title":"Reasoning about infinite computation paths","author":"Wolper","year":"1983"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121297001702?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121297001702?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T16:52:27Z","timestamp":1555519947000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121297001702"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,3]]},"references-count":30,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,3]]}},"alternative-id":["S0164121297001702"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(97)00170-2","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1998,3]]}}}