{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:29:02Z","timestamp":1725506942722},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540791232"},{"type":"electronic","value":"9783540791249"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79124-9_7","type":"book-chapter","created":{"date-parts":[[2008,4,3]],"date-time":"2008-04-03T07:07:46Z","timestamp":1207206466000},"page":"84-98","source":"Crossref","is-referenced-by-count":7,"title":["Functional Testing in the Focal Environment"],"prefix":"10.1007","author":[{"given":"Matthieu","family":"Carlier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catherine","family":"Dubois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"7_CR1","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/32.825766","volume":"26","author":"S. Antoy","year":"2000","unstructured":"Antoy, S., Hamlet, D.: Automatically checking an implementation against its formal specification. IEEE Trans. Softw. Eng.\u00a026(1), 55\u201369 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1109\/SEFM.2004.1347524","volume-title":"Software Engineering and Formal Methods (SEFM 2004)","author":"S. Berghofer","year":"2004","unstructured":"Berghofer, S., Nipkow, T.: Random testing in Isabelle\/HOL. In: Cuellar, J., Liu, Z. (eds.) Software Engineering and Formal Methods (SEFM 2004), pp. 230\u2013239. IEEE Computer Society, Los Alamitos (2004)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bernot, G., Gaudel, M.-C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Software Engineering Journal\u00a06(6) (1991)","DOI":"10.1049\/sej.1991.0040"},{"key":"7_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-75560-9_13","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"R. Bonichon","year":"2007","unstructured":"Bonichon, R., Delahaye, D., Doligez, D.: Zenon: An extensible automated theorem prover producing checkable proofs. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol.\u00a04790, pp. 151\u2013165. Springer, Heidelberg (2007)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73770-4_9","volume-title":"Tests and Proofs","author":"A.D. Brucker","year":"2007","unstructured":"Brucker, A.D., Wolff, B.: Test-Sequence Generation with HOL-TestGen \u2013 With an Application to Firewall Testing. In: Gurevich, Y., Meyer, B. (eds.) TAP 2007. LNCS, vol.\u00a04454, Springer, Heidelberg (2007)"},{"issue":"1","key":"7_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0950-5849(02)00129-5","volume":"45","author":"T.Y. Chen","year":"2003","unstructured":"Chen, T.Y., Tse, T.H., Zhou, Z.: Fault-based testing without the need of oracles. Information & Software Technology\u00a045(1), 1\u20139 (2003)","journal-title":"Information & Software Technology"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/3-540-47993-7_10","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"Y. Cheon","year":"2002","unstructured":"Cheon, Y., Leavens, G.T.: A simple and practical approach to unit testing: The jml and junit way. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 231\u2013255. Springer, Heidelberg (2002)"},{"issue":"9","key":"7_CR8","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/357766.351266","volume":"35","author":"K. Claessen","year":"2000","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. ACM SIGPLAN Notices\u00a035(9), 268\u2013279 (2000)","journal-title":"ACM SIGPLAN Notices"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Dubois, C., Hardin, T., Vigui\u00e9 Donzeau-Gouge, V.: Building certified components within focal. In: Loidl, H.-W. (ed.) Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, TFP 2004. Trends in Functional Programming, M\u00fcnchen, Germany, vol.\u00a05, pp. 33\u201348. Intellect (2006)","DOI":"10.2307\/j.ctv36xw0k5.6"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/10930755_12","volume-title":"Theorem Proving in Higher Order Logics","author":"P. Dybjer","year":"2003","unstructured":"Dybjer, P., Haiyan, Q., Takeyama, M.: Combining testing and proving in dependent type theory. In: Basin, D., Wolff, B. (eds.) TPHOLs 2003. LNCS, vol.\u00a02758, pp. 188\u2013203. Springer, Heidelberg (2003)"},{"key":"7_CR11","unstructured":"Flajolet, P., Sedgewick, R.: Analytic Combinatorics, ch. I-IX. In: Draft available electronically from P. Flajolet\u2019s home page (2007)"},{"key":"7_CR12","unstructured":"INRIA. Coq, version 8.1 (November 2006), http:\/\/coq.inria.fr\/"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-44854-3_6","volume-title":"Implementation of Functional Languages","author":"P.W.M. Koopman","year":"2003","unstructured":"Koopman, P.W.M., Alimarine, A., Tretmans, J., Plasmeijer, M.J.: Gast: Generic automated software testing. In: Pe\u00f1a, R., Arts, T. (eds.) IFL 2002. LNCS, vol.\u00a02670, pp. 84\u2013100. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79124-9_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,17]],"date-time":"2023-05-17T12:03:22Z","timestamp":1684325002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79124-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540791232","9783540791249"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79124-9_7","relation":{},"subject":[]}}