Search dblp for Publications

export results for "toc:db/conf/icst/icst2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icst/AliH14,
  author       = {Shaukat Ali and
                  Hadi Hemmati},
  title        = {Model-Based Testing of Video Conferencing Systems: Challenges, Lessons
                  Learnt, and Results},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {353--362},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.48},
  doi          = {10.1109/ICST.2014.48},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/AliH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/AmmannDO14,
  author       = {Paul Ammann and
                  M{\'{a}}rcio Eduardo Delamaro and
                  Jeff Offutt},
  title        = {Establishing Theoretical Minimal Sets of Mutants},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {21--30},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.13},
  doi          = {10.1109/ICST.2014.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/AmmannDO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/AraujoC14,
  author       = {Roberto Paulo Andrioli de Araujo and
                  Marcos Lordello Chaim},
  title        = {Data-Flow Testing in the Large},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {81--90},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.19},
  doi          = {10.1109/ICST.2014.19},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/AraujoC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/AssiriB14,
  author       = {Fatmah Yousef Assiri and
                  James M. Bieman},
  title        = {An Assessment of the Quality of Automated Program Operator Repair},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {273--282},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.40},
  doi          = {10.1109/ICST.2014.40},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/AssiriB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/AydinAB14,
  author       = {Abdulbaki Aydin and
                  Muath Alkhalaf and
                  Tevfik Bultan},
  title        = {Automated Test Generation from Vulnerability Signatures},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {193--202},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.32},
  doi          = {10.1109/ICST.2014.32},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/AydinAB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/BallerLLS14,
  author       = {Hauke Baller and
                  Sascha Lity and
                  Malte Lochau and
                  Ina Schaefer},
  title        = {Multi-objective Test Suite Optimization for Incremental Product Family
                  Testing},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {303--312},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.43},
  doi          = {10.1109/ICST.2014.43},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/BallerLLS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/BardinKC14,
  author       = {S{\'{e}}bastien Bardin and
                  Nikolai Kosmatov and
                  Fran{\c{c}}ois Cheynier},
  title        = {Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {173--182},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.30},
  doi          = {10.1109/ICST.2014.30},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/BardinKC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/DacaHKN14,
  author       = {Przemyslaw Daca and
                  Thomas A. Henzinger and
                  Willibald Krenn and
                  Dejan Nickovic},
  title        = {Compositional Specifications for ioco Testing},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {373--382},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.50},
  doi          = {10.1109/ICST.2014.50},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/DacaHKN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/DelamaroDDLO14,
  author       = {M{\'{a}}rcio Eduardo Delamaro and
                  Lin Deng and
                  Vinicius Humberto Serapilha Durelli and
                  Nan Li and
                  Jeff Offutt},
  title        = {Experimental Evaluation of {SDL} and One-Op Mutation for {C}},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {203--212},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.33},
  doi          = {10.1109/ICST.2014.33},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/DelamaroDDLO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/DelamaroOA14,
  author       = {M{\'{a}}rcio Eduardo Delamaro and
                  Jeff Offutt and
                  Paul Ammann},
  title        = {Designing Deletion Mutation Operators},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {11--20},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.12},
  doi          = {10.1109/ICST.2014.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/DelamaroOA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/DemuthLE14,
  author       = {Andreas Demuth and
                  Roberto E. Lopez{-}Herrejon and
                  Alexander Egyed},
  title        = {Automatic and Incremental Product Optimization for Software Product
                  Lines},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {31--40},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.14},
  doi          = {10.1109/ICST.2014.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/DemuthLE14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/DenaroPV14,
  author       = {Giovanni Denaro and
                  Mauro Pezz{\`{e}} and
                  Mattia Vivanti},
  title        = {On the Right Objectives of Data Flow Testing},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {71--80},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.18},
  doi          = {10.1109/ICST.2014.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/DenaroPV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/EngstromMRB14,
  author       = {Emelie Engstr{\"{o}}m and
                  Mika M{\"{a}}ntyl{\"{a}} and
                  Per Runeson and
                  Markus Borg},
  title        = {Supporting Regression Test Scoping with Visual Analytics},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {283--292},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.41},
  doi          = {10.1109/ICST.2014.41},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/EngstromMRB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/Feldt14,
  author       = {Robert Feldt},
  title        = {Do System Test Cases Grow Old?},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {343--352},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.47},
  doi          = {10.1109/ICST.2014.47},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Feldt14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/GroceAZCR14,
  author       = {Alex Groce and
                  Mohammad Amin Alipour and
                  Chaoqiang Zhang and
                  Yang Chen and
                  John Regehr},
  title        = {Cause Reduction for Quick Testing},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {243--252},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.37},
  doi          = {10.1109/ICST.2014.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/GroceAZCR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/HaysHB14,
  author       = {Mark Hays and
                  Jane Huffman Hayes and
                  Arne C. Bathke},
  title        = {Validation of Software Testing Experiments: {A} Meta-Analysis of {ICST}
                  2013},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {333--342},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.46},
  doi          = {10.1109/ICST.2014.46},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/HaysHB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/HongPK14,
  author       = {Shin Hong and
                  Yongbae Park and
                  Moonzoo Kim},
  title        = {Detecting Concurrency Errors in Client-Side Java Script Web Applications},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {61--70},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.17},
  doi          = {10.1109/ICST.2014.17},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/HongPK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/HuntBF14,
  author       = {Chris J. Hunt and
                  Guy J. Brown and
                  Gordon Fraser},
  title        = {Automatic Testing of Natural User Interfaces},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {123--132},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.25},
  doi          = {10.1109/ICST.2014.25},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/HuntBF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/JohanssonSLAG14,
  author       = {William Johansson and
                  Martin Svensson and
                  Ulf E. Larson and
                  Magnus Almgren and
                  Vincenzo Gulisano},
  title        = {T-Fuzz: Model-Based Fuzzing for Robustness Testing of Telecommunication
                  Protocols},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {323--332},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.45},
  doi          = {10.1109/ICST.2014.45},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/JohanssonSLAG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/KifetewJTOT14,
  author       = {Fitsum Meshesha Kifetew and
                  Wei Jin and
                  Roberto Tiella and
                  Alessandro Orso and
                  Paolo Tonella},
  title        = {Reproducing Field Failures for Programs with Complex Grammar-Based
                  Input},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {163--172},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.29},
  doi          = {10.1109/ICST.2014.29},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/KifetewJTOT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/KimXKCR14,
  author       = {Yunho Kim and
                  Zhihong Xu and
                  Moonzoo Kim and
                  Myra B. Cohen and
                  Gregg Rothermel},
  title        = {Hybrid Directed Test Suite Augmentation: An Interleaving Framework},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {263--272},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.39},
  doi          = {10.1109/ICST.2014.39},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/KimXKCR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/LacknerTWW14,
  author       = {Hartmut Lackner and
                  Martin Thomas and
                  Florian Wartenberg and
                  Stephan Wei{\ss}leder},
  title        = {Model-Based Test Design of Product Lines: Raising Test Design to the
                  Product Line Level},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {51--60},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.16},
  doi          = {10.1109/ICST.2014.16},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/LacknerTWW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/LiGP14,
  author       = {Boyang Li and
                  Mark Grechanik and
                  Denys Poshyvanyk},
  title        = {Sanitizing and Minimizing Databases for Software Application Test
                  Outsourcing},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {233--242},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.36},
  doi          = {10.1109/ICST.2014.36},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/LiGP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/LiO14,
  author       = {Nan Li and
                  Jeff Offutt},
  title        = {An Empirical Analysis of Test Oracle Strategies for Model-Based Testing},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {363--372},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.49},
  doi          = {10.1109/ICST.2014.49},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/LiO14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/Marin14,
  author       = {Marius Marin},
  title        = {A Data-Agnostic Approach to Automatic Testing of Multi-dimensional
                  Databases},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {133--142},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.26},
  doi          = {10.1109/ICST.2014.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Marin14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/MiicBT14,
  author       = {Marko Miic and
                  Iain Bethune and
                  Milo Tomaevic},
  title        = {Automated Multi-platform Testing and Code Coverage Analysis of the
                  {CP2K} Application},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {95--98},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.21},
  doi          = {10.1109/ICST.2014.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/MiicBT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/MoonKKY14,
  author       = {Seokhyeon Moon and
                  Yunho Kim and
                  Moonzoo Kim and
                  Shin Yoo},
  title        = {Ask the Mutants: Mutating Faulty Programs for Fault Localization},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {153--162},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.28},
  doi          = {10.1109/ICST.2014.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/MoonKKY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/PapadakisHT14,
  author       = {Mike Papadakis and
                  Christopher Henard and
                  Yves Le Traon},
  title        = {Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial
                  Interaction Testing},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.11},
  doi          = {10.1109/ICST.2014.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/PapadakisHT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/PatelK14,
  author       = {Sachin Patel and
                  Ramesh Kumar Kollana},
  title        = {Test Case Reuse in Enterprise Software Implementation - An Experience
                  Report},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {99--102},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.22},
  doi          = {10.1109/ICST.2014.22},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/PatelK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/PotetMPD14,
  author       = {Marie{-}Laure Potet and
                  Laurent Mounier and
                  Maxime Puys and
                  Louis Dureuil},
  title        = {Lazart: {A} Symbolic Approach for Evaluation the Robustness of Secured
                  Codes against Control Flow Injections},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {213--222},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.34},
  doi          = {10.1109/ICST.2014.34},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/PotetMPD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/PouldingW14,
  author       = {Simon M. Poulding and
                  H{\'{e}}l{\`{e}}ne Waeselynck},
  title        = {Adding Contextual Guidance to the Automated Search for Probabilistic
                  Test Profiles},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {293--302},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.42},
  doi          = {10.1109/ICST.2014.42},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/PouldingW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/SanchezSC14,
  author       = {Ana Bel{\'{e}}n S{\'{a}}nchez and
                  Sergio Segura and
                  Antonio Ruiz Cort{\'{e}}s},
  title        = {A Comparison of Test Case Prioritization Criteria for Software Product
                  Lines},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {41--50},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.15},
  doi          = {10.1109/ICST.2014.15},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/SanchezSC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/SchwarzlB14,
  author       = {Christian Schwarzl and
                  Harald Brandl},
  title        = {Model Dependent Test Coverage Variabilities},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {253--262},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.38},
  doi          = {10.1109/ICST.2014.38},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/SchwarzlB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/TokumotoSSUW14,
  author       = {Susumu Tokumoto and
                  Kazunori Sakamoto and
                  Kiyofumi Shimojo and
                  Tadahiro Uehara and
                  Hironori Washizaki},
  title        = {Semi-automatic Incompatibility Localization for Re-engineered Industrial
                  Software},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {91--94},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.20},
  doi          = {10.1109/ICST.2014.20},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/TokumotoSSUW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/VarvaressosLMGH14,
  author       = {Simon Varvaressos and
                  Kim Lavoie and
                  Alexandre Blondin Mass{\'{e}} and
                  S{\'{e}}bastien Gaboury and
                  Sylvain Hall{\'{e}}},
  title        = {Automated Bug Finding in Video Games: {A} Case Study for Runtime Monitoring},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {143--152},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.27},
  doi          = {10.1109/ICST.2014.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/VarvaressosLMGH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/WeisslederS14,
  author       = {Stephan Wei{\ss}leder and
                  Holger Schlingloff},
  title        = {An Evaluation of Model-Based Testing in Embedded Applications},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {223--232},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.35},
  doi          = {10.1109/ICST.2014.35},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/WeisslederS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/WiklundSEL14,
  author       = {Kristian Wiklund and
                  Daniel Sundmark and
                  Sigrid Eldh and
                  Kristina Lundqvist},
  title        = {Impediments for Automated Testing - An Empirical Analysis of a User
                  Support Discussion Board},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {113--122},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.24},
  doi          = {10.1109/ICST.2014.24},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/WiklundSEL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/WojciakT14,
  author       = {Paul A. Wojciak and
                  Rachel Tzoref{-}Brill},
  title        = {System Level Combinatorial Testing in Practice - The Concurrent Maintenance
                  Case Study},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {103--112},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.23},
  doi          = {10.1109/ICST.2014.23},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/WojciakT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/YuSCR14,
  author       = {Tingting Yu and
                  Witawas Srisa{-}an and
                  Myra B. Cohen and
                  Gregg Rothermel},
  title        = {SimLatte: {A} Framework to Support Testing for Worst-Case Interrupt
                  Latencies in Embedded Software},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {313--322},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.44},
  doi          = {10.1109/ICST.2014.44},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/YuSCR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/ZaeemPK14,
  author       = {Razieh Nokhbeh Zaeem and
                  Mukul R. Prasad and
                  Sarfraz Khurshid},
  title        = {Automated Generation of Oracles for Testing User-Interaction Features
                  of Mobile Apps},
  booktitle    = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  pages        = {183--192},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICST.2014.31},
  doi          = {10.1109/ICST.2014.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/ZaeemPK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icst/2014,
  title        = {Seventh {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
                  Ohio, {USA}},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6823818/proceeding},
  isbn         = {978-0-7695-5185-2},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/2014.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.