Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/fates/2003,
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/b95400},
  doi          = {10.1007/B95400},
  isbn         = {3-540-20894-1},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/2003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/Aaltonen03,
  author       = {Timo Aaltonen},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {Defining Observation Objectives for Reactive and Distributed Systems},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {101--113},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_8},
  doi          = {10.1007/978-3-540-24617-6\_8},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/Aaltonen03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/BadriBN03,
  author       = {Mourad Badri and
                  Linda Badri and
                  Marius Naha},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {A Use Case Driven Testing Process: Towards a Formal Approach Based
                  on {UML} Collaboration Diagrams},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {223--235},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_16},
  doi          = {10.1007/978-3-540-24617-6\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/BadriBN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/BarnettGNSTV03,
  author       = {Michael Barnett and
                  Wolfgang Grieskamp and
                  Lev Nachmanson and
                  Wolfram Schulte and
                  Nikolai Tillmann and
                  Margus Veanes},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {Towards a Tool Environment for Model-Based Testing with AsmL},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {252--266},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_18},
  doi          = {10.1007/978-3-540-24617-6\_18},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/BarnettGNSTV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/BeekM03,
  author       = {Harm M. A. van Beek and
                  Sjouke Mauw},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {Automatic Conformance Testing of Internet Applications},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {205--222},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_15},
  doi          = {10.1007/978-3-540-24617-6\_15},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/BeekM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/BijlRT03,
  author       = {Machiel van der Bijl and
                  Arend Rensink and
                  Jan Tretmans},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {Compositional Testing with ioco},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {86--100},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_7},
  doi          = {10.1007/978-3-540-24617-6\_7},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/BijlRT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/FernandezMP03,
  author       = {Jean{-}Claude Fernandez and
                  Laurent Mounier and
                  Cyril Pachon},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {Property Oriented Test Case Generation},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {147--163},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_11},
  doi          = {10.1007/978-3-540-24617-6\_11},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/FernandezMP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/GuoHHD03,
  author       = {Qiang Guo and
                  Robert M. Hierons and
                  Mark Harman and
                  Karnig Derderian},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {Computing Unique Input/Output Sequences Using Genetic Algorithms},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {164--177},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_12},
  doi          = {10.1007/978-3-540-24617-6\_12},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/GuoHHD03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/HahnleW03,
  author       = {Reiner H{\"{a}}hnle and
                  Angela Wallenburg},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {Using a Software Testing Technique to Improve Theorem Proving},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {30--41},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_3},
  doi          = {10.1007/978-3-540-24617-6\_3},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/HahnleW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/HeimdahlRVDG03,
  author       = {Mats Per Erik Heimdahl and
                  Sanjai Rayadurgam and
                  Willem Visser and
                  George Devaraj and
                  Jimin Gao},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {Auto-generating Test Sequences Using Model Checkers: {A} Case Study},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {42--59},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_4},
  doi          = {10.1007/978-3-540-24617-6\_4},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/HeimdahlRVDG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/HennigerLU03,
  author       = {Olaf Henniger and
                  Miao Lu and
                  Hasan Ural},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {Automatic Generation of Test Purposes for Testing Distributed Systems},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {178--191},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_13},
  doi          = {10.1007/978-3-540-24617-6\_13},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/HennigerLU03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/HesselLNPS03,
  author       = {Anders Hessel and
                  Kim Guldstrand Larsen and
                  Brian Nielsen and
                  Paul Pettersson and
                  Arne Skou},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {Time-Optimal Real-Time Test Case Generation Using Uppaal},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {114--130},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_9},
  doi          = {10.1007/978-3-540-24617-6\_9},
  timestamp    = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/HesselLNPS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/KhoumsiJM03,
  author       = {Ahmed Khoumsi and
                  Thierry J{\'{e}}ron and
                  Herv{\'{e}} Marchand},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {Test Cases Generation for Nondeterministic Real-Time Systems},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {131--146},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_10},
  doi          = {10.1007/978-3-540-24617-6\_10},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/KhoumsiJM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/Ramakrishnan03,
  author       = {Sita Ramakrishnan},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {{VISWAS} and on Diagnosability with {IEEE} Std {P1522} and {UML2.0}
                  Testing Profile},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {236--251},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_17},
  doi          = {10.1007/978-3-540-24617-6\_17},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/Ramakrishnan03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/SenG03,
  author       = {Alper Sen and
                  Vijay K. Garg},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {On Checking Whether a Predicate Definitely Holds},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {15--29},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_2},
  doi          = {10.1007/978-3-540-24617-6\_2},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/SenG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/SungC03,
  author       = {Ahyoung Sung and
                  Byoungju Choi},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {Interaction Testing in an Embedded System Using Hardware Fault Injection
                  and Program Mutation},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {192--204},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_14},
  doi          = {10.1007/978-3-540-24617-6\_14},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/SungC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/TylerS03,
  author       = {Benjamin Tyler and
                  Neelam Soundarajan},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {Black-Box Testing of Grey-Box Behavior},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_1},
  doi          = {10.1007/978-3-540-24617-6\_1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/TylerS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/XieN03,
  author       = {Tao Xie and
                  David Notkin},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {Mutually Enhancing Test Generation and Specification Inference},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {60--69},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_5},
  doi          = {10.1007/978-3-540-24617-6\_5},
  timestamp    = {Wed, 11 Oct 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/XieN03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fates/XuY03,
  author       = {Guoqing Xu and
                  Zongyuang Yang},
  editor       = {Alexandre Petrenko and
                  Andreas Ulrich},
  title        = {JMLAutoTest: {A} Novel Automated Testing Framework Based on {JML}
                  and JUnit},
  booktitle    = {Formal Approaches to Software Testing, Third International Workshop
                  on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
                  Quebec, Canada, October 6th, 2003},
  series       = {Lecture Notes in Computer Science},
  volume       = {2931},
  pages        = {70--85},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24617-6\_6},
  doi          = {10.1007/978-3-540-24617-6\_6},
  timestamp    = {Fri, 04 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fates/XuY03.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.