Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1303-1006,
  author       = {Jan Peleska},
  editor       = {Alexander K. Petrenko and
                  Holger Schlingloff},
  title        = {Industrial-Strength Model-Based Testing - State of the Art and Current
                  Challenges},
  booktitle    = {Proceedings Eighth Workshop on Model-Based Testing, {MBT} 2013, Rome,
                  Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {111},
  pages        = {3--28},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.111.1},
  doi          = {10.4204/EPTCS.111.1},
  timestamp    = {Sun, 02 Oct 2022 15:31:50 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-1006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1303-1007,
  author       = {Jens Grabowski and
                  Victor V. Kuliamin and
                  Alain{-}Georges Vouffo Feudjio and
                  Antal Wu{-}Hen{-}Chang and
                  Milan Zoric},
  editor       = {Alexander K. Petrenko and
                  Holger Schlingloff},
  title        = {Towards the Usage of {MBT} at {ETSI}},
  booktitle    = {Proceedings Eighth Workshop on Model-Based Testing, {MBT} 2013, Rome,
                  Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {111},
  pages        = {30--34},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.111.3},
  doi          = {10.4204/EPTCS.111.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-1007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1303-1008,
  author       = {Isabel Nunes and
                  Filipe Lu{\'{\i}}s},
  editor       = {Alexander K. Petrenko and
                  Holger Schlingloff},
  title        = {Testing Java implementations of algebraic specifications},
  booktitle    = {Proceedings Eighth Workshop on Model-Based Testing, {MBT} 2013, Rome,
                  Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {111},
  pages        = {35--50},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.111.4},
  doi          = {10.4204/EPTCS.111.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-1008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1303-1009,
  author       = {Neda Noroozi and
                  Mohammad Reza Mousavi and
                  Tim A. C. Willemse},
  editor       = {Alexander K. Petrenko and
                  Holger Schlingloff},
  title        = {Decomposability in Input Output Conformance Testing},
  booktitle    = {Proceedings Eighth Workshop on Model-Based Testing, {MBT} 2013, Rome,
                  Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {111},
  pages        = {51--66},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.111.5},
  doi          = {10.4204/EPTCS.111.5},
  timestamp    = {Sat, 11 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-1009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1303-1010,
  author       = {Mikhail M. Chupilko and
                  Alexander S. Kamkin},
  editor       = {Alexander K. Petrenko and
                  Holger Schlingloff},
  title        = {Runtime Verification Based on Executable Models: On-the-Fly Matching
                  of Timed Traces},
  booktitle    = {Proceedings Eighth Workshop on Model-Based Testing, {MBT} 2013, Rome,
                  Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {111},
  pages        = {67--81},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.111.6},
  doi          = {10.4204/EPTCS.111.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-1010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1303-1011,
  author       = {Stephan Wei{\ss}leder and
                  Hartmut Lackner},
  editor       = {Alexander K. Petrenko and
                  Holger Schlingloff},
  title        = {Top-Down and Bottom-Up Approach for Model-Based Testing of Product
                  Lines},
  booktitle    = {Proceedings Eighth Workshop on Model-Based Testing, {MBT} 2013, Rome,
                  Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {111},
  pages        = {82--94},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.111.7},
  doi          = {10.4204/EPTCS.111.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-1011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1303-0379,
  editor       = {Alexander K. Petrenko and
                  Holger Schlingloff},
  title        = {Proceedings Eighth Workshop on Model-Based Testing, {MBT} 2013, Rome,
                  Italy, 17th March 2013},
  series       = {{EPTCS}},
  volume       = {111},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.111},
  doi          = {10.4204/EPTCS.111},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-0379.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}