Search dblp for Publications

export results for "toc:db/conf/pts/pts1998.bht:"

 download as .bib file

@inproceedings{DBLP:conf/pts/Anlauf98,
  author       = {M. Anlauf},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Programming Service Tests with {TTCN}},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {259--274},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Tue, 15 Feb 2022 08:52:40 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/Anlauf98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/BaumgartenW98,
  author       = {Bernd Baumgarten and
                  H. Wiland},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Qualitative Notions of Testability},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {345--360},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/BaumgartenW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/Boroday98,
  author       = {Sergiy Boroday},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Distinguishing Tests for Nondeterministic Finite State Machines},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {101--108},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/Boroday98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/BourhfirDAR98,
  author       = {C. Bourhfir and
                  Rachida Dssouli and
                  El Mostapha Aboulhamid and
                  Nathalie Rico},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {A Guided Incremental Test Case Generation Procedure for Conformance
                  Testing for {CEFSM} Specified Protocols},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {275--290},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 09 Feb 2004 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/BourhfirDAR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/BrinksmaHT98,
  author       = {Ed Brinksma and
                  Lex Heerink and
                  Jan Tretmans},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Factorized Test Generation for Multi-Input/Output Transition Systems},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {67--82},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/BrinksmaHT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/DesrochesLPRSV98,
  author       = {C. Desroches and
                  Mang Li and
                  Stephan Pietsch and
                  Axel Rennoch and
                  Ina Schieferdecker and
                  Theofanis Vassiliou{-}Gioles},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Test Suite Migration Experiences for {B-ISUP} and {B-MTP}},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {327--342},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Tue, 19 Jul 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/DesrochesLPRSV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/DietrichLKH98,
  author       = {Falk Dietrich and
                  Xavier Logean and
                  Shawn Koppenhoefer and
                  Jean{-}Pierre Hubaux},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Testing Temporal Logic Properties in Distributed Systems},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {247--258},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/DietrichLKH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/Ek98,
  author       = {Anders Ek},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Testing and Test Generation: State of the Art and Future Expectations},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {293--306},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/Ek98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/FeijsMMW98,
  author       = {Loe M. G. Feijs and
                  Frans A. C. Meijs and
                  Jean R. Moonen and
                  Jos van Wamel},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Conformance Testing of a Multimedia System Using {PHACT}},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {193--210},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Thu, 20 Mar 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/FeijsMMW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/Gecse98,
  author       = {Roland Gecse},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Conformance Testing Methodology of Internet Protocols Internet Application-Layer
                  Protocol Testing - the Hypertext Transfer Protocol},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {35--48},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/Gecse98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/Grunsky98,
  author       = {Igor S. Grunsky},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Testing of Automata: From Experiments to Representations by Means
                  of Fragments},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {3--14},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 11 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/Grunsky98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/GuiagoussouK98,
  author       = {Mahamat Guiagoussou and
                  Michel Kadoch},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {{TMN} and Telecommunication Networks Testing},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {17--34},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Tue, 22 Aug 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/GuiagoussouK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/KahloucheVZ98,
  author       = {Hakim Kahlouche and
                  C{\'{e}}sar Viho and
                  Massimo Zendri},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {An Industrial Experiment in Automatic Generation of Executable Test
                  Suites for a Cache Coherency Protocol},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {211--226},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/KahloucheVZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/OgishiIKS98,
  author       = {Tomohiko Ogishi and
                  Akira Idoue and
                  Toshihiko Kato and
                  Kenji Suzuki},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Intelligent Protocol Analyzer for {WWW} Server Accesses with Exception
                  Handling Function},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {49--64},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Thu, 22 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/OgishiIKS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/PetrenkoUC98,
  author       = {Alexandre Petrenko and
                  Andreas Ulrich and
                  V. Chapenko},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Using Partial-Orders for Detecting Faults in Concurrent Systems},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {175--190},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/PetrenkoUC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/SchmittEKGH98,
  author       = {Michael Schmitt and
                  Anders Ek and
                  Beat Koch and
                  Jens Grabowski and
                  Dieter Hogrefe},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Autolink - Putting SDL-Based Test Generation Into Practice},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {227--244},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Fri, 06 Jan 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/SchmittEKGH98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/ShinK98,
  author       = {Jaehwi Shin and
                  Sungwon Kang},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Interoperability Test Suite Derivation for the {ATM/B-ISDN} Signaling
                  Protocol},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {307--326},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Thu, 14 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/ShinK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/TanP98,
  author       = {Q. M. Tan and
                  Alexandre Petrenko},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Test Generation for Specifications Modeled by Input/Output Automata},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {83--100},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/TanP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/WalterSG98,
  author       = {Thomas Walter and
                  Ina Schieferdecker and
                  Jens Grabowski},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Test Architectures for Distributed Systems: State of the Art and Beyond},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {149--174},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Mon, 21 Oct 2002 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/WalterSG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/YevtushenkoCL98,
  author       = {Nina Yevtushenko and
                  Ana R. Cavalli and
                  Luiz A. Paula Lima Jr.},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Test Suite Minimization for Testing in Context},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {127--146},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/YevtushenkoCL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/ZhuVC98,
  author       = {Jinsong Zhu and
                  Son T. Vuong and
                  Samuel T. Chanson},
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Evaluation of Test Coverage for Embedded System Testing},
  booktitle    = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  pages        = {111--126},
  publisher    = {Kluwer},
  year         = {1998},
  timestamp    = {Wed, 10 Sep 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/ZhuVC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pts/1998,
  editor       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  title        = {Testing of Communicating Systems, {IFIP} {TC6} 11th International
                  Workshop on Testing Communicating Systems (IWTCS), August 31 - September
                  2, 1998, Tomsk, Russia},
  series       = {{IFIP} Conference Proceedings},
  volume       = {131},
  publisher    = {Kluwer},
  year         = {1998},
  isbn         = {0-412-84430-3},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/1998.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.