Search dblp for Publications

export results for "toc:db/conf/fates/fates2004.bht:"

 download as .bib file

@proceedings{DBLP:conf/fates/2004,
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/b106767},
  doi          = {10.1007/B106767},
  isbn         = {3-540-25109-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/ArtsCS04,
  author       = {Thomas Arts and
                  Koen Claessen and
                  Hans Svensson},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {Semi-formal Development of a Fault-Tolerant Leader Election Protocol
                  in Erlang},
  booktitle    = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  pages        = {140--154},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_10},
  doi          = {10.1007/978-3-540-31848-4\_10},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/ArtsCS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/BlomHJP04,
  author       = {Johan Blom and
                  Anders Hessel and
                  Bengt Jonsson and
                  Paul Pettersson},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {Specifying and Generating Test Cases Using Observer Automata},
  booktitle    = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  pages        = {125--139},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_9},
  doi          = {10.1007/978-3-540-31848-4\_9},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/BlomHJP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/BordbarO04,
  author       = {Behzad Bordbar and
                  Kozo Okano},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {Testing Deadlock-Freeness in Real-Time Systems: {A} Formal Approach},
  booktitle    = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  pages        = {95--109},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_7},
  doi          = {10.1007/978-3-540-31848-4\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/BordbarO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/BrionesB04,
  author       = {Laura Brand{\'{a}}n Briones and
                  Ed Brinksma},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {A Test Generation Framework for \emph{quiescent} Real-Time Systems},
  booktitle    = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  pages        = {64--78},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_5},
  doi          = {10.1007/978-3-540-31848-4\_5},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/BrionesB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/BruckerW04,
  author       = {Achim D. Brucker and
                  Burkhart Wolff},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {Symbolic Test Case Generation for Primitive Recursive Functions},
  booktitle    = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  pages        = {16--32},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_2},
  doi          = {10.1007/978-3-540-31848-4\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/BruckerW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/FrantzenTW04,
  author       = {Lars Frantzen and
                  Jan Tretmans and
                  Tim A. C. Willemse},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {Test Generation Based on Symbolic Specifications},
  booktitle    = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_1},
  doi          = {10.1007/978-3-540-31848-4\_1},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/FrantzenTW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/Frutos-EscrigG04,
  author       = {David de Frutos{-}Escrig and
                  Carlos Gregorio{-}Rodr{\'{\i}}guez},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {Preserving Contexts for Soft Conformance Relation},
  booktitle    = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  pages        = {33--48},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_3},
  doi          = {10.1007/978-3-540-31848-4\_3},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fates/Frutos-EscrigG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/HongU04,
  author       = {Hyoung Seok Hong and
                  Hasan Ural},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {Using Model Checking for Reducing the Cost of Test Generation},
  booktitle    = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  pages        = {110--124},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_8},
  doi          = {10.1007/978-3-540-31848-4\_8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/HongU04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/KapoorB04,
  author       = {Kalpesh Kapoor and
                  Jonathan P. Bowen},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {Ordering Mutants to Minimise Test Effort in Mutation Testing},
  booktitle    = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  pages        = {195--209},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_14},
  doi          = {10.1007/978-3-540-31848-4\_14},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fates/KapoorB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/LarsenMN04,
  author       = {Kim Guldstrand Larsen and
                  Marius Mikucionis and
                  Brian Nielsen},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {Online Testing of Real-time Systems Using Uppaal},
  booktitle    = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  pages        = {79--94},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_6},
  doi          = {10.1007/978-3-540-31848-4\_6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/LarsenMN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/LopezNR04,
  author       = {Natalia L{\'{o}}pez and
                  Manuel N{\'{u}}{\~{n}}ez and
                  Ismael Rodr{\'{\i}}guez},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {Testing of Symbolic-Probabilistic Systems},
  booktitle    = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  pages        = {49--63},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_4},
  doi          = {10.1007/978-3-540-31848-4\_4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/LopezNR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/Vouffo-FeudjioS04,
  author       = {Alain Vouffo{-}Feudjio and
                  Ina Schieferdecker},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {Test Patterns with {TTCN-3}},
  booktitle    = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  pages        = {170--179},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_12},
  doi          = {10.1007/978-3-540-31848-4\_12},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/Vouffo-FeudjioS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/Wu-Hen-ChangVBGC04,
  author       = {Antal Wu{-}Hen{-}Chang and
                  Dung Le Viet and
                  Gabor Batori and
                  Roland Gecse and
                  Gyula Csopaki},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {High-Level Restructuring of {TTCN-3} Test Data},
  booktitle    = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  pages        = {180--194},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_13},
  doi          = {10.1007/978-3-540-31848-4\_13},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/Wu-Hen-ChangVBGC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/XieD04,
  author       = {Gaoyan Xie and
                  Zhe Dang},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {An Automata-Theoretic Approach for Model-Checking Systems with Unspecified
                  Components},
  booktitle    = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  pages        = {155--169},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_11},
  doi          = {10.1007/978-3-540-31848-4\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/XieD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/YoonKSC04,
  author       = {Hoijin Yoon and
                  Eunhee Kim and
                  Jooyoung Seo and
                  Byoungju Choi},
  editor       = {Jens Grabowski and
                  Brian Nielsen},
  title        = {Testing {COM} Components Using Software Fault Injection and Mutation
                  Analysis, and Its Empirical Study},
  booktitle    = {Formal Approaches to Software Testing, 4th International Workshop,
                  {FATES} 2004, Linz, Austria, September 21, 2004, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3395},
  pages        = {210--224},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-31848-4\_15},
  doi          = {10.1007/978-3-540-31848-4\_15},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/YoonKSC04.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.