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/testcom2005.bht:"
download as .bib file
@inproceedings{DBLP:conf/pts/BatoriA05,
author = {Gabor Batori and
Domonkos Asztalos},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Using {TTCN-3} for Testing Platform Independent Models},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {304--317},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_21},
doi = {10.1007/11430230\_21},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/BatoriA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BerradaCF05,
author = {Ismail Berrada and
Richard Castanet and
Patrick F{\'{e}}lix},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Testing Communicating Systems: a Model, a Methodology, and a Tool},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {111--128},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_9},
doi = {10.1007/11430230\_9},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/BerradaCF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BijlRT05,
author = {Machiel van der Bijl and
Arend Rensink and
Jan Tretmans},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Action Refinement in Conformance Testing},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {81--96},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_7},
doi = {10.1007/11430230\_7},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/BijlRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/CampbellVHP05,
author = {Colin Campbell and
Margus Veanes and
Jiale Huo and
Alexandre Petrenko},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Multiplexing of Partially Ordered Events},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {97--110},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_8},
doi = {10.1007/11430230\_8},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/CampbellVHP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/ChenHUY05,
author = {Jessica Chen and
Robert M. Hierons and
Hasan Ural and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Eliminating Redundant Tests in a Checking Sequence},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {146--158},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_11},
doi = {10.1007/11430230\_11},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/ChenHUY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/ChiH05,
author = {Caixia Chi and
Ruibing Hao},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Test Generation for Interaction Detection in Feature-Rich Communication
Systems},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {242--257},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_17},
doi = {10.1007/11430230\_17},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/ChiH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/DesmoulinV05,
author = {Alexandra Desmoulin and
C{\'{e}}sar Viho},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Quiescence Management Improves Interoperability Testing},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {365--379},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_25},
doi = {10.1007/11430230\_25},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/DesmoulinV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/FernandezMP05,
author = {Jean{-}Claude Fernandez and
Laurent Mounier and
Cyril Pachon},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {A Model-Based Approach for Robustness Testing},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {333--348},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_23},
doi = {10.1007/11430230\_23},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/FernandezMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/FlochRSV05,
author = {Annie Floch and
Fr{\'{e}}d{\'{e}}ric Roudaut and
Ariel Sabiguero and
C{\'{e}}sar Viho},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Some Lessons from an Experiment Using {TTCN-3} for the RIPng Testing},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {318--332},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_22},
doi = {10.1007/11430230\_22},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/FlochRSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/HongU05,
author = {Hyoung Seok Hong and
Hasan Ural},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Dependence Testing: Extending Data Flow Testing with Control Dependence},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {23--39},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_3},
doi = {10.1007/11430230\_3},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/HongU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/KrichenT05,
author = {Moez Krichen and
Stavros Tripakis},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {State Identification Problems for Timed Automata},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {175--191},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_13},
doi = {10.1007/11430230\_13},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/KrichenT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/KrichenT05a,
author = {Moez Krichen and
Stavros Tripakis},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {An Expressive and Implementable Formal Framework for Testing Real-Time
Systems},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {209--225},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_15},
doi = {10.1007/11430230\_15},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/KrichenT05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/KulvatunyouIJ05,
author = {Boonserm Kulvatunyou and
Nenad Ivezic and
Albert T. Jones},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Content-Level Conformance Testing: An Information Mapping Case Study},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {349--364},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_24},
doi = {10.1007/11430230\_24},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/KulvatunyouIJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/LadaniAC05,
author = {Behrouz Tork Ladani and
Baptiste Alcalde and
Ana R. Cavalli},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Passive Testing - {A} Constrained Invariant Checking Approach},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {9--22},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_2},
doi = {10.1007/11430230\_2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/LadaniAC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/LeeJL05,
author = {Jung Youp Lee and
Seok Won Jung and
Jongin Lim},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Detecting Trapdoors in Smart Cards Using Timing and Power Analysis},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {275--288},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_19},
doi = {10.1007/11430230\_19},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/LeeJL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/LiL05,
author = {Huaizhong Li and
Chiou Peng Lam},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Using Anti-Ant-like Agents to Generate Test Threads from the {UML}
Diagrams},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {69--80},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_6},
doi = {10.1007/11430230\_6},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/LiL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/LiL05a,
author = {Keqin Li and
David Lee},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Fault Detection of Hierarchical Networks with Probabilistic Testing
Algorithms},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {258--274},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_18},
doi = {10.1007/11430230\_18},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/LiL05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Maibaum05,
author = {T. S. E. Maibaum},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {The Epistemology of Validation and Verification Testing},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {1--8},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_1},
doi = {10.1007/11430230\_1},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/Maibaum05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/MillerCLH05,
author = {Raymond E. Miller and
Dongluo Chen and
David Lee and
Ruibing Hao},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Coping with Nondeterminism in Network Protocol Testing},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {129--145},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_10},
doi = {10.1007/11430230\_10},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/MillerCLH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/PapCD05,
author = {Zolt{\'{a}}n Pap and
Gyula Csopaki and
Sarolta Dibuz},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {On FSM-Based Fault Diagnosis},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {159--174},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_12},
doi = {10.1007/11430230\_12},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/PapCD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/PuderW05,
author = {Arno Puder and
Limei Wang},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Cross-Language Functional Testing for Middleware},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {56--68},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_5},
doi = {10.1007/11430230\_5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/PuderW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/SennBC05,
author = {Diana Senn and
David A. Basin and
Germano Caronni},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Firewall Conformance Testing},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {226--241},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_16},
doi = {10.1007/11430230\_16},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/SennBC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/UyarWBWF05,
author = {M. {\"{U}}mit Uyar and
Yu Wang and
Samrat S. Batth and
Adriana Wise and
Mariusz A. Fecko},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Timing Fault Models for Systems with Multiple Timers},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {192--208},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_14},
doi = {10.1007/11430230\_14},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/UyarWBWF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/WagnerJKT05,
author = {Stefan Wagner and
Jan J{\"{u}}rjens and
Claudia Koller and
Peter Trischberger},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Comparing Bug Finding Tools with Reviews and Tests},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {40--55},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_4},
doi = {10.1007/11430230\_4},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/WagnerJKT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/ZanderDSD05,
author = {Justyna Zander and
Zhen Ru Dai and
Ina Schieferdecker and
George Din},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {From {U2TP} Models to Executable Tests with {TTCN-3} - An Approach
to Model Driven Testing},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {289--303},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_20},
doi = {10.1007/11430230\_20},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/ZanderDSD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2005,
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b136676},
doi = {10.1007/B136676},
isbn = {3-540-26054-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pts/2005.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:44 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:
