{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:44:38Z","timestamp":1725518678602},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540876021"},{"type":"electronic","value":"9783540876038"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87603-8_13","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T07:56:24Z","timestamp":1221897384000},"page":"153-166","source":"Crossref","is-referenced-by-count":7,"title":["Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Dadeau","sequence":"first","affiliation":[]},{"given":"Adrien","family":"De Kermadec","sequence":"additional","affiliation":[]},{"given":"R\u00e9gis","family":"Tissot","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book. Cambridge University Press, Cambridge (1996)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/11940197_15","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"F. Bouquet","year":"2006","unstructured":"Bouquet, F., Dadeau, F., Groslambert, J., Julliand, J.: Safety property driven test generation from JML specifications. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol.\u00a04262, pp. 225\u2013239. Springer, Heidelberg (2006)"},{"issue":"2","key":"13_CR3","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10009-003-0123-8","volume":"6","author":"F. Bouquet","year":"2004","unstructured":"Bouquet, F., Legeard, B., Peureux, F.: CLPS-B: A constraint solver to animate a B specification. International Journal on Software Tools for Technology Transfer, STTT\u00a06(2), 143\u2013157 (2004)","journal-title":"International Journal on Software Tools for Technology Transfer, STTT"},{"issue":"1","key":"13_CR4","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1147\/sj.411.0089","volume":"41","author":"E. Farchi","year":"2002","unstructured":"Farchi, E., Hartman, A., Pinter, S.S.: Using a model-based test generator to test for standard conformance. IBM Systems Journal\u00a041(1), 89\u2013110 (2002)","journal-title":"IBM Systems Journal"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/11955757_29","volume-title":"B 2007: Formal Specification and Development in B","author":"E. Jaffuel","year":"2006","unstructured":"Jaffuel, E., Legeard, B.: LEIRIOS Test Generator: Automated Test Generation from B Models. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol.\u00a04355, pp. 277\u2013280. Springer, Heidelberg (2006)"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s00165-006-0022-3","volume":"19","author":"R. Joshi","year":"2007","unstructured":"Joshi, R., Holzmann, G.: A mini challenge: build a verifiable filesystem. Formal Aspects of Computing\u00a019, 269\u2013272 (2007)","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/775265.775268","volume":"8","author":"B.W. Lampson","year":"1974","unstructured":"Lampson, B.W.: Protection. SIGOPS Oper. Syst. Rev.\u00a08(1), 18\u201324 (1974)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1145\/1321631.1321731","volume-title":"ASE 2007: Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering","author":"Y. Ledru","year":"2007","unstructured":"Ledru, Y., Dadeau, F., du Bousquet, L., Ville, S., Rose, E.: Mastering combinatorial explosion with the tobias-2 test generator. In: ASE 2007: Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering, pp. 535\u2013536. ACM, New York (2007)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/978-3-540-24721-0_21","volume-title":"Fundamental Approaches to Software Engineering","author":"Y. Ledru","year":"2004","unstructured":"Ledru, Y., du Bousquet, L., Maury, O., Bontron, P.: Filtering TOBIAS Combinatorial Test Suites. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 281\u2013294. Springer, Heidelberg (2004)"},{"key":"13_CR10","unstructured":"Morgan, C., Sufrin, B.: Specification of the UNIX filing system. In: Specification case studies, pp. 91\u2013140 (1987)"},{"key":"13_CR11","unstructured":"Ryser, J., Glinz, M.: A practical approach to validating and testing software systems using scenarios (1999)"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.entcs.2004.12.009","volume":"111","author":"M. Satpathy","year":"2005","unstructured":"Satpathy, M., Leuschel, M., Butler, M.: ProTest: An Automatic Test Environment for B Specifications. Electronic Notes in Theroretical Computer Science\u00a0111, 113\u2013136 (2005)","journal-title":"Electronic Notes in Theroretical Computer Science"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/11940197_9","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"M. Satpathy","year":"2006","unstructured":"Satpathy, M., Malik, Q.A., Lilius, J.: Synthesis of Scenario Based Test Cases from B Models. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol.\u00a04262, pp. 133\u2013147. Springer, Heidelberg (2006)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Tsai, W.T., Saimi, A., Yu, L., Paul, R.: Scenario-based object-oriented testing framework. qsic, 00:410 (2003)","DOI":"10.1109\/QSIC.2003.1319129"},{"key":"13_CR15","first-page":"550","volume-title":"Practical Model-Based Testing - A tools approach","author":"M. Utting","year":"2006","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing - A tools approach, 550 pages. Elsevier Science, Amsterdam (2006)"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/ENABL.2001.953386","volume-title":"WETICE 2001: Proceedings of the 10th IEEE International Workshops on Enabling Technologies","author":"J. Wittevrongel","year":"2001","unstructured":"Wittevrongel, J., Maurer, F.: Scentor: Scenario-based testing of e-business applications. In: WETICE 2001: Proceedings of the 10th IEEE International Workshops on Enabling Technologies, Washington, DC, USA, 2001, pp. 41\u201348. IEEE Computer Society, Los Alamitos (2001)"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, B and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87603-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T03:46:25Z","timestamp":1557805585000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87603-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540876021","9783540876038"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87603-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}