{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:54:57Z","timestamp":1725627297828},"publisher-location":"Berlin, Heidelberg","reference-count":23,"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_6","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T06:21:42Z","timestamp":1320214902000},"page":"64-79","source":"Crossref","is-referenced-by-count":4,"title":["Praspel: A Specification Language for Contract-Based Testing in PHP"],"prefix":"10.1007","author":[{"given":"Ivan","family":"Enderlin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Dadeau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Giorgetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdallah","family":"Ben Othman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-40007-3_3","volume-title":"Formal Methods at the Crossroads. From Panacea to Foundational Support","author":"B.K. Aichernig","year":"2003","unstructured":"Aichernig, B.K.: Contract-based testing. In: Aichernig, B.K. (ed.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol.\u00a02757, pp. 34\u201348. Springer, Heidelberg (2003)"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1145\/1390630.1390662","volume-title":"Proceedings of the 2008 International Symposium on Software Testing and Analysis, ISSTA 2008","author":"S. Artzi","year":"2008","unstructured":"Artzi, S., Kiezun, A., Dolby, J., Tip, F., Dig, D., Paradkar, A., Ernst, M.D.: Finding bugs in dynamic web applications. In: Proceedings of the 2008 International Symposium on Software Testing and Analysis, ISSTA 2008, pp. 261\u2013272. ACM, New York (2008)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-540-30569-9_3","volume-title":"Construction and Analysis of Safe, Secure, and Interoperable Smart Devices","author":"M. Barnett","year":"2005","unstructured":"Barnett, M., Leino, K.R.M., Schulte, W.: The Spec# Programming System: An Overview. In: Barthe, G., Burdy, L., Huisman, M., Lanet, J.-L., Muntean, T. (eds.) CASSIS 2004. LNCS, vol.\u00a03362, pp. 49\u201369. Springer, Heidelberg (2005)"},{"key":"6_CR4","unstructured":"Baudin, P., Filli\u00e2tre, J.-C., Hubert, T., March\u00e9, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI C Specification Language (preliminary design V1.2) (2008)"},{"key":"6_CR5","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, Inc., New York (1995)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/11813040_29","volume-title":"FM 2006: Formal Methods","author":"F. Bouquet","year":"2006","unstructured":"Bouquet, F., Dadeau, F., Legeard, B.: Automated Boundary Test Generation from JML Specifications. In: Misra, J., Nipkow, T., Karakostas, G. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 428\u2013443. Springer, Heidelberg (2006)"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/566172.566191","volume-title":"ISSTA 2002: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis","author":"C. Boyapati","year":"2002","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated Testing based on Java Predicates. In: ISSTA 2002: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 123\u2013133. ACM, New York (2002)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1007\/11526841_38","volume-title":"FM 2005: Formal Methods","author":"C. Campbell","year":"2005","unstructured":"Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Testing concurrent object-oriented systems with spec explorer. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol.\u00a03582, pp. 542\u2013547. Springer, Heidelberg (2005)"},{"key":"6_CR9","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: Deng, T. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 231\u2013255. Springer, Heidelberg (2002)"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/1368088.1368099","volume-title":"ICSE 2008: Proceedings of the 30th International Conference on Software Engineering","author":"I. Ciupa","year":"2008","unstructured":"Ciupa, I., Leitner, A., Oriol, M., Meyer, B.: ARTOO: Adaptive Random Testing for Object-Oriented Software. In: ICSE 2008: Proceedings of the 30th International Conference on Software Engineering, pp. 71\u201380. ACM, New York (2008)"},{"issue":"9","key":"6_CR11","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"R.A. DeMillo","year":"1991","unstructured":"DeMillo, R.A., Offutt, A.J.: Constraint-Based Automatic Test Data Generation. IEEE Trans. Softw. Eng.\u00a017(9), 900\u2013910 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR12","unstructured":"Enderlin, I.: Hoa Framework project (2010), \n                  \n                    http:\/\/hoa-project.net"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/1806799.1806835","volume-title":"ICSE 2010: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering","author":"M. Gligoric","year":"2010","unstructured":"Gligoric, M., Gvero, T., Jagannath, V., Khurshid, S., Kuncak, V., Marinov, D.: Test generation through programming in UDITA. In: ICSE 2010: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, pp. 225\u2013234. ACM, New York (2010)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-642-13953-6_9","volume-title":"Objects, Models, Components, Patterns","author":"P. Heidegger","year":"2010","unstructured":"Heidegger, P., Thiemann, P.: Contract-Driven Testing of JavaScript Code. In: Vitek, J. (ed.) TOOLS 2010. LNCS, vol.\u00a06141, pp. 154\u2013172. Springer, Heidelberg (2010)"},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-1-4615-5229-1_12","volume-title":"Behavioral Specifications of Businesses and Systems","author":"G.T. Leavens","year":"1999","unstructured":"Leavens, G.T., Baker, A.L., Ruby, C.: JML: A notation for detailed design. In: Kilov, H., Rumpe, B., Simmonds, I. (eds.) Behavioral Specifications of Businesses and Systems, pp. 175\u2013188. Kluwer Academic Publishers, Boston (1999)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-540-39656-7_11","volume-title":"Formal Methods for Components and Objects","author":"G.T. Leavens","year":"2003","unstructured":"Leavens, G.T., Cheon, Y., Clifton, C., Ruby, C., Cok, D.R.: How the design of JML accommodates both runtime assertion checking and formal verification. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 262\u2013284. Springer, Heidelberg (2003)"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/3-540-44870-5_69","volume-title":"Extreme Programming and Agile Processes in Software Engineering","author":"P. Madsen","year":"2003","unstructured":"Madsen, P.: Unit Testing using Design by Contract and Equivalence Partitions. In: Marchesi, M., Succi, G. (eds.) XP 2003. LNCS, vol.\u00a02675, pp. 425\u2013426. Springer, Heidelberg (2003)"},{"issue":"2","key":"6_CR18","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/24686.24694","volume":"22","author":"B. Meyer","year":"1987","unstructured":"Meyer, B.: Eiffel: programming for reusability and extendibility. SIGPLAN Not.\u00a022(2), 85\u201394 (1987)","journal-title":"SIGPLAN Not."},{"issue":"10","key":"6_CR19","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201ddesign by contract\u201d. Computer\u00a025(10), 40\u201351 (1992)","journal-title":"Computer"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/11558569_18","volume-title":"Quality of Software Architectures and Software Quality","author":"C. Oriat","year":"2005","unstructured":"Oriat, C.: Jartege: A Tool for Random Generation of Unit Tests for Java Classes. In: Reussner, R., Mayer, J., Stafford, J.A., Overhage, S., Becker, S., Schroeder, P.J. (eds.) QoSA 2005 and SOQUA 2005. LNCS, vol.\u00a03712, pp. 242\u2013256. Springer, Heidelberg (2005)"},{"key":"6_CR21","unstructured":"PHP Group. The PHP website (2010), \n                  \n                    http:\/\/www.php.net"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N. Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: Pex: White box test generation for.net. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 134\u2013153. Springer, Heidelberg (2008)"},{"issue":"4","key":"6_CR23","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/1013886.1007526","volume":"29","author":"W. Visser","year":"2004","unstructured":"Visser, W., P\u01ces\u01cereanu, C.S., Khurshid, S.: Test input generation with Java PathFinder. SIGSOFT Softw. Eng. Notes\u00a029(4), 97\u2013107 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"}],"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_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T07:32:59Z","timestamp":1620027179000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24580-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642245794","9783642245800"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24580-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}