callback( { "result":{ "query":":facetid:toc:\"db/conf/pts/testcom2000.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"65.53" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"20", "@dc":"20", "@oc":"20", "@id":"43420342", "text":":facetid:toc:db/conf/pts/testcom2000.bht" } }, "hits":{ "@total":"20", "@computed":"20", "@sent":"20", "@first":"0", "hit":[{ "@score":"1", "@id":"6472857", "info":{"authors":{"author":[{"@pid":"a/DanielAmyot","text":"Daniel Amyot"},{"@pid":"l/LuigiLogrippo","text":"Luigi Logrippo"}]},"title":"Structural Coverage For LOTOS - a Probe Insertion Technique.","venue":"TestCom","pages":"19-34","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/AmyotL00","url":"https://dblp.org/rec/conf/pts/AmyotL00"}, "url":"URL#6472857" }, { "@score":"1", "@id":"6472858", "info":{"authors":{"author":[{"@pid":"b/LydieduBousquet","text":"Lydie du Bousquet"},{"@pid":"34/6561","text":"Solofo Ramangalahy"},{"@pid":"49/5126","text":"Séverine Simon"},{"@pid":"19/980","text":"César Viho"},{"@pid":"70/4345","text":"Axel Belinfante"},{"@pid":"45/1239","text":"René G. de Vries"}]},"title":"Formal Test Automation: The Conference Protocol with TGV/TORX.","venue":"TestCom","pages":"221-228","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/BousquetRSVBV00","url":"https://dblp.org/rec/conf/pts/BousquetRSVBV00"}, "url":"URL#6472858" }, { "@score":"1", "@id":"6472859", "info":{"authors":{"author":[{"@pid":"51/5965","text":"Ana R. Cavalli"},{"@pid":"08/6237","text":"Svetlana Prokopenko"},{"@pid":"33/658","text":"Nina Yevtushenko 0001"}]},"title":"Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs.","venue":"TestCom","pages":"35-","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/CavalliPY00","url":"https://dblp.org/rec/conf/pts/CavalliPY00"}, "url":"URL#6472859" }, { "@score":"1", "@id":"6472860", "info":{"authors":{"author":[{"@pid":"17/117","text":"Tibor Csöndes"},{"@pid":"88/1866","text":"Sarolta Dibuz"},{"@pid":"16/4089","text":"Péter Krémer"}]},"title":"Experiments on IPv6 Testing.","venue":"TestCom","pages":"113-126","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/CsondesDK00","url":"https://dblp.org/rec/conf/pts/CsondesDK00"}, "url":"URL#6472860" }, { "@score":"1", "@id":"6472861", "info":{"authors":{"author":[{"@pid":"10/3109","text":"Ali Y. Duale"},{"@pid":"76/32","text":"M. Ümit Uyar"}]},"title":"Generation of Feasible Test Sequences for EFSM Models.","venue":"TestCom","pages":"91-","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/DualeU00","url":"https://dblp.org/rec/conf/pts/DualeU00"}, "url":"URL#6472861" }, { "@score":"1", "@id":"6472862", "info":{"authors":{"author":[{"@pid":"13/2967","text":"Mariusz A. Fecko"},{"@pid":"a/PDAmer","text":"Paul D. Amer"},{"@pid":"76/32","text":"M. Ümit Uyar"},{"@pid":"10/3109","text":"Ali Y. Duale"}]},"title":"Test Generation in the Presence of Conflicting Timers.","venue":"TestCom","pages":"301-","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/FeckoAUD00","url":"https://dblp.org/rec/conf/pts/FeckoAUD00"}, "url":"URL#6472862" }, { "@score":"1", "@id":"6472863", "info":{"authors":{"author":[{"@pid":"97/1218","text":"Roland Gecse"},{"@pid":"16/4089","text":"Péter Krémer"},{"@pid":"96/6692","text":"János Zoltán Szabó"}]},"title":"HTTP Performance Evaluation with TTCN.","venue":"TestCom","pages":"177-192","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/GecseKS00","url":"https://dblp.org/rec/conf/pts/GecseKS00"}, "url":"URL#6472863" }, { "@score":"1", "@id":"6472864", "info":{"authors":{"author":[{"@pid":"g/JensGrabowski","text":"Jens Grabowski"},{"@pid":"84/1110","text":"Anthony Wiles"},{"@pid":"31/193","text":"Colin Willcock"},{"@pid":"h/DieterHogrefe","text":"Dieter Hogrefe"}]},"title":"On the Design of the New Testing Language TTCN-3.","venue":"TestCom","pages":"161-176","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/GrabowskiWWH00","url":"https://dblp.org/rec/conf/pts/GrabowskiWWH00"}, "url":"URL#6472864" }, { "@score":"1", "@id":"6472865", "info":{"authors":{"author":[{"@pid":"33/6886","text":"Lex Heerink"},{"@pid":"13/6121","text":"Jan Feenstra"},{"@pid":"06/4485","text":"Jan Tretmans"}]},"title":"Formal Test Automation: The Conference Protocol with PHACT.","venue":"TestCom","pages":"211-220","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/HeerinkFT00","url":"https://dblp.org/rec/conf/pts/HeerinkFT00"}, "url":"URL#6472865" }, { "@score":"1", "@id":"6472866", "info":{"authors":{"author":[{"@pid":"86/4742","text":"Endre Horváth"},{"@pid":"67/4869","text":"Axel Manthey"}]},"title":"Functional Testing GPRS Support Nodes Using TTCN.","venue":"TestCom","pages":"229-238","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/HorvathM00","url":"https://dblp.org/rec/conf/pts/HorvathM00"}, "url":"URL#6472866" }, { "@score":"1", "@id":"6472867", "info":{"authors":{"author":[{"@pid":"01/2700","text":"Claude Jard"},{"@pid":"50/6556","text":"Thierry Jéron"},{"@pid":"07/943","text":"Pierre Morel"}]},"title":"Verification of Test Suites.","venue":"TestCom","pages":"3-18","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/JardJM00","url":"https://dblp.org/rec/conf/pts/JardJM00"}, "url":"URL#6472867" }, { "@score":"1", "@id":"6472868", "info":{"authors":{"author":[{"@pid":"80/2921","text":"Toshihiko Kato"},{"@pid":"90/3059","text":"Tomohiko Ogishi"},{"@pid":"45/5750","text":"Hiroyuki Shinbo"},{"@pid":"22/993","text":"Yutaka Miyake"},{"@pid":"10/3986","text":"Akira Idoue"},{"@pid":"99/5441-3","text":"Kenji Suzuki 0003"}]},"title":"Interoperability Testing System of TCP/IP Based Systems in Operational Environment.","venue":"TestCom","pages":"143-","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/KatoOSMIS00","url":"https://dblp.org/rec/conf/pts/KatoOSMIS00"}, "url":"URL#6472868" }, { "@score":"1", "@id":"6472869", "info":{"authors":{"author":[{"@pid":"03/6424","text":"Ahmed Khoumsi"},{"@pid":"89/4092","text":"Mehdi Akalay"},{"@pid":"29/2226","text":"Rachida Dssouli"},{"@pid":"39/4435","text":"Abdeslam En-Nouaary"},{"@pid":"57/4689","text":"Louis Granger"}]},"title":"An Approach for Testing Real Time Protocol Entities.","venue":"TestCom","pages":"281-300","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/KhoumsiADEG00","url":"https://dblp.org/rec/conf/pts/KhoumsiADEG00"}, "url":"URL#6472869" }, { "@score":"1", "@id":"6472870", "info":{"authors":{"author":[{"@pid":"28/2612","text":"Giulio Maggiore"},{"@pid":"61/5749","text":"Silvio Valeau"},{"@pid":"35/6164","text":"José Pons"}]},"title":"The Test Sub Group (TSG): A Cooperative Approach to Improve the Release Quality before Type Acceptance.","venue":"TestCom","pages":"239-","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/MaggioreVP00","url":"https://dblp.org/rec/conf/pts/MaggioreVP00"}, "url":"URL#6472870" }, { "@score":"1", "@id":"6472871", "info":{"authors":{"author":[{"@pid":"64/2004","text":"Alexey Mednonogov"},{"@pid":"164/9181","text":"Hannu H. Kari"},{"@pid":"20/1893","text":"Olli Martikainen"},{"@pid":"23/1750","text":"Jari Malinen"}]},"title":"Conformance Testing of CORBA Services Using TTCN.","venue":"TestCom","pages":"193-","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/MednonogovKMM00","url":"https://dblp.org/rec/conf/pts/MednonogovKMM00"}, "url":"URL#6472871" }, { "@score":"1", "@id":"6472872", "info":{"authors":{"author":[{"@pid":"72/1508","text":"Alexandre Petrenko"},{"@pid":"04/7011","text":"Andreas Ulrich"}]},"title":"Verification and Testing of Concurrent Systems with Action Races.","venue":"TestCom","pages":"261-280","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/PetrenkoU00","url":"https://dblp.org/rec/conf/pts/PetrenkoU00"}, "url":"URL#6472872" }, { "@score":"1", "@id":"6472873", "info":{"authors":{"author":[{"@pid":"70/1656","text":"Jiwon Ryu"},{"@pid":"00/4131","text":"Myungchul Kim 0001"},{"@pid":"06/4939","text":"Sungwon Kang"},{"@pid":"49/1791","text":"Soonuk Seol"}]},"title":"Interoperability Test Suite Generation for the TCP Data Part Using Experimental Design Techniques.","venue":"TestCom","pages":"127-142","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/RyuKKS00","url":"https://dblp.org/rec/conf/pts/RyuKKS00"}, "url":"URL#6472873" }, { "@score":"1", "@id":"6472874", "info":{"authors":{"author":[{"@pid":"s/InaSchieferdecker","text":"Ina Schieferdecker"},{"@pid":"93/2931","text":"Mang Li"},{"@pid":"42/6082","text":"Axel Rennoch"}]},"title":"Incremental Testing at System Reference Points.","venue":"TestCom","pages":"75-90","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/SchieferdeckerLR00","url":"https://dblp.org/rec/conf/pts/SchieferdeckerLR00"}, "url":"URL#6472874" }, { "@score":"1", "@id":"6472875", "info":{"authors":{"author":{"@pid":"15/2537","text":"Alan W. Williams"}},"title":"Determination of Test Configurations for Pair-Wise Interaction Coverage.","venue":"TestCom","pages":"59-74","year":"2000","type":"Conference and Workshop Papers","access":"unavailable","key":"conf/pts/Williams00","url":"https://dblp.org/rec/conf/pts/Williams00"}, "url":"URL#6472875" }, { "@score":"1", "@id":"6481427", "info":{"authors":{"author":[{"@pid":"u/HasanUral","text":"Hasan Ural"},{"@pid":"p/RLProbert","text":"Robert L. Probert"},{"@pid":"b/GvBochmann","text":"Gregor von Bochmann"}]},"title":"Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada","venue":["TestCom","IFIP Conference Proceedings"],"volume":"176","publisher":"Kluwer","year":"2000","type":"Editorship","access":"unavailable","key":"conf/pts/2000","url":"https://dblp.org/rec/conf/pts/2000"}, "url":"URL#6481427" } ] } } } )