Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/fates/ArmoniKTVZ06,
  author    = {Roy Armoni and
               Dmitry Korchemny and
               Andreas Tiemeyer and
               Moshe Y. Vardi and
               Yael Zbar},
  title     = {Deterministic Dynamic Monitors for Linear-Time Assertions},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  pages     = {163--177},
  year      = {2006},
  crossref  = {DBLP:conf/fates/2006},
  url       = {https://doi.org/10.1007/11940197\_11},
  doi       = {10.1007/11940197\_11},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/ArmoniKTVZ06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/AvgustinovBHHLMOSSTV06,
  author    = {Pavel Avgustinov and
               Eric Bodden and
               Elnar Hajiyev and
               Laurie J. Hendren and
               Ondrej Lhot{\'{a}}k and
               Oege de Moor and
               Neil Ongkingco and
               Damien Sereni and
               Ganesh Sittampalam and
               Julian Tibble and
               Mathieu Verbaere},
  title     = {Aspects for Trace Monitoring},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  pages     = {20--39},
  year      = {2006},
  crossref  = {DBLP:conf/fates/2006},
  url       = {https://doi.org/10.1007/11940197\_2},
  doi       = {10.1007/11940197\_2},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/AvgustinovBHHLMOSSTV06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/BouquetDGJ06,
  author    = {Fabrice Bouquet and
               Fr{\'{e}}d{\'{e}}ric Dadeau and
               Julien Groslambert and
               Jacques Julliand},
  title     = {Safety Property Driven Test Generation from},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  pages     = {225--239},
  year      = {2006},
  crossref  = {DBLP:conf/fates/2006},
  url       = {https://doi.org/10.1007/11940197\_15},
  doi       = {10.1007/11940197\_15},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/BouquetDGJ06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/ElmasQT06,
  author    = {Tayfun Elmas and
               Shaz Qadeer and
               Serdar Tasiran},
  title     = {Goldilocks: Efficiently Computing the Happens-Before Relation Using
               Locksets},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  pages     = {193--208},
  year      = {2006},
  crossref  = {DBLP:conf/fates/2006},
  url       = {https://doi.org/10.1007/11940197\_13},
  doi       = {10.1007/11940197\_13},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/ElmasQT06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/ErnitsKRV06,
  author    = {Juhan P. Ernits and
               Andres Kull and
               Kullo Raiend and
               J{\"{u}}ri Vain},
  title     = {Generating Tests from {EFSM} Models Using Guided Model Checking and
               Iterated Search Refinement},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  pages     = {85--99},
  year      = {2006},
  crossref  = {DBLP:conf/fates/2006},
  url       = {https://doi.org/10.1007/11940197\_6},
  doi       = {10.1007/11940197\_6},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/ErnitsKRV06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/FainekosP06,
  author    = {Georgios E. Fainekos and
               George J. Pappas},
  title     = {Robustness of Temporal Logic Specifications},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  pages     = {178--192},
  year      = {2006},
  crossref  = {DBLP:conf/fates/2006},
  url       = {https://doi.org/10.1007/11940197\_12},
  doi       = {10.1007/11940197\_12},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/FainekosP06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/FalconeFMR06,
  author    = {Yli{\`{e}}s Falcone and
               Jean{-}Claude Fernandez and
               Laurent Mounier and
               Jean{-}Luc Richier},
  title     = {A Test Calculus Framework Applied to Network Security Policies},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  pages     = {55--69},
  year      = {2006},
  crossref  = {DBLP:conf/fates/2006},
  url       = {https://doi.org/10.1007/11940197\_4},
  doi       = {10.1007/11940197\_4},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/FalconeFMR06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/FlanaganF06,
  author    = {Cormac Flanagan and
               Stephen N. Freund},
  title     = {Dynamic Architecture Extraction},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  pages     = {209--224},
  year      = {2006},
  crossref  = {DBLP:conf/fates/2006},
  url       = {https://doi.org/10.1007/11940197\_14},
  doi       = {10.1007/11940197\_14},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/FlanaganF06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/FrantzenTW06,
  author    = {Lars Frantzen and
               Jan Tretmans and
               Tim A. C. Willemse},
  title     = {A Symbolic Framework for Model-Based Testing},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  pages     = {40--54},
  year      = {2006},
  crossref  = {DBLP:conf/fates/2006},
  url       = {https://doi.org/10.1007/11940197\_3},
  doi       = {10.1007/11940197\_3},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/FrantzenTW06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/Grieskamp06,
  author    = {Wolfgang Grieskamp},
  title     = {Multi-paradigmatic Model-Based Testing},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  pages     = {1--19},
  year      = {2006},
  crossref  = {DBLP:conf/fates/2006},
  url       = {https://doi.org/10.1007/11940197\_1},
  doi       = {10.1007/11940197\_1},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/Grieskamp06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/KoopmanPA06,
  author    = {Pieter W. M. Koopman and
               Rinus Plasmeijer and
               Peter Achten},
  title     = {Model-Based Testing of Thin-Client Web Applications},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  pages     = {115--132},
  year      = {2006},
  crossref  = {DBLP:conf/fates/2006},
  url       = {https://doi.org/10.1007/11940197\_8},
  doi       = {10.1007/11940197\_8},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/KoopmanPA06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/KrichenT06,
  author    = {Moez Krichen and
               Stavros Tripakis},
  title     = {State-Identification Problems for Finite-State Transducers},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  pages     = {148--162},
  year      = {2006},
  crossref  = {DBLP:conf/fates/2006},
  url       = {https://doi.org/10.1007/11940197\_10},
  doi       = {10.1007/11940197\_10},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/KrichenT06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/LiD06,
  author    = {Cheng Li and
               Zhe Dang},
  title     = {Decompositional Algorithms for Safety Verification and Testing of
               Aspect-Oriented Systems},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  pages     = {100--114},
  year      = {2006},
  crossref  = {DBLP:conf/fates/2006},
  url       = {https://doi.org/10.1007/11940197\_7},
  doi       = {10.1007/11940197\_7},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/LiD06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/Osch06,
  author    = {Michiel van Osch},
  title     = {Hybrid Input-Output Conformance and Test Generation},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  pages     = {70--84},
  year      = {2006},
  crossref  = {DBLP:conf/fates/2006},
  url       = {https://doi.org/10.1007/11940197\_5},
  doi       = {10.1007/11940197\_5},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/Osch06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/SatpathyML06,
  author    = {Manoranjan Satpathy and
               Qaisar A. Malik and
               Johan Lilius},
  title     = {Synthesis of Scenario Based Test Cases from {B} Models},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  pages     = {133--147},
  year      = {2006},
  crossref  = {DBLP:conf/fates/2006},
  url       = {https://doi.org/10.1007/11940197\_9},
  doi       = {10.1007/11940197\_9},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/SatpathyML06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/VeanesRC06,
  author    = {Margus Veanes and
               Pritam Roy and
               Colin Campbell},
  title     = {Online Testing with Reinforcement Learning},
  booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  pages     = {240--253},
  year      = {2006},
  crossref  = {DBLP:conf/fates/2006},
  url       = {https://doi.org/10.1007/11940197\_16},
  doi       = {10.1007/11940197\_16},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/VeanesRC06.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fates/2006,
  editor    = {Klaus Havelund and
               Manuel N{\'{u}}{\~{n}}ez and
               Grigore Rosu and
               Burkhart Wolff},
  title     = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4262},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11940197},
  doi       = {10.1007/11940197},
  isbn      = {3-540-49699-8},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/2006.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fates/2006,
  editor    = {Klaus Havelund and
               Manuel N{\'{u}}{\~{n}}ez and
               Grigore Rosu and
               Burkhart Wolff},
  title     = {Formal Approaches to Software Testing and Runtime Verification, First
               Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
               WA, USA, August 15-16, 2006, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4262},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11940197},
  doi       = {10.1007/11940197},
  isbn      = {3-540-49699-8},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/conf/fates/2006.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics