Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/icst/Al-RefaiGC16,
  author       = {Mohammed Al{-}Refai and
                  Sudipto Ghosh and
                  Walter Cazzola},
  title        = {Model-Based Regression Test Selection for Validating Runtime Adaptation
                  of Software Systems},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {288--298},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.24},
  doi          = {10.1109/ICST.2016.24},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Al-RefaiGC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/AlameerMH16,
  author       = {Abdulmajeed Alameer and
                  Sonal Mahajan and
                  William G. J. Halfond},
  title        = {Detecting and Localizing Internationalization Presentation Failures
                  in Web Applications},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {202--212},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.36},
  doi          = {10.1109/ICST.2016.36},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/AlameerMH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/ArcainiGV16,
  author       = {Paolo Arcaini and
                  Angelo Gargantini and
                  Paolo Vavassori},
  title        = {Automatic Detection and Removal of Conformance Faults in Feature Models},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {102--112},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.10},
  doi          = {10.1109/ICST.2016.10},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/ArcainiGV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/ArcuriCF16,
  author       = {Andrea Arcuri and
                  Jos{\'{e}} Campos and
                  Gordon Fraser},
  title        = {Unit Test Generation During Software Development: EvoSuite Plugins
                  for Maven, IntelliJ and Jenkins},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {401--408},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.44},
  doi          = {10.1109/ICST.2016.44},
  timestamp    = {Tue, 26 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/ArcuriCF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/ArtsH16,
  author       = {Thomas Arts and
                  John Hughes},
  title        = {How Well are Your Requirements Tested?},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {244--254},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.23},
  doi          = {10.1109/ICST.2016.23},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/ArtsH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/BernardinoZR16,
  author       = {Maicon Bernardino and
                  Avelino F. Zorzo and
                  Elder M. Rodrigues},
  title        = {Canopus: {A} Domain-Specific Language for Modeling Performance Testing},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {157--167},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.13},
  doi          = {10.1109/ICST.2016.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/BernardinoZR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/Bianchi16,
  author       = {Francesco A. Bianchi},
  title        = {Testing Concurrent Software Systems},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {375--376},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.45},
  doi          = {10.1109/ICST.2016.45},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Bianchi16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/ChenBHXZ0X16,
  author       = {Junjie Chen and
                  Yanwei Bai and
                  Dan Hao and
                  Yingfei Xiong and
                  Hongyu Zhang and
                  Lu Zhang and
                  Bing Xie},
  title        = {Test Case Prioritization for Compilers: {A} Text-Vector Based Approach},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {266--277},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.19},
  doi          = {10.1109/ICST.2016.19},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/ChenBHXZ0X16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/ChengWXH016,
  author       = {Yufeng Cheng and
                  Meng Wang and
                  Yingfei Xiong and
                  Dan Hao and
                  Lu Zhang},
  title        = {Empirical Evaluation of Test Coverage for Functional Programs},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {255--265},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.8},
  doi          = {10.1109/ICST.2016.8},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/ChengWXH016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/Dadkhah16,
  author       = {Mahboubeh Dadkhah},
  title        = {Semantic-Based Test Case Generation},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {377--378},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.47},
  doi          = {10.1109/ICST.2016.47},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Dadkhah16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/EnoiuCSP16,
  author       = {Eduard Paul Enoiu and
                  Adnan Causevic and
                  Daniel Sundmark and
                  Paul Pettersson},
  title        = {A Controlled Experiment in Testing of Safety-Critical Embedded Software},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {1--11},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.15},
  doi          = {10.1109/ICST.2016.15},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/EnoiuCSP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/FeldtPCY16,
  author       = {Robert Feldt and
                  Simon M. Poulding and
                  David Clark and
                  Shin Yoo},
  title        = {Test Set Diameter: Quantifying the Diversity of Sets of Test Cases},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {223--233},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.33},
  doi          = {10.1109/ICST.2016.33},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/FeldtPCY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/Gao16,
  author       = {Zebao Gao},
  title        = {Making System User Interactive Tests Repeatable: When and What Should
                  we Control?},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {379--380},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.53},
  doi          = {10.1109/ICST.2016.53},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Gao16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/GaoJBL16,
  author       = {Ruoyu Gao and
                  Zhen Ming Jiang and
                  Cornel Barna and
                  Marin Litoiu},
  title        = {A Framework to Evaluate the Effectiveness of Different Load Testing
                  Analysis Techniques},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {22--32},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.9},
  doi          = {10.1109/ICST.2016.9},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/GaoJBL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/GarousiH16,
  author       = {Vahid Garousi and
                  Kadir Herkiloglu},
  title        = {Selecting the Right Topics for Industry-Academia Collaborations in
                  Software Testing: An Experience Report},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {213--222},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.7},
  doi          = {10.1109/ICST.2016.7},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/GarousiH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/GhafoorMS16,
  author       = {Maryam Abdul Ghafoor and
                  Muhammad Suleman Mahmood and
                  Junaid Haroon Siddiqui},
  title        = {Effective Partial Order Reduction in Model Checking Database Applications},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {146--156},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.25},
  doi          = {10.1109/ICST.2016.25},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/GhafoorMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/GhardallouDMF16,
  author       = {Wided Ghardallou and
                  Nafi Diallo and
                  Ali Mili and
                  Marcelo F. Frias},
  title        = {Debugging without Testing},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {113--123},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.12},
  doi          = {10.1109/ICST.2016.12},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/GhardallouDMF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/Gustavsson16,
  author       = {Joakim Gustavsson},
  title        = {Verification Methodology for Fully Autonomous Heavy Vehicles},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {381--382},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.42},
  doi          = {10.1109/ICST.2016.42},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Gustavsson16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/HammoudiRT16,
  author       = {Mouna Hammoudi and
                  Gregg Rothermel and
                  Paolo Tonella},
  title        = {Why do Record/Replay Tests of Web Applications Break?},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {180--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.16},
  doi          = {10.1109/ICST.2016.16},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/HammoudiRT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/HollingHPG16,
  author       = {Dominik Holling and
                  Andreas Hofbauer and
                  Alexander Pretschner and
                  Matthias Gemmar},
  title        = {Profiting from Unit Tests for Integration Testing},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {353--363},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.28},
  doi          = {10.1109/ICST.2016.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/HollingHPG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/HughesPAN16,
  author       = {John Hughes and
                  Benjamin C. Pierce and
                  Thomas Arts and
                  Ulf Norell},
  title        = {Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization
                  Service},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {135--145},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.37},
  doi          = {10.1109/ICST.2016.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/HughesPAN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/HuoC16,
  author       = {Chen Huo and
                  James Clause},
  title        = {Interpreting Coverage Information Using Direct and Indirect Coverage},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {234--243},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.20},
  doi          = {10.1109/ICST.2016.20},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/HuoC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/Kowalczyk16,
  author       = {Emily Kowalczyk},
  title        = {Modeling App Behavior from Multiple Artifacts},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {385--386},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.52},
  doi          = {10.1109/ICST.2016.52},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Kowalczyk16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/Kunze16,
  author       = {Sebastian Kunze},
  title        = {Symbolic Characterisation of Commonalities in Testing Software Product
                  Lines},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {387--388},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.48},
  doi          = {10.1109/ICST.2016.48},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Kunze16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/LarsonK16,
  author       = {Eric Larson and
                  Anna Kirk},
  title        = {Generating Evil Test Strings for Regular Expressions},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {309--319},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.29},
  doi          = {10.1109/ICST.2016.29},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/LarsonK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/LiEK16,
  author       = {Nan Li and
                  Anthony Escalona and
                  Tariq Kamal},
  title        = {Skyfire: Model-Based Testing with Cucumber},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {393--400},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.41},
  doi          = {10.1109/ICST.2016.41},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/LiEK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/LiVVPK16,
  author       = {Boyang Li and
                  Christopher Vendome and
                  Mario Linares V{\'{a}}squez and
                  Denys Poshyvanyk and
                  Nicholas A. Kraft},
  title        = {Automatically Documenting Unit Test Cases},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {341--352},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.30},
  doi          = {10.1109/ICST.2016.30},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/LiVVPK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/LiewCD16,
  author       = {Daniel Liew and
                  Cristian Cadar and
                  Alastair F. Donaldson},
  title        = {Symbooglix: {A} Symbolic Execution Engine for Boogie Programs},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {45--56},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.11},
  doi          = {10.1109/ICST.2016.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/LiewCD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/Lima16,
  author       = {Bruno Lima},
  title        = {Automated Scenario-Based Testing of Distributed and Heterogeneous
                  Systems},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {383--384},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.49},
  doi          = {10.1109/ICST.2016.49},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Lima16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/LongYPMS16,
  author       = {Teng Long and
                  Il{-}Chul Yoon and
                  Adam A. Porter and
                  Atif M. Memon and
                  Alan Sussman},
  title        = {Coordinated Collaborative Testing of Shared Software Components},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {364--374},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.38},
  doi          = {10.1109/ICST.2016.38},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/LongYPMS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/LuYAZ16,
  author       = {Hong Lu and
                  Tao Yue and
                  Shaukat Ali and
                  Li Zhang},
  title        = {Nonconformity Resolving Recommendations for Product Line Configuration},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {57--68},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.17},
  doi          = {10.1109/ICST.2016.17},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/LuYAZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/MahajanLBH16,
  author       = {Sonal Mahajan and
                  Bailan Li and
                  Pooyan Behnamghader and
                  William G. J. Halfond},
  title        = {Using Visual Symptoms for Debugging Presentation Failures in Web Applications},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {191--201},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.35},
  doi          = {10.1109/ICST.2016.35},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/MahajanLBH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/MarculescuFT16,
  author       = {Bogdan Marculescu and
                  Robert Feldt and
                  Richard Torkar},
  title        = {Using Exploration Focused Techniques to Augment Search-Based Software
                  Testing: An Experimental Evaluation},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {69--79},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.26},
  doi          = {10.1109/ICST.2016.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/MarculescuFT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/Mirshokraie0P16,
  author       = {Shabnam Mirshokraie and
                  Ali Mesbah and
                  Karthik Pattabiraman},
  title        = {Atrina: Inferring Unit Oracles from {GUI} Test Cases},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {330--340},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.32},
  doi          = {10.1109/ICST.2016.32},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/Mirshokraie0P16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/MoranVBVP16,
  author       = {Kevin Moran and
                  Mario Linares V{\'{a}}squez and
                  Carlos Bernal{-}C{\'{a}}rdenas and
                  Christopher Vendome and
                  Denys Poshyvanyk},
  title        = {Automatically Discovering, Reporting and Reproducing Android Application
                  Crashes},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {33--44},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.34},
  doi          = {10.1109/ICST.2016.34},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/MoranVBVP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/PinaH16,
  author       = {Lu{\'{\i}}s Pina and
                  Michael Hicks},
  title        = {Tedsuto: {A} General Framework for Testing Dynamic Software Updates},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {278--287},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.27},
  doi          = {10.1109/ICST.2016.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/PinaH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/Segall16,
  author       = {Itai Segall},
  title        = {Repeated Combinatorial Test Design - Unleashing the Potential in Multiple
                  Testing Iterations},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {12--21},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.14},
  doi          = {10.1109/ICST.2016.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Segall16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/ShiGLM16,
  author       = {August Shi and
                  Alex Gyori and
                  Owolabi Legunsen and
                  Darko Marinov},
  title        = {Detecting Assumptions on Deterministic Implementations of Non-deterministic
                  Specifications},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {80--90},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.40},
  doi          = {10.1109/ICST.2016.40},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/ShiGLM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/ShinB16,
  author       = {Donghwan Shin and
                  Doo{-}Hwan Bae},
  title        = {A Theoretical Framework for Understanding Mutation-Based Testing Methods},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {299--308},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.22},
  doi          = {10.1109/ICST.2016.22},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/ShinB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/StivaletF16,
  author       = {Bertrand Stivalet and
                  Elizabeth Fong},
  title        = {Large Scale Generation of Complex and Faulty {PHP} Test Cases},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {409--415},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.43},
  doi          = {10.1109/ICST.2016.43},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/StivaletF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/SunP16,
  author       = {Shih{-}Feng Sun and
                  Andy Podgurski},
  title        = {Properties of Effective Metrics for Coverage-Based Statistical Fault
                  Localization},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {124--134},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.31},
  doi          = {10.1109/ICST.2016.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/SunP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/TokumotoYSH16,
  author       = {Susumu Tokumoto and
                  Hiroaki Yoshida and
                  Kazunori Sakamoto and
                  Shinichi Honiden},
  title        = {MuVM: Higher Order Mutation Analysis Virtual Machine for {C}},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {320--329},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.18},
  doi          = {10.1109/ICST.2016.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/TokumotoYSH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/WetzlmaierRP16,
  author       = {Thomas Wetzlmaier and
                  Rudolf Ramler and
                  Werner Putsch{\"{o}}gl},
  title        = {A Framework for Monkey {GUI} Testing},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {416--423},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.51},
  doi          = {10.1109/ICST.2016.51},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/WetzlmaierRP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/Xin16,
  author       = {Rui Xin},
  title        = {Self-Healing Cloud Applications},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {389--390},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.50},
  doi          = {10.1109/ICST.2016.50},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Xin16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/YeZWL16,
  author       = {Tao Ye and
                  Lingming Zhang and
                  Linzhang Wang and
                  Xuandong Li},
  title        = {An Empirical Study on Detecting and Fixing Buffer Overflow Bugs},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {91--101},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.21},
  doi          = {10.1109/ICST.2016.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/YeZWL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/YuWHH16,
  author       = {Tingting Yu and
                  Wei Wen and
                  Xue Han and
                  Jane Huffman Hayes},
  title        = {Predicting Testability of Concurrent Programs},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {168--179},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.39},
  doi          = {10.1109/ICST.2016.39},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/YuWHH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/Zuddas16,
  author       = {Daniele Zuddas},
  title        = {Semantic Testing of Interactive Applications},
  booktitle    = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  pages        = {391--392},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICST.2016.46},
  doi          = {10.1109/ICST.2016.46},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/Zuddas16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/icst/2016,
  title        = {2016 {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2016, Chicago, IL, USA, April 11-15, 2016},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7510576/proceeding},
  isbn         = {978-1-5090-1827-7},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/2016.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.