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/testcom2000.bht:"
download as .bib file
@inproceedings{DBLP:conf/pts/AmyotL00,
author = {Daniel Amyot and
Luigi Logrippo},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Structural Coverage For {LOTOS} - a Probe Insertion Technique},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {19--34},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 22 Jul 2002 15:00:47 +0200},
biburl = {https://dblp.org/rec/conf/pts/AmyotL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BousquetRSVBV00,
author = {Lydie du Bousquet and
Solofo Ramangalahy and
S{\'{e}}verine Simon and
C{\'{e}}sar Viho and
Axel Belinfante and
Ren{\'{e}} G. de Vries},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Formal Test Automation: The Conference Protocol with {TGV/TORX}},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {221--228},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/BousquetRSVBV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CavalliPY00,
author = {Ana R. Cavalli and
Svetlana Prokopenko and
Nina Yevtushenko},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Fault Detection Power of a Widely Used Test Suite for a System of
Communicating FSMs},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {35},
publisher = {Kluwer},
year = {2000},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/CavalliPY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CsondesDK00,
author = {Tibor Cs{\"{o}}ndes and
Sarolta Dibuz and
P{\'{e}}ter Kr{\'{e}}mer},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Experiments on IPv6 Testing},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {113--126},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/CsondesDK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/DualeU00,
author = {Ali Y. Duale and
M. {\"{U}}mit Uyar},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Generation of Feasible Test Sequences for {EFSM} Models},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {91},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/DualeU00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/FeckoAUD00,
author = {Mariusz A. Fecko and
Paul D. Amer and
M. {\"{U}}mit Uyar and
Ali Y. Duale},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Test Generation in the Presence of Conflicting Timers},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {301},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/FeckoAUD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/GecseKS00,
author = {Roland Gecse and
P{\'{e}}ter Kr{\'{e}}mer and
J{\'{a}}nos Zolt{\'{a}}n Szab{\'{o}}},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {{HTTP} Performance Evaluation with {TTCN}},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {177--192},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/GecseKS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/GrabowskiWWH00,
author = {Jens Grabowski and
Anthony Wiles and
Colin Willcock and
Dieter Hogrefe},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {On the Design of the New Testing Language {TTCN-3}},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {161--176},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/GrabowskiWWH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/HeerinkFT00,
author = {Lex Heerink and
Jan Feenstra and
Jan Tretmans},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Formal Test Automation: The Conference Protocol with {PHACT}},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {211--220},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/HeerinkFT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/HorvathM00,
author = {Endre Horv{\'{a}}th and
Axel Manthey},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Functional Testing {GPRS} Support Nodes Using {TTCN}},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {229--238},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/HorvathM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/JardJM00,
author = {Claude Jard and
Thierry J{\'{e}}ron and
Pierre Morel},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Verification of Test Suites},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {3--18},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/JardJM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/KatoOSMIS00,
author = {Toshihiko Kato and
Tomohiko Ogishi and
Hiroyuki Shinbo and
Yutaka Miyake and
Akira Idoue and
Kenji Suzuki},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Interoperability Testing System of {TCP/IP} Based Systems in Operational
Environment},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {143},
publisher = {Kluwer},
year = {2000},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/KatoOSMIS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/KhoumsiADEG00,
author = {Ahmed Khoumsi and
Mehdi Akalay and
Rachida Dssouli and
Abdeslam En{-}Nouaary and
Louis Granger},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {An Approach for Testing Real Time Protocol Entities},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {281--300},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/KhoumsiADEG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/MaggioreVP00,
author = {Giulio Maggiore and
Silvio Valeau and
Jos{\'{e}} Pons},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {The Test Sub Group {(TSG):} {A} Cooperative Approach to Improve the
Release Quality before Type Acceptance},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {239},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/MaggioreVP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/MednonogovKMM00,
author = {Alexey Mednonogov and
Hannu H. Kari and
Olli Martikainen and
Jari Malinen},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Conformance Testing of {CORBA} Services Using {TTCN}},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {193},
publisher = {Kluwer},
year = {2000},
timestamp = {Fri, 26 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/MednonogovKMM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/PetrenkoU00,
author = {Alexandre Petrenko and
Andreas Ulrich},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Verification and Testing of Concurrent Systems with Action Races},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {261--280},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/PetrenkoU00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/RyuKKS00,
author = {Jiwon Ryu and
Myungchul Kim and
Sungwon Kang and
Soonuk Seol},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Interoperability Test Suite Generation for the {TCP} Data Part Using
Experimental Design Techniques},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {127--142},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 05 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/RyuKKS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/SchieferdeckerLR00,
author = {Ina Schieferdecker and
Mang Li and
Axel Rennoch},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Incremental Testing at System Reference Points},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {75--90},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/SchieferdeckerLR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Williams00,
author = {Alan W. Williams},
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Determination of Test Configurations for Pair-Wise Interaction Coverage},
booktitle = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
pages = {59--74},
publisher = {Kluwer},
year = {2000},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/Williams00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2000,
editor = {Hasan Ural and
Robert L. Probert and
Gregor von Bochmann},
title = {Testing of Communicating Systems: Tools and Techniques, {IFIP} {TC6/WG6.1}
13\({}^{\mbox{th}}\) International Conference on Testing Communicating
Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
series = {{IFIP} Conference Proceedings},
volume = {176},
publisher = {Kluwer},
year = {2000},
isbn = {0-7923-7921-7},
timestamp = {Mon, 22 Jul 2002 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/2000.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-25 03:31 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:
