callback( { "result":{ "query":":facetid:toc:\"db/conf/laser/laser2010.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"217.56" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"6", "@dc":"6", "@oc":"6", "@id":"43412408", "text":":facetid:toc:db/conf/laser/laser2010.bht" } }, "hits":{ "@total":"6", "@computed":"6", "@sent":"6", "@first":"0", "hit":[{ "@score":"1", "@id":"4516196", "info":{"authors":{"author":[{"@pid":"m/BertrandMeyer","text":"Bertrand Meyer 0001"},{"@pid":"18/6586","text":"Martin Nordio"}]},"title":"Empirical Software Engineering and Verification - International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures","venue":["LASER Summer School","Lecture Notes in Computer Science"],"volume":"7007","publisher":"Springer","year":"2012","type":"Editorship","key":"conf/laser/2010","doi":"10.1007/978-3-642-25231-0","ee":"https://doi.org/10.1007/978-3-642-25231-0","url":"https://dblp.org/rec/conf/laser/2010"}, "url":"URL#4516196" }, { "@score":"1", "@id":"4959175", "info":{"authors":{"author":[{"@pid":"07/4464","text":"Pietro Braione"},{"@pid":"85/4864","text":"Giovanni Denaro"},{"@pid":"98/6514","text":"Mauro Pezzè"}]},"title":"On the Integration of Software Testing and Formal Analysis.","venue":"LASER Summer School","pages":"158-193","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/laser/BraioneDP10","doi":"10.1007/978-3-642-25231-0_4","ee":"https://doi.org/10.1007/978-3-642-25231-0_4","url":"https://dblp.org/rec/conf/laser/BraioneDP10"}, "url":"URL#4959175" }, { "@score":"1", "@id":"4959176", "info":{"authors":{"author":[{"@pid":"h/MarkHarman","text":"Mark Harman"},{"@pid":"33/13","text":"Phil McMinn"},{"@pid":"22/6985","text":"Jerffeson Teixeira de Souza"},{"@pid":"06/1626","text":"Shin Yoo"}]},"title":"Search Based Software Engineering: Techniques, Taxonomy, Tutorial.","venue":"LASER Summer School","pages":"1-59","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/laser/HarmanMSY10","doi":"10.1007/978-3-642-25231-0_1","ee":"https://doi.org/10.1007/978-3-642-25231-0_1","url":"https://dblp.org/rec/conf/laser/HarmanMSY10"}, "url":"URL#4959176" }, { "@score":"1", "@id":"4959177", "info":{"authors":{"author":[{"@pid":"35/4144","text":"Natalia Juristo Juzgado"},{"@pid":"55/8559","text":"Omar S. Gómez"}]},"title":"Replication of Software Engineering Experiments.","venue":"LASER Summer School","pages":"60-88","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/laser/JuzgadoG10","doi":"10.1007/978-3-642-25231-0_2","ee":"https://doi.org/10.1007/978-3-642-25231-0_2","url":"https://dblp.org/rec/conf/laser/JuzgadoG10"}, "url":"URL#4959177" }, { "@score":"1", "@id":"4959178", "info":{"authors":{"author":[{"@pid":"46/9059","text":"Benjamin Morandi"},{"@pid":"79/1959","text":"Sebastian Nanz"},{"@pid":"m/BertrandMeyer","text":"Bertrand Meyer 0001"}]},"title":"A Formal Reference for SCOOP.","venue":"LASER Summer School","pages":"89-157","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/laser/MorandiNM10","doi":"10.1007/978-3-642-25231-0_3","ee":"https://doi.org/10.1007/978-3-642-25231-0_3","url":"https://dblp.org/rec/conf/laser/MorandiNM10"}, "url":"URL#4959178" }, { "@score":"1", "@id":"4959179", "info":{"authors":{"author":[{"@pid":"04/470-1","text":"Yi Wei 0001"},{"@pid":"m/BertrandMeyer","text":"Bertrand Meyer 0001"},{"@pid":"o/ManuelOriol","text":"Manuel Oriol"}]},"title":"Is Branch Coverage a Good Measure of Testing Effectiveness?","venue":"LASER Summer School","pages":"194-212","year":"2010","type":"Conference and Workshop Papers","access":"closed","key":"conf/laser/WeiMO10","doi":"10.1007/978-3-642-25231-0_5","ee":"https://doi.org/10.1007/978-3-642-25231-0_5","url":"https://dblp.org/rec/conf/laser/WeiMO10"}, "url":"URL#4959179" } ] } } } )