{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:56:59Z","timestamp":1725490619364},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540733676"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73368-3_19","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T22:29:34Z","timestamp":1188426574000},"page":"164-167","source":"Crossref","is-referenced-by-count":8,"title":["jMoped: A Test Environment for Java Programs"],"prefix":"10.1007","author":[{"given":"Dejvuth","family":"Suwimonteerabuth","sequence":"first","affiliation":[]},{"given":"Felix","family":"Berger","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Schwoon","sequence":"additional","affiliation":[]},{"given":"Javier","family":"Esparza","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"jMoped: A test environment for Java programs, \n                    \n                      http:\/\/www.fmi.uni-stuttgart.de\/szs\/tools\/moped\/jmoped\/"},{"key":"19_CR2","unstructured":"JUnit: Testing resources for extreme programming, \n                    \n                      http:\/\/www.junit.org\/"},{"key":"19_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/978-3-540-31980-1_35","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Suwimonteerabuth","year":"2005","unstructured":"Suwimonteerabuth, D., Schwoon, S., Esparza, J.: jMoped: A Java bytecode checker based on Moped (Tool paper). In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 541\u2013545. Springer, Heidelberg (2005)"},{"key":"19_CR4","unstructured":"Eclipse: An open development platform, \n                    \n                      http:\/\/www.eclipse.org"},{"key":"19_CR5","unstructured":"Schwoon, S.: Model-Checking Pushdown Systems. PhD thesis, Technische Universit\u00e4t M\u00fcnchen (2002)"},{"key":"19_CR6","unstructured":"Berger, F.: A test and verification environment for Java programs. Master\u2019s thesis, University of Stuttgart (2007)"},{"key":"19_CR7","unstructured":"ParForCE Project Workshop: Performance comparison between Prolog and Java, \n                    \n                      http:\/\/www.clip.dia.fi.upm.es\/Projects\/ParForce\/Final_review\/slides\/i ntro\/node4.html"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73368-3_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:08:25Z","timestamp":1619518105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73368-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540733676"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73368-3_19","relation":{},"subject":[]}}