{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T07:13:26Z","timestamp":1742800406965},"publisher-location":"Vienna","reference-count":17,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211834053"},{"type":"electronic","value":"9783709168158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-7091-6815-8_11","type":"book-chapter","created":{"date-parts":[[2011,9,19]],"date-time":"2011-09-19T23:23:51Z","timestamp":1316474631000},"page":"148-166","source":"Crossref","is-referenced-by-count":2,"title":["Using TRIO Specifications to Generate Test Cases for an Interactive System"],"prefix":"10.1007","author":[{"given":"Bruno","family":"d\u2019Ausbourg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Cazin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"B. Ausbourg(d\u2019) and J. Cazin. Validating Man Machine Interfaces: models and specifications. Technical Report 3.3709.00\/DTIM, ONERA-CERT, Toulouse, France, July 1998."},{"key":"11_CR2","volume-title":"Proceedings of the International Conference on Software Engineering, ICSE 98","author":"B. Ausbourg(d\u2019), C. Seguin, G. Durrieu, and P. Roch\u00e9","year":"1998","unstructured":"B. Ausbourg(d\u2019), C. Seguin, G. Durrieu, and P. Roch\u00e9. Assisting the Automated Validation Process of User Interfaces Systems. In Proceedings of the International Conference on Software Engineering, ICSE 98, Kyoto, Japan, April 1998."},{"key":"11_CR3","volume-title":"Proceedings of Design, Specification and Verification of Interactive Systems \u201888","author":"B. Ausbourg(d\u2019)","year":"1998","unstructured":"B. Ausbourg(d\u2019). Using Model Checking for the Automatic Validation of User Interfaces Systems. In P. Markopoulos and P. Johnson, editors, Proceedings of Design, Specification and Verification of Interactive Systems \u201888, Abingdon, UK, June 1998. Eurographics, Springer-Verlag."},{"key":"11_CR4","volume-title":"Functional specification of the control system of a pondage power plant","author":"E Ciapessoni","year":"1994","unstructured":"E. Ciapessoni, E. Crivelli, and M. Migliorati. Functional specification of the control system of a pondage power plant. Technical report, ENEL\/CRA, 1994."},{"key":"11_CR5","volume-title":"DASIA Conference","author":"J Cazin","year":"1996","unstructured":"J. Cazin, E. Ciapessoni, W. Osnowycz, E. Ratto, and C. Seguin. An experience in the specification and test of an electrical flight control system using a temporal logic framework. In DASIA Conference, 1996."},{"key":"11_CR6","volume-title":"Proceedings of Advance Visual Interface\u201994 Workshop","author":"DJ Duke","year":"1994","unstructured":"D.J. Duke, G. Faconti, M.D. Harrison, and F. Paterno. Unifying views of interactors. In Proceedings of Advance Visual Interface\u201994 Workshop, Bari, 1994."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"D.J. Duke and M.D. Harrison. Abstract Interaction Objects. Computer Graphics Forum, 12 (3): 25\u201326, 1993.","DOI":"10.1111\/1467-8659.1230025"},{"key":"11_CR8","volume-title":"Software Engineering Journal","author":"DK Duke","year":"1995","unstructured":"D. K. Duke and M. D. Harrison. Event model of human system interaction. Software Engineering Journal, January 1995."},{"key":"11_CR9","volume-title":"Proceedings of the Eurographics 90 Workshop","author":"G Faconti","year":"1990","unstructured":"G. Faconti and F. Paterno. An approach to the formal specification of the components of an interaction. In Proceedings of the Eurographics 90 Workshop, 1990."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Carlo Ghezzi, Dino Madrioli, and Angelo Morzenti. Trio: A logic language for executable specifications of real-time systems. Journal of Systems Software, 12 (2), 1990.","DOI":"10.1016\/0164-1212(90)90074-V"},{"key":"11_CR11","first-page":"1305","volume-title":"Proceedings of IEEE","author":"N Halbwachs","year":"1991","unstructured":"Nicolas Halbwachs, Paul Caspi, Pascal Raymond, and Daniel Pilaud. The synchronous dataflow programming language Lustre. In Proceedings of IEEE, number 9 in 79, pages 1305\u20131320, September 1991."},{"key":"11_CR12","volume-title":"Proceedings of the Australasian Computer Science Conference (ACSC99). Springer","author":"I MacColl","year":"1999","unstructured":"I MacColl and D Carrington. Extending the Test Template Framework for specification-based testing of interactive systems. In Proceedings of the Australasian Computer Science Conference (ACSC99). Springer, 1999."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"A. Morzenti, D. Mandrioli, and C. Ghezzi. A model-parametric real-time logic. ACM Transactions on Programming Languages and Systems, 14 (4), 1992.","DOI":"10.1145\/133233.129397"},{"key":"11_CR14","volume-title":"International Symposium on Software Testing and Analysis","author":"S Morasca","year":"1996","unstructured":"S. Morasca, A. Morzenti, and P. San Pietro. Generating functional test cases in-the-large for time-critical systems from logic-based specifications. In International Symposium on Software Testing and Analysis, 1996."},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"A. Morzenti. Validating real-time systems by executing logic specifications. In REX Workshop \u201cReal-Time Theory in Practice\u201dvolume 600 of LNCS. Springer Verlag, 1991.","DOI":"10.1007\/BFb0032005"},{"key":"11_CR16","unstructured":"J. Peleska and M. Siegel. Test automation of safety-critical reactive systems. In Proceedings of Wofacs\u201996. SACJ\/SART No 19, 1997."},{"issue":"11","key":"11_CR17","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1109\/32.553698","volume":"22","author":"P Stocks","year":"1996","unstructured":"P Stocks and D Carrington. A framework for specification-based testing. IEEE Transactions on Software Engineering, 22 (11): 777\u2013793, November 1996.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Eurographics","Design, Specification and Verification of Interactive Systems \u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6815-8_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T09:51:17Z","timestamp":1606125077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6815-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211834053","9783709168158"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6815-8_11","relation":{},"ISSN":["0946-2767"],"issn-type":[{"type":"print","value":"0946-2767"}],"subject":[],"published":{"date-parts":[[1999]]}}}