Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/pts/Baker08,
  author       = {Paul Baker},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Models and Testing - {A} Recipe for Improved Effectiveness?},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {5--6},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_2},
  doi          = {10.1007/978-3-540-68524-1\_2},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/Baker08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BertolinoAFP08,
  author       = {Antonia Bertolino and
                  Guglielmo De Angelis and
                  Lars Frantzen and
                  Andrea Polini},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Model-Based Generation of Testbeds for Web Services},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {266--282},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_19},
  doi          = {10.1007/978-3-540-68524-1\_19},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/BertolinoAFP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BochmannHJJ08,
  author       = {Gregor von Bochmann and
                  Stefan Haar and
                  Claude Jard and
                  Guy{-}Vincent Jourdan},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Testing Systems Specified as Partial Order Input/Output Automata},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {169--183},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_13},
  doi          = {10.1007/978-3-540-68524-1\_13},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/BochmannHJJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BruckerBW08,
  author       = {Achim D. Brucker and
                  Lukas Br{\"{u}}gger and
                  Burkhart Wolff},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Model-Based Firewall Conformance Testing},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {103--118},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_9},
  doi          = {10.1007/978-3-540-68524-1\_9},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/BruckerBW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CalameP08,
  author       = {Jens R. Calam{\'{e}} and
                  Jaco van de Pol},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Applying Model-Based Testing to {HTML} Rendering Engines - {A} Case
                  Study},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {250--265},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_18},
  doi          = {10.1007/978-3-540-68524-1\_18},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/CalameP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/DangN08,
  author       = {Thao Dang and
                  Tarik Nahhal},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Using Disparity to Enhance Test Generation for Hybrid Systems},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {54--69},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_6},
  doi          = {10.1007/978-3-540-68524-1\_6},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/DangN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/DinSP08,
  author       = {George Din and
                  Ina Schieferdecker and
                  Razvan Petre},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Performance Test Design Process and Its Implementation Patterns for
                  Multi-services Systems},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {135--152},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_11},
  doi          = {10.1007/978-3-540-68524-1\_11},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/DinSP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/FaivreGGT08,
  author       = {Alain Faivre and
                  Christophe Gaston and
                  Pascale Le Gall and
                  Assia Touil},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Test Purpose Concretization through Symbolic Action Refinement},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {184--199},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_14},
  doi          = {10.1007/978-3-540-68524-1\_14},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/FaivreGGT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/GrossmannSW08,
  author       = {J{\"{u}}rgen Gro{\ss}mann and
                  Ina Schieferdecker and
                  Hans{-}Werner Wiesbrock},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Modeling Property Based Stream Templates with {TTCN-3}},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {70--85},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_7},
  doi          = {10.1007/978-3-540-68524-1\_7},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/GrossmannSW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/GrozLPS08,
  author       = {Roland Groz and
                  Keqin Li and
                  Alexandre Petrenko and
                  Muzammil Shahbaz},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Modular System Verification by Inference, Testing and Reachability
                  Analysis},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {216--233},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_16},
  doi          = {10.1007/978-3-540-68524-1\_16},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/GrozLPS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Havelund08,
  author       = {Klaus Havelund},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Runtime Verification of {C} Programs},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {7--22},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_3},
  doi          = {10.1007/978-3-540-68524-1\_3},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/Havelund08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/HieronsMN08,
  author       = {Robert M. Hierons and
                  Mercedes G. Merayo and
                  Manuel N{\'{u}}{\~{n}}ez},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Implementation Relations for the Distributed Test Architecture},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {200--215},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_15},
  doi          = {10.1007/978-3-540-68524-1\_15},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/HieronsMN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/JaaskelainenKKHMP08,
  author       = {Antti J{\"{a}}{\"{a}}skel{\"{a}}inen and
                  Mika Katara and
                  Antti Kervinen and
                  Henri Heiskanen and
                  Mika Maunumaa and
                  Tuula P{\"{a}}{\"{a}}kk{\"{o}}nen},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Model-Based Testing Service on the Web},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {38--53},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_5},
  doi          = {10.1007/978-3-540-68524-1\_5},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/JaaskelainenKKHMP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Kuliamin08,
  author       = {Victor V. Kuliamin},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Test Construction for Mathematical Functions},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {23--37},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_4},
  doi          = {10.1007/978-3-540-68524-1\_4},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/Kuliamin08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/MerayoNR08,
  author       = {Mercedes G. Merayo and
                  Manuel N{\'{u}}{\~{n}}ez and
                  Ismael Rodr{\'{\i}}guez},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {{THOTL:} {A} Timed Extension of {HOTL}},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {86--102},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_8},
  doi          = {10.1007/978-3-540-68524-1\_8},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/MerayoNR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/SerbanescuMDSR08,
  author       = {Diana Alina Serbanescu and
                  Victoria Molovata and
                  George Din and
                  Ina Schieferdecker and
                  Ilja Radusch},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Real-Time Testing with {TTCN-3}},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {283--301},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_20},
  doi          = {10.1007/978-3-540-68524-1\_20},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/SerbanescuMDSR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/ShuCLLSL08,
  author       = {Guoqiang Shu and
                  Dongluo Chen and
                  Zhijun Liu and
                  Na Li and
                  Lifeng Sang and
                  David Lee},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {{VCSTC:} Virtual Cyber Security Testing Capability - An Application
                  Oriented Paradigm for Network Infrastructure Protection},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {119--134},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_10},
  doi          = {10.1007/978-3-540-68524-1\_10},
  timestamp    = {Mon, 15 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/ShuCLLSL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/SimaoP08,
  author       = {Adenilso da Silva Sim{\~{a}}o and
                  Alexandre Petrenko},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Generating Checking Sequences for Partial Reduced Finite State Machines},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {153--168},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_12},
  doi          = {10.1007/978-3-540-68524-1\_12},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/SimaoP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/WangH08,
  author       = {Farn Wang and
                  Geng{-}Dian Huang},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Test Plan Generation for Concurrent Real-Time Systems Based on Zone
                  Coverage Analysis},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {234--249},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_17},
  doi          = {10.1007/978-3-540-68524-1\_17},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/WangH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Yasuda08,
  author       = {Yutaka Yasuda},
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {All-IP Based Ultra 3G Network/Service Development in a Competitive
                  Market},
  booktitle    = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  pages        = {1--4},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1\_1},
  doi          = {10.1007/978-3-540-68524-1\_1},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/Yasuda08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2008,
  editor       = {Kenji Suzuki and
                  Teruo Higashino and
                  Andreas Ulrich and
                  Toru Hasegawa},
  title        = {Testing of Software and Communicating Systems, 20th {IFIP} {TC} 6/WG
                  6.1 International Conference, TestCom 2008, 8th International Workshop,
                  {FATES} 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5047},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68524-1},
  doi          = {10.1007/978-3-540-68524-1},
  isbn         = {978-3-540-68514-2},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics