callback( { "result":{ "query":":facetid:toc:\"db/conf/dagstuhl/P4371.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"189.39" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"6", "@dc":"6", "@oc":"6", "@id":"43388156", "text":":facetid:toc:db/conf/dagstuhl/P4371.bht" } }, "hits":{ "@total":"6", "@computed":"6", "@sent":"6", "@first":"0", "hit":[{ "@score":"1", "@id":"5958936", "info":{"authors":{"author":[{"@pid":"b/EdBrinksma","text":"Ed Brinksma"},{"@pid":"g/WolfgangGrieskamp","text":"Wolfgang Grieskamp"},{"@pid":"06/4485","text":"Jan Tretmans"}]},"title":"Perspectives of Model-Based Testing, 5.-10. September 2004","venue":["Perspectives of Model-Based Testing","Dagstuhl Seminar Proceedings"],"volume":"04371","publisher":"IBFI, Schloss Dagstuhl, Germany","year":"2005","type":"Editorship","access":"open","key":"conf/dagstuhl/2004P4371","ee":"http://drops.dagstuhl.de/portals/04371/","url":"https://dblp.org/rec/conf/dagstuhl/2004P4371"}, "url":"URL#5958936" }, { "@score":"1", "@id":"6098312", "info":{"authors":{"author":[{"@pid":"b/EdBrinksma","text":"Ed Brinksma"},{"@pid":"g/WolfgangGrieskamp","text":"Wolfgang Grieskamp"},{"@pid":"06/4485","text":"Jan Tretmans"}]},"title":"04371 Summary - Perspectives of Model-Based Testing.","venue":"Perspectives of Model-Based Testing","year":"2004","type":"Informal and Other Publications","access":"open","key":"conf/dagstuhl/BrinksmaGT04","ee":"http://drops.dagstuhl.de/opus/volltexte/2005/364","url":"https://dblp.org/rec/conf/dagstuhl/BrinksmaGT04"}, "url":"URL#6098312" }, { "@score":"1", "@id":"6098313", "info":{"authors":{"author":[{"@pid":"b/EdBrinksma","text":"Ed Brinksma"},{"@pid":"g/WolfgangGrieskamp","text":"Wolfgang Grieskamp"},{"@pid":"06/4485","text":"Jan Tretmans"}]},"title":"04371 Abstracts Collection - Perspectives of Model-Based Testing.","venue":"Perspectives of Model-Based Testing","year":"2004","type":"Informal and Other Publications","access":"open","key":"conf/dagstuhl/BrinksmaGT04a","ee":"http://drops.dagstuhl.de/opus/volltexte/2005/365","url":"https://dblp.org/rec/conf/dagstuhl/BrinksmaGT04a"}, "url":"URL#6098313" }, { "@score":"1", "@id":"6098317", "info":{"authors":{"author":{"@pid":"07/5828","text":"Mirko Conrad"}},"title":"Systematic Testing of Embedded Automotive Software - The Classification-Tree Method for Embedded Systems (CTM/ES).","venue":"Perspectives of Model-Based Testing","year":"2004","type":"Informal and Other Publications","access":"open","key":"conf/dagstuhl/Conrad04","ee":"http://drops.dagstuhl.de/opus/volltexte/2005/325","url":"https://dblp.org/rec/conf/dagstuhl/Conrad04"}, "url":"URL#6098317" }, { "@score":"1", "@id":"6098363", "info":{"authors":{"author":{"@pid":"69/2176","text":"Pieter W. M. Koopman"}},"title":"Testing with Functions as Specifications.","venue":"Perspectives of Model-Based Testing","year":"2004","type":"Informal and Other Publications","access":"open","key":"conf/dagstuhl/Koopman04","ee":"http://drops.dagstuhl.de/opus/volltexte/2005/324","url":"https://dblp.org/rec/conf/dagstuhl/Koopman04"}, "url":"URL#6098363" }, { "@score":"1", "@id":"6098367", "info":{"authors":{"author":[{"@pid":"l/KimGuldstrandLarsen","text":"Kim Guldstrand Larsen"},{"@pid":"20/5032","text":"Marius Mikucionis"},{"@pid":"25/4976","text":"Brian Nielsen"}]},"title":"Online Testing of Real-Time Systems Using UPPAAL: Status and Future Work.","venue":"Perspectives of Model-Based Testing","year":"2004","type":"Informal and Other Publications","access":"open","key":"conf/dagstuhl/LarsenMN04","ee":"http://drops.dagstuhl.de/opus/volltexte/2005/326","url":"https://dblp.org/rec/conf/dagstuhl/LarsenMN04"}, "url":"URL#6098367" } ] } } } )