Search dblp for Publications

export results for "toc:db/conf/pts/ictss2011.bht:"

 download as .bib file

@inproceedings{DBLP:conf/pts/BochmannJW11,
  author       = {Gregor von Bochmann and
                  Guy{-}Vincent Jourdan and
                  Bo Wan},
  editor       = {Burkhart Wolff and
                  Fatiha Za{\"{\i}}di},
  title        = {Improved Usage Model for Web Application Reliability Testing},
  booktitle    = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7019},
  pages        = {15--31},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24580-0\_3},
  doi          = {10.1007/978-3-642-24580-0\_3},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/BochmannJW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/CastillosDJT11,
  author       = {Kalou Cabrera Castillos and
                  Fr{\'{e}}d{\'{e}}ric Dadeau and
                  Jacques Julliand and
                  Safouan Taha},
  editor       = {Burkhart Wolff and
                  Fatiha Za{\"{\i}}di},
  title        = {Measuring Test Properties Coverage for Evaluating {UML/OCL} Model-Based
                  Tests},
  booktitle    = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7019},
  pages        = {32--47},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24580-0\_4},
  doi          = {10.1007/978-3-642-24580-0\_4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/CastillosDJT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/CavalcantiGH11,
  author       = {Ana Cavalcanti and
                  Marie{-}Claude Gaudel and
                  Robert M. Hierons},
  editor       = {Burkhart Wolff and
                  Fatiha Za{\"{\i}}di},
  title        = {Conformance Relations for Distributed Testing Based on {CSP}},
  booktitle    = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7019},
  pages        = {48--63},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24580-0\_5},
  doi          = {10.1007/978-3-642-24580-0\_5},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/CavalcantiGH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/EnderlinDGO11,
  author       = {Ivan Enderlin and
                  Fr{\'{e}}d{\'{e}}ric Dadeau and
                  Alain Giorgetti and
                  Abdallah Ben Othman},
  editor       = {Burkhart Wolff and
                  Fatiha Za{\"{\i}}di},
  title        = {Praspel: {A} Specification Language for Contract-Based Testing in
                  {PHP}},
  booktitle    = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7019},
  pages        = {64--79},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24580-0\_6},
  doi          = {10.1007/978-3-642-24580-0\_6},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/EnderlinDGO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/FrehseLMN11,
  author       = {Goran Frehse and
                  Kim G. Larsen and
                  Marius Mikucionis and
                  Brian Nielsen},
  editor       = {Burkhart Wolff and
                  Fatiha Za{\"{\i}}di},
  title        = {Monitoring Dynamical Signals While Testing Timed Aspects of a System},
  booktitle    = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7019},
  pages        = {115--130},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24580-0\_9},
  doi          = {10.1007/978-3-642-24580-0\_9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/FrehseLMN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/Gaudel11,
  author       = {Marie{-}Claude Gaudel},
  editor       = {Burkhart Wolff and
                  Fatiha Za{\"{\i}}di},
  title        = {Counting for Random Testing},
  booktitle    = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7019},
  pages        = {1--8},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24580-0\_1},
  doi          = {10.1007/978-3-642-24580-0\_1},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/Gaudel11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/MammarCJMO11,
  author       = {Amel Mammar and
                  Ana R. Cavalli and
                  Willy Jimenez and
                  Wissam Mallouli and
                  Edgardo Montes de Oca},
  editor       = {Burkhart Wolff and
                  Fatiha Za{\"{\i}}di},
  title        = {Using Testing Techniques for Vulnerability Detection in {C} Programs},
  booktitle    = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7019},
  pages        = {80--96},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24580-0\_7},
  doi          = {10.1007/978-3-642-24580-0\_7},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/MammarCJMO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/MeinkeN11,
  author       = {Karl Meinke and
                  Fei Niu},
  editor       = {Burkhart Wolff and
                  Fatiha Za{\"{\i}}di},
  title        = {Learning-Based Testing for Reactive Systems Using Term Rewriting Technology},
  booktitle    = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7019},
  pages        = {97--114},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24580-0\_8},
  doi          = {10.1007/978-3-642-24580-0\_8},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/MeinkeN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/Nunez11,
  author       = {Manuel N{\'{u}}{\~{n}}ez},
  editor       = {Burkhart Wolff and
                  Fatiha Za{\"{\i}}di},
  title        = {Formal Testing of Timed and Probabilistic Systems},
  booktitle    = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7019},
  pages        = {9--14},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24580-0\_2},
  doi          = {10.1007/978-3-642-24580-0\_2},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/Nunez11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/OlsenFT11,
  author       = {Petur Olsen and
                  Johan Foederer and
                  Jan Tretmans},
  editor       = {Burkhart Wolff and
                  Fatiha Za{\"{\i}}di},
  title        = {Model-Based Testing of Industrial Transformational Systems},
  booktitle    = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7019},
  pages        = {131--145},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24580-0\_10},
  doi          = {10.1007/978-3-642-24580-0\_10},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/OlsenFT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/PeleskaHLLSSVZ11,
  author       = {Jan Peleska and
                  Artur Honisch and
                  Florian Lapschies and
                  Helge L{\"{o}}ding and
                  Hermann Schmid and
                  Peer Smuda and
                  Elena Vorobev and
                  Cornelia Zahlten},
  editor       = {Burkhart Wolff and
                  Fatiha Za{\"{\i}}di},
  title        = {A Real-World Benchmark Model for Testing Concurrent Real-Time Systems
                  in the Automotive Domain},
  booktitle    = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7019},
  pages        = {146--161},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24580-0\_11},
  doi          = {10.1007/978-3-642-24580-0\_11},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/PeleskaHLLSSVZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/PetrenkoY11,
  author       = {Alexandre Petrenko and
                  Nina Yevtushenko},
  editor       = {Burkhart Wolff and
                  Fatiha Za{\"{\i}}di},
  title        = {Adaptive Testing of Deterministic Implementations Specified by Nondeterministic
                  FSMs},
  booktitle    = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7019},
  pages        = {162--178},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24580-0\_12},
  doi          = {10.1007/978-3-642-24580-0\_12},
  timestamp    = {Tue, 15 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pts/PetrenkoY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/SchwarzlAW11,
  author       = {Christian Schwarzl and
                  Bernhard K. Aichernig and
                  Franz Wotawa},
  editor       = {Burkhart Wolff and
                  Fatiha Za{\"{\i}}di},
  title        = {Compositional Random Testing Using Extended Symbolic Transition Systems},
  booktitle    = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7019},
  pages        = {179--194},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24580-0\_13},
  doi          = {10.1007/978-3-642-24580-0\_13},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/SchwarzlAW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/ShinboH11,
  author       = {Hiroyuki Shinbo and
                  Toru Hasegawa},
  editor       = {Burkhart Wolff and
                  Fatiha Za{\"{\i}}di},
  title        = {An Empirical Study on Applying Anomaly Detection Technique to Detecting
                  Software and Communication Failures in Mobile Data Communication Services},
  booktitle    = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7019},
  pages        = {195--208},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24580-0\_14},
  doi          = {10.1007/978-3-642-24580-0\_14},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/ShinboH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pts/Walkinshaw11,
  author       = {Neil Walkinshaw},
  editor       = {Burkhart Wolff and
                  Fatiha Za{\"{\i}}di},
  title        = {Assessing Test Adequacy for Black-Box Systems without Specifications},
  booktitle    = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7019},
  pages        = {209--224},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24580-0\_15},
  doi          = {10.1007/978-3-642-24580-0\_15},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/Walkinshaw11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pts/2011,
  editor       = {Burkhart Wolff and
                  Fatiha Za{\"{\i}}di},
  title        = {Testing Software and Systems - 23rd {IFIP} {WG} 6.1 International
                  Conference, {ICTSS} 2011, Paris, France, November 7-10, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7019},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24580-0},
  doi          = {10.1007/978-3-642-24580-0},
  isbn         = {978-3-642-24579-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/2011.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.