{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:54:34Z","timestamp":1725627274829},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642245794"},{"type":"electronic","value":"9783642245800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24580-0_4","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:21:42Z","timestamp":1320229302000},"page":"32-47","source":"Crossref","is-referenced-by-count":7,"title":["Measuring Test Properties Coverage for Evaluating UML\/OCL Model-Based Tests"],"prefix":"10.1007","author":[{"given":"Kalou","family":"Cabrera Castillos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Dadeau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Julliand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Safouan","family":"Taha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/3-540-44830-6_22","volume-title":"Testing of Communicating Systems","author":"J.A. Arnedo","year":"2003","unstructured":"Arnedo, J.A., Cavalli, A., N\u00fa\u00f1ez, M.: Fast testing of critical properties through passive testing. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol.\u00a02644, pp. 295\u2013310. Springer, Heidelberg (2003)"},{"unstructured":"Ayache, J.M., Azema, P., Diaz, M.: Observer: a concept for on-line detection of control errors in concurrent systems. In: 9th Sym. on Fault-Tolerant Computing (1979)","key":"4_CR2"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/j.comnet.2004.09.009","volume":"48","author":"E. Bayse","year":"2005","unstructured":"Bayse, E., Cavalli, A., N\u00fa\u00f1ez, M., Zaidi, F.: A passive testing approach based on invariants: application to the wap. Computer Networks\u00a048, 247\u2013266 (2005)","journal-title":"Computer Networks"},{"key":"4_CR4","volume-title":"Black-Box Testing: Techniques for Functional Testing of Software and Systems","author":"B. Beizer","year":"1995","unstructured":"Beizer, B.: Black-Box Testing: Techniques for Functional Testing of Software and Systems. John Wiley & Sons, New York (1995)"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/1291535.1291545","volume-title":"A-MOST 2007, 3rd Int. Workshop on Advances in Model Based Testing","author":"F. Bouquet","year":"2007","unstructured":"Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N., Utting, M.: A subset of precise UML for model-based testing. In: A-MOST 2007, 3rd Int. Workshop on Advances in Model Based Testing, pp. 95\u2013104. ACM, London (2007)"},{"doi-asserted-by":"crossref","unstructured":"2. Cabrera Castillos, K., Dadeau, F., Julliand, J.: Scenario-based testing from UML\/OCL behavioral models - application to POSIX compliance. STTT, International Journal on Software Tools for Technology Transfer (2011)","key":"#cr-split#-4_CR6.1","DOI":"10.1007\/s10009-011-0189-7"},{"unstructured":"3. Special Issue on Verified Software: Tools, Theory and Experiments (VSTTE 2009) (to appear)","key":"#cr-split#-4_CR6.2"},{"unstructured":"Common Criteria for Information Technology Security Evaluation, version 3.1. Technical Report CCMB-2009-07-001 (July 2009)","key":"4_CR7"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-45614-7_22","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"M.V. Cengarle","year":"2002","unstructured":"Cengarle, M.V., Knapp, A.: Towards OCL\/RT. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 390\u2013408. Springer, Heidelberg (2002)"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/302405.302672","volume-title":"ICSE 1999: Proceedings of the 21st International Conference on Software Engineering","author":"M.B. Dwyer","year":"1999","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE 1999: Proceedings of the 21st International Conference on Software Engineering, pp. 411\u2013420. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-642-16573-3_4","volume-title":"Testing Software and Systems","author":"Y. Falcone","year":"2010","unstructured":"Falcone, Y., Fernandez, J.-C., J\u00e9ron, T., Marchand, H., Mounier, L.: More testable properties. In: Petrenko, A., Sim\u00e3o, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol.\u00a06435, pp. 30\u201346. Springer, Heidelberg (2010)"},{"key":"4_CR11","first-page":"186","volume":"2","author":"S. Flake","year":"2003","unstructured":"Flake, S., Mueller: Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Software and Systems Modeling (SoSyM)\u00a02, 186 (2003)","journal-title":"Software and Systems Modeling (SoSyM)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-642-02949-3_6","volume-title":"Tests and Proofs","author":"G. Fraser","year":"2009","unstructured":"Fraser, G., Wotawa, F.: Complementary criteria for testing temporal logic properties. In: Dubois, C. (ed.) TAP 2009. LNCS, vol.\u00a05668, pp. 58\u201373. Springer, Heidelberg (2009)"},{"issue":"6","key":"4_CR13","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1049\/iet-sen:20080008","volume":"2","author":"A. Giorgetti","year":"2008","unstructured":"Giorgetti, A., Groslambert, J., Julliand, J., Kouchnarenko, O.: Verification of class liveness properties with Java modeling language. IET Software\u00a02(6), 500\u2013514 (2008)","journal-title":"IET Software"},{"unstructured":"Li, S., Qi, Z.-C.: Property-oriented testing: An approach to focusing testing efforts on behaviours of interest. In: Beydeda, S., Gruhn, V., Mayer, J., Reussner, R., Schweiggert, F. (eds.) Proceedings of SOQUA 2004, Testing of Component-Based Systems and Software Quality, LNI, vol.\u00a058, pp. 191\u2013206. GI (2004)","key":"4_CR14"},{"unstructured":"Object Management Group. Object Constraint Language (February 2010), http:\/\/www.omg.org\/spec\/OCL\/2.2","key":"4_CR15"},{"unstructured":"Ziemann, P., Gogolla, M.: An OCL Extension for Formulating Temporal Constraints. Technical report, Universit\u00e4t Bremen (2003)","key":"4_CR16"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24580-0_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:16:56Z","timestamp":1606187816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24580-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245794","9783642245800"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24580-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}