Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/pts/testcom2008.bht:"
@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} }
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.