乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:50:31Z","timestamp":1725580231694},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642203978"},{"type":"electronic","value":"9783642203985"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20398-5_26","type":"book-chapter","created":{"date-parts":[[2011,4,6]],"date-time":"2011-04-06T15:29:49Z","timestamp":1302103789000},"page":"359-374","source":"Crossref","is-referenced-by-count":26,"title":["CORAL: Solving Complex Constraints for Symbolic PathFinder"],"prefix":"10.1007","author":[{"given":"Matheus","family":"Souza","sequence":"first","affiliation":[]},{"given":"Mateus","family":"Borges","sequence":"additional","affiliation":[]},{"given":"Marcelo","family":"d\u2019Amorim","sequence":"additional","affiliation":[]},{"given":"Corina S.","family":"P\u0103s\u0103reanu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"26_CR1","unstructured":"CHOCO web page, \n \n http:\/\/www.emn.fr\/z-info\/choco-solver\/"},{"key":"26_CR2","unstructured":"CVC3 web page, \n \n http:\/\/www.cs.nyu.edu\/acsys\/cvc3\/"},{"key":"26_CR3","unstructured":"Opt4J web page, \n \n http:\/\/opt4j.sourceforge.net\/"},{"key":"26_CR4","unstructured":"TSAFE maryland, \n \n http:\/\/www.cs.umd.edu\/~mvz\/cmsc435-s09\/"},{"key":"26_CR5","unstructured":"TSAFE mit, \n \n http:\/\/sdg.csail.mit.edu\/TSAFE\/downloads\/"},{"key":"26_CR6","unstructured":"Wolfram Alpha web page, \n \n http:\/\/www.wolframalpha.com\/"},{"key":"26_CR7","unstructured":"YICES web page, \n \n http:\/\/yices.csl.sri.com\/"},{"key":"26_CR8","unstructured":"JPF project (2010), \n \n http:\/\/babelfish.arc.nasa.gov\/trac\/jpf"},{"key":"26_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/BFb0040766","volume-title":"Evolutionary Programming VII","author":"T. Back","year":"1998","unstructured":"Back, T., Eiben, A.E., Vink, M.E.: A superior evolutionary algorithm for 3-SAT. In: Porto, V.W., Waagen, D. (eds.) EP 1998. LNCS, vol.\u00a01447, pp. 125\u2013136. Springer, Heidelberg (1998)"},{"key":"26_CR10","doi-asserted-by":"crossref","unstructured":"Baresi, L., Lanzi, P.L., Miraz, M.: Testful: An evolutionary test approach for java. In: ICST, pp. 185\u2013194 (2010)","DOI":"10.1109\/ICST.2010.54"},{"key":"26_CR11","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: Directed Automated Random Testing. In: PLDI, pp. 213\u2013223 (2005)","DOI":"10.1145\/1064978.1065036"},{"key":"26_CR12","volume-title":"Genetic Algorithms in Search, Optimization and Machine Learning","author":"D.E. Goldberg","year":"1989","unstructured":"Goldberg, D.E.: Genetic Algorithms in Search, Optimization and Machine Learning. Addison-Wesley Longman Publishing Co., Inc., Boston (1989)"},{"key":"26_CR13","unstructured":"JavaNCSS website. JavaNCSS - A Source Measurement Suite for Java, \n \n http:\/\/www.kclee.de\/clemens\/java\/javancss\/"},{"key":"26_CR14","unstructured":"Kennedy, J., Eberhart, R.: Particle swarm optimization. IEEE Neural Networks, 1942\u20131948 (1995)"},{"issue":"7","key":"26_CR15","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Communications of ACM\u00a019(7), 385\u2013394 (1976)","journal-title":"Communications of ACM"},{"issue":"8","key":"26_CR16","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B. Korel","year":"1990","unstructured":"Korel, B.: Automated software test data generation. IEEE Transactions on Software Engineering\u00a016(8), 870\u2013879 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"26_CR17","volume-title":"EATCS","author":"D. Kroening","year":"2008","unstructured":"Kroening, D., Strichman, O.: Decision Procedures \u2013 an Algorithmic Point of View. In: EATCS. Springer, Heidelberg (2008)"},{"key":"26_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-16573-3_11","volume-title":"Testing Software and Systems","author":"K. Lakhotia","year":"2010","unstructured":"Lakhotia, K., Tillmann, N., Harman, M., de Halleux, J.: FloPSy - search-based floating point constraint solving for symbolic execution. In: Petrenko, A., Sim\u00e3o, A., Maldonado, J.C. (eds.) ICTSS 2010. LNCS, vol.\u00a06435, pp. 142\u2013157. Springer, Heidelberg (2010)"},{"key":"26_CR19","doi-asserted-by":"crossref","unstructured":"Pasareanu, C.S., Schumann, J., Mehlitz, P., Lowry, M., Karasai, G., Nine, H., Neema, S.: Model based analysis and test generation for flight software. In: Proceedings of SMC-IT (2009)","DOI":"10.1109\/SMC-IT.2009.18"},{"key":"26_CR20","doi-asserted-by":"crossref","unstructured":"P\u0103s\u0103reanu, C.S., Mehlitz, P.C., Bushnell, D.H., Gundy-Burlet, K., Lowry, M., Person, S., Pape, M.: Combining unit-level symbolic execution and system-level concrete execution for testing nasa software. In: ISSTA, pp. 15\u201326 (2008)","DOI":"10.1145\/1390630.1390635"},{"key":"26_CR21","unstructured":"Takaki, M., Cavalcanti, D., Gheyi, R., Iyoda, J., d\u2019Amorim, M., Prudencio, R.: A comparative study of randomized constraint solvers for random-symbolic testing. In: NFM, pp. 56\u201365 (2009)"},{"issue":"3","key":"26_CR22","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/s11334-010-0124-1","volume":"6","author":"M. Takaki","year":"2010","unstructured":"Takaki, M., Cavalcanti, D., Gheyi, R., Iyoda, J., d\u2019Amorim, M., Prudencio, R.: Randomized constraint solvers: a comparative study. Innovations in Systems and Software Engineering (ISSE)\u00a06(3), 243\u2013253 (2010)","journal-title":"Innovations in Systems and Software Engineering (ISSE)"},{"key":"26_CR23","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\u2013white box test generation for.NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 134\u2013153. Springer, Heidelberg (2008)"},{"key":"26_CR24","doi-asserted-by":"crossref","unstructured":"Tonella, P.: Evolutionary testing of classes. In: ISSTA, pp. 119\u2013128 (2004)","DOI":"10.1145\/1013886.1007528"}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20398-5_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T14:44:24Z","timestamp":1558536264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20398-5_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642203978","9783642203985"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20398-5_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}