{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T05:09:47Z","timestamp":1772341787253,"version":"3.50.1"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1995,12,1]],"date-time":"1995-12-01T00:00:00Z","timestamp":817776000000},"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,12]]},"DOI":"10.1007\/bf00402649","type":"journal-article","created":{"date-parts":[[2004,11,9]],"date-time":"2004-11-09T07:19:50Z","timestamp":1099984790000},"page":"287-307","source":"Crossref","is-referenced-by-count":15,"title":["Systematic testing and formal verification to validate reactive programs"],"prefix":"10.1007","volume":"4","author":[{"given":"Monika","family":"M\ufffdllerburg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leszek","family":"Holenderski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Maffeis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agathe","family":"Merceron","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthew","family":"Morley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Benveniste, A. (1994) Synchronous languages provide safety in reactive systems design. Control Engineering September, 87?89."},{"issue":"9","key":"CR2","doi-asserted-by":"crossref","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"BenvenisteA. and BerryG. (1991) The synchronous approach to reactive and real-time systems. Proceedings of the IEEE 79(9) pp. 1270?1282.","journal-title":"Proceedings of the IEEE"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Bochmann, von G. and Petrenko, A. (1994) Protocol testing: review of methods and relevance for software testing. In Software Engineering Notes, special issue, Proc. of the 1994 International Symposium on Software Testing and Analysis (ISSTA), Association for Computing Machinery (ACM), pp. 109?124.","DOI":"10.1145\/186258.187153"},{"issue":"2","key":"CR4","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"ClarkeE.M., EmersonE.A. and SistlaA.P. (1986) Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Programming Languages 8(2), pp. 244?263.","journal-title":"ACM Trans. Programming Languages"},{"key":"CR5","unstructured":"Halbwachs, N. (1993a) A Tutorial of LUSTRE, available by anonymous ftp from imag.imag.fr as file \/ftp\/pub\/ LUSTRE\/tutorial.ps, 19 pages."},{"key":"CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous Programming of Reactive Systems","author":"N. Halbwachs","year":"1993b","unstructured":"HalbwachsN. (1993b) Synchronous Programming of Reactive Systems (Kluwer Academic, Dordrecht)."},{"issue":"9","key":"CR7","doi-asserted-by":"crossref","first-page":"785","DOI":"10.1109\/32.159839","volume":"18","author":"N. Halbwachs","year":"1992","unstructured":"HalbwachsN., LagnierF. and RatelC. (1992) ?Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE?. IEEE Trans. on Software Engineering 18(9) 785?793.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/978-3-642-82453-1_17","volume-title":"Logic and Models of Concurrent Systems","author":"D. Harel","year":"1985","unstructured":"HarelD. and PnueliA. (1985) On the development of reactive systems?. In Logic and Models of Concurrent Systems, AptK. R. (ed.) (Springer-Verlag, Berlin) pp. 477?498."},{"issue":"9","key":"CR9","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P. Guernic Le","year":"1991","unstructured":"LeGuernicP., GautierT., LeBorgneM. and LeMaireC., (1991) Programming real-time applications with Signal. Proceedings of the IEEE, 79(9) 1321?1336.","journal-title":"Proceedings of the IEEE"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Liggesmeyer, P. (1995) A set of complexity metrics for guiding the software test process, in this issue.","DOI":"10.1007\/BF00402647"},{"key":"CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K.L. McMillan","year":"1993","unstructured":"McMillanK.L. (1993) Symbolic Model Checking (Kluwer Academic Publishers, Boston)."},{"key":"CR12","series-title":"UNICOM Applied Information Technology Series","first-page":"155","volume-title":"Management and Measurement of Software Quality","author":"M. M\u00fcllerburg","year":"1993","unstructured":"M\u00fcllerburgM. (1993) Formalising testing concepts. In KellyM. (ed) Management and Measurement of Software Quality, UNICOM Applied Information Technology Series, Ashgate Publishing Ltd., Aldershot, UK, pp. 155?166."},{"key":"CR13","unstructured":"M\u00fcllerburg, M. (1994) ?Why systematic testing is difficult: the problem of the sample?. In Miller, E. (ed.) Proc. of the Seventh International Software Quality Week, Software Research, San Francisco."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"M\u00fcllerburg, M. (1995) ?Systematic testing: a means for validating reactive systems?, (reprinted from EuroSTAR'94) in Software Testing, Verification, and Reliability 4(3).","DOI":"10.1002\/stvr.4370050304"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Pilaud, D. and Halbwachs, N. (1988) From a synchronous declarative language to a temporal logic dealing with multiform time. In Formal Techniques in Real-Time and Fault-Tolerant Systems, Joseph, M. (ed.), Lecture Notes in Computer Science, 331 (Springer Verlag).","DOI":"10.1007\/3-540-50302-1_5"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00402649.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00402649\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00402649","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T22:55:45Z","timestamp":1585954545000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00402649"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,12]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1995,12]]}},"alternative-id":["BF00402649"],"URL":"https:\/\/doi.org\/10.1007\/bf00402649","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,12]]}}}