Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/pts/testcom2002.bht:"
download as .bib file
@inproceedings{DBLP:conf/pts/Ahtiainen02,
author = {Ari Ahtiainen},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Applying Formal Method in Mobile Protocol Testing},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {187},
publisher = {Kluwer},
year = {2002},
timestamp = {Mon, 22 Jul 2002 15:00:50 +0200},
biburl = {https://dblp.org/rec/conf/pts/Ahtiainen02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BesseCKZ02,
author = {C{\'{e}}dric Besse and
Ana R. Cavalli and
Myungchul Kim and
Fatiha Za{\"{\i}}di},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Automated Generation of Interoperability Tests},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {169},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/BesseCKZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Binder02,
author = {Robert V. Binder},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Achieving High Reliability for Ubiquitous Information Technology},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {75},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/Binder02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BorodayPGQ02,
author = {Sergiy Boroday and
Alexandre Petrenko and
Roland Groz and
Yves{-}Marie Quemener},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Test Generation for {CEFSM} Combining Specification and Fault Coverage},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {355--372},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/BorodayPGQ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BrederekeS02,
author = {Jan Bredereke and
Bernd{-}Holger Schlingloff},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {An Automated, Flexible Testing Environment for {UMTS}},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {79--94},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/BrederekeS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CastanetR02,
author = {Richard Castanet and
Davy Rouillard},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Generate Certified Test Cases by Combining Theorem Proving and Reachability
Analysis},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {249--266},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/CastanetR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CavalliPY02,
author = {Ana R. Cavalli and
Svetlana Prokopenko and
Nina Yevtushenko},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Fault Detection within a Component of a System of Communicating FSMs},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {317},
publisher = {Kluwer},
year = {2002},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/CavalliPY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/DaiGN02,
author = {Zhen Ru Dai and
Jens Grabowski and
Helmut Neukirchen},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Timed {TTCN-3} - {A} Real-time Extension for {TTCN-3}},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {407--424},
publisher = {Kluwer},
year = {2002},
timestamp = {Tue, 12 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/DaiGN02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/EbnerYL02,
author = {Michael Ebner and
Aihong Yin and
Mang Li},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {A Definition and Utilization of {OMG} {IDL} to {TTCN-3} Mappings},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {443},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/EbnerYL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/El-FakihYB02,
author = {Khaled El{-}Fakih and
Nina Yevtushenko and
Gregor von Bochmann},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {FSM-based Re-Testing Methods},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {373--390},
publisher = {Kluwer},
year = {2002},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/El-FakihYB02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/FeijsGMT02,
author = {Loe M. G. Feijs and
Nicolae Goga and
Sjouke Mauw and
Jan Tretmans},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Test Selection, Trace Distance and Heuristics},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {267--282},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/FeijsGMT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Gehring02,
author = {Andreas Gehring},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Testing of {IP} Services {\&} Applications in a Service Provider
Environment},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {17},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/Gehring02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/HeikkilaTV02,
author = {Tapio Heikkil{\"{a}} and
Petri Tenno and
Jarmo V{\"{a}}{\"{a}}n{\"{a}}nen},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Position Statement: Testing Automation with Computer Aided Test Case
Generation},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {209},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 27 Apr 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/HeikkilaTV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Horvath02,
author = {Endre Horv{\'{a}}th},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {235},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/Horvath02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Jard02,
author = {Claude Jard},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Principles of Distributed Test Synthesis based on True-concurrency
Models},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {301--316},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/Jard02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Kone02,
author = {Ousmane Kon{\'{e}}},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Compliance of Wireless Application Protocols},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {129--138},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/Kone02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/MannCK02,
author = {Zolt{\'{a}}n {\'{A}}d{\'{a}}m Mann and
Jacques Calmet and
Peter Kullmann},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Testing Access to External Information Sources in a Mediator Environment},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {111},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/MannCK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/MarcheQG02,
author = {Mikael Marche and
Yves{-}Marie Quemener and
Roland Groz},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Testing Mobile Agents},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {95--110},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/MarcheQG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/OgishiHKS02,
author = {Tomohiko Ogishi and
Toru Hasegawa and
Toshihiko Kato and
Kenji Suzuki},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {A {TCP} Test System Specifying only Exceptional Packet Sequences},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {21--38},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/OgishiHKS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/ParadaCFLC02,
author = {Carlos Parada and
Jorge Carapinha and
Francisco Fontes and
Solange Rito Lima and
Paulo Carvalho},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Testing {IP} Differentiated Services Implementations},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {55},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 27 Oct 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/ParadaCFLC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Peleska02,
author = {Jan Peleska},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Hardware/Software Integration Testing for the new Airbus Aircraft
Families},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {335},
publisher = {Kluwer},
year = {2002},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/Peleska02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/RosslerS02,
author = {Georg R{\"{o}}{\ss}ler and
Thomas Steinert},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {A Flexible Traffic Generator for Testing {PABX} and Call Center Performance},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {139},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/RosslerS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Sachse02,
author = {Wolfgang Sachse},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Position Statement: Making {TTCN-3} testing a success},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {201--208},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/Sachse02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/SchulzV02,
author = {Stephan Schulz and
Theofanis Vassiliou{-}Gioles},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Implementation of {TTCN-3} Test Systems using the {TRI}},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {425--442},
publisher = {Kluwer},
year = {2002},
timestamp = {Fri, 15 Jan 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/SchulzV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/SeolKC02,
author = {Soonuk Seol and
Myungchul Kim and
Samuel T. Chanson},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Interoperability Test Generation for Communication Protocols based
on Multiple Stimuli Principle},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {151--168},
publisher = {Kluwer},
year = {2002},
timestamp = {Mon, 05 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/SeolKC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/SerdarT02,
author = {Burak Serdar and
Kuo{-}Chung Tai},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {A New Approach To Checking Sequence Generation for Finite State Machines},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {391},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/SerdarT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Szabo02,
author = {J{\'{a}}nos Zolt{\'{a}}n Szab{\'{o}}},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Experiences of {TTCN-3} Test Executor Development},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {191--200},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/Szabo02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Veciana-NoguesCDS02,
author = {Carlos Veciana{-}Nogu{\'{e}}s and
Albert Cabellos{-}Aparicio and
Jordi Domingo{-}Pascual and
Josep Sol{\'{e}}{-}Pareta},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Verifying {IP} Meters from Sampled Measurements},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {39--54},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/Veciana-NoguesCDS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/VriesBF02,
author = {Ren{\'{e}} G. de Vries and
Axel Belinfante and
Jan Feenstra},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Automated Testing in Practice: The Highway Tolling System},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {219--234},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/VriesBF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/WilliamsP02,
author = {Alan W. Williams and
Robert L. Probert},
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Formulation of the Interaction Test Coverage Problem as an Integer
Program},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
pages = {283},
publisher = {Kluwer},
year = {2002},
timestamp = {Thu, 18 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/WilliamsP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2002,
editor = {Ina Schieferdecker and
Hartmut K{\"{o}}nig and
Adam Wolisz},
title = {Testing of Communicating Systems XIV, Applications to Internet Technologies
and Services, Proceedings of the {IFIP} 14th International Conference
on Testing Communicating Systems - TestCom 2002, Berlin, Germany,
March 19-22, 2002},
series = {{IFIP} Conference Proceedings},
volume = {210},
publisher = {Kluwer},
year = {2002},
isbn = {0-7923-7695-1},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-08 18:20 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
