Search dblp for Publications

export results for "toc:db/conf/ssiri/sere2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ssiri/CaiSX14,
  author       = {Haipeng Cai and
                  Ra{\'{u}}l A. Santelices and
                  Tianyu Xu},
  title        = {Estimating the Accuracy of Dynamic Change-Impact Analysis Using Sensitivity
                  Analysis},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {48--57},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.18},
  doi          = {10.1109/SERE.2014.18},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/CaiSX14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ChenLLCGC14,
  author       = {Jiaqiang Chen and
                  Shulong Liu and
                  Wangshu Liu and
                  Xiang Chen and
                  Qing Gu and
                  Daoxu Chen},
  title        = {A Two-Stage Data Preprocessing Approach for Software Fault Prediction},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {20--29},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.15},
  doi          = {10.1109/SERE.2014.15},
  timestamp    = {Mon, 17 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssiri/ChenLLCGC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ChenM14,
  author       = {Luping Chen and
                  John H. R. May},
  title        = {A Diversity Model Based on Failure Distribution and Its Application
                  in Safety Cases},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {1--10},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.13},
  doi          = {10.1109/SERE.2014.13},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/ChenM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/EletribySEF14,
  author       = {Mohammad R. Eletriby and
                  Mohammed Ali Sobh and
                  Ayman M. Bahaa Eldin and
                  Hossam M. A. Fahmy},
  title        = {High Performance Java Card Operating System},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {30--39},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.16},
  doi          = {10.1109/SERE.2014.16},
  timestamp    = {Fri, 28 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/EletribySEF14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/FarhadiFCD14,
  author       = {Mohammad Reza Farhadi and
                  Benjamin C. M. Fung and
                  Philippe Charland and
                  Mourad Debbabi},
  title        = {BinClone: Detecting Code Clones in Malware},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {78--87},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.21},
  doi          = {10.1109/SERE.2014.21},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/FarhadiFCD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/FourneretCBLB14,
  author       = {Elizabeta Fourneret and
                  J{\'{e}}r{\^{o}}me Cantenot and
                  Fabrice Bouquet and
                  Bruno Legeard and
                  Julien Botella},
  title        = {SeTGaM: Generalized Technique for Regression Testing Based on {UML/OCL}
                  Models},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {147--156},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.28},
  doi          = {10.1109/SERE.2014.28},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssiri/FourneretCBLB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/HerscheidT14,
  author       = {Lena Herscheid and
                  Peter Tr{\"{o}}ger},
  title        = {Specification of Dynamic Fault Tree Concepts with Stochastic Petri
                  Nets},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {177--186},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.31},
  doi          = {10.1109/SERE.2014.31},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/HerscheidT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/HettiarachchiDC14,
  author       = {Charitha Hettiarachchi and
                  Hyunsook Do and
                  Byoungju Choi},
  title        = {Effective Regression Testing Using Requirements and Risks},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {157--166},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.29},
  doi          = {10.1109/SERE.2014.29},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/HettiarachchiDC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/HowserM14,
  author       = {Gerry Howser and
                  Bruce M. McMillin},
  title        = {A Modal Model of Stuxnet Attacks on Cyber-physical Systems: {A} Matter
                  of Trust},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {225--234},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.36},
  doi          = {10.1109/SERE.2014.36},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/HowserM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/JahanbanifarKT14,
  author       = {Azadeh Jahanbanifar and
                  Ferhat Khendek and
                  Maria Toeroe},
  title        = {Providing Hardware Redundancy for Highly Available Services in Virtualized
                  Environments},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {40--47},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.17},
  doi          = {10.1109/SERE.2014.17},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssiri/JahanbanifarKT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/KwonKPH14,
  author       = {Jang Jin Kwon and
                  Doohwan Kim and
                  Jae Jin Park and
                  Jang{-}Eui Hong},
  title        = {Collision Analysis of Safety Devices to Prevent Hazards in Safety
                  Critical Systems},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {245--254},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.38},
  doi          = {10.1109/SERE.2014.38},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssiri/KwonKPH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/LiL14,
  author       = {Mo Li and
                  Shaoying Liu},
  title        = {Traceability-Based Formal Specification Inspection},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {167--176},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.30},
  doi          = {10.1109/SERE.2014.30},
  timestamp    = {Wed, 23 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/LiL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/LiQCL14,
  author       = {Ang Li and
                  Zishan Qin and
                  Mingsong Chen and
                  Jing Liu},
  title        = {ADAutomation: An Activity Diagram Based Automated {GUI} Testing Framework
                  for Smartphone Applications},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {68--77},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.20},
  doi          = {10.1109/SERE.2014.20},
  timestamp    = {Mon, 28 May 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/LiQCL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/LinT14,
  author       = {Chung{-}Yi Lin and
                  Wen{-}Guey Tzeng},
  title        = {Game-Theoretic Strategy Analysis for Data Reliability Management in
                  Cloud Storage Systems},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {187--195},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.32},
  doi          = {10.1109/SERE.2014.32},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/LinT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/LinTL14,
  author       = {Hsiao{-}Ying Lin and
                  Li{-}Ping Tung and
                  Bao{-}Shuh Paul Lin},
  title        = {Reliable Repair Mechanisms with Low Connection Cost for Code Based
                  Distributed Storage Systems},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {235--244},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.37},
  doi          = {10.1109/SERE.2014.37},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/LinTL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/LiuCCS14,
  author       = {Yen Ju Liu and
                  Chong Kuan Chen and
                  Michael Cheng Yi Cho and
                  Shiuhpyng Shieh},
  title        = {Fast Discovery of VM-Sensitive Divergence Points with Basic Block
                  Comparison},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {196--205},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.33},
  doi          = {10.1109/SERE.2014.33},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/LiuCCS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/MellH14,
  author       = {Peter Mell and
                  Richard E. Harang},
  title        = {Using Network Tainting to Bound the Scope of Network Ingress Attacks},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {206--215},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.34},
  doi          = {10.1109/SERE.2014.34},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/MellH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/SuPFHYJZ14,
  author       = {Ting Su and
                  Geguang Pu and
                  Bin Fang and
                  Jifeng He and
                  Jun Yan and
                  Siyuan Jiang and
                  Jianjun Zhao},
  title        = {Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic
                  Execution},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {98--107},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.23},
  doi          = {10.1109/SERE.2014.23},
  timestamp    = {Wed, 24 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/SuPFHYJZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/TsaiQYG14,
  author       = {Wei{-}Tek Tsai and
                  Guanqiu Qi and
                  Lian Yu and
                  Jerry Gao},
  title        = {TaaS (Testing-as-a-Service) Design for Combinatorial Testing},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {127--136},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.26},
  doi          = {10.1109/SERE.2014.26},
  timestamp    = {Wed, 21 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/TsaiQYG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/WeiTLMC14,
  author       = {Shuai Wei and
                  Enyi Tang and
                  Tianyu Liu and
                  Norbert Th. M{\"{u}}ller and
                  Zhenyu Chen},
  title        = {Automatic Numerical Analysis Based on Infinite-Precision Arithmetic},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {216--224},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.35},
  doi          = {10.1109/SERE.2014.35},
  timestamp    = {Thu, 16 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssiri/WeiTLMC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/WuY014,
  author       = {Tianyong Wu and
                  Jun Yan and
                  Jian Zhang},
  title        = {Automatic Test Data Generation for Unit Testing to Achieve {MC/DC}
                  Criterion},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {118--126},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.25},
  doi          = {10.1109/SERE.2014.25},
  timestamp    = {Wed, 11 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/WuY014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/WuYZLZX14,
  author       = {Yangsong Wu and
                  Yibiao Yang and
                  Yangyang Zhao and
                  Hongmin Lu and
                  Yuming Zhou and
                  Baowen Xu},
  title        = {The Influence of Developer Quality on Software Fault-Proneness Prediction},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {11--19},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.14},
  doi          = {10.1109/SERE.2014.14},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/WuYZLZX14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/XuDX14,
  author       = {Weifeng Xu and
                  Tao Ding and
                  Dianxiang Xu},
  title        = {Rule-Based Test Input Generation from Bytecode},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {108--117},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.24},
  doi          = {10.1109/SERE.2014.24},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/XuDX14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/YuTJG14,
  author       = {Lian Yu and
                  Wei{-}Tek Tsai and
                  Yanbing Jiang and
                  Jerry Gao},
  title        = {Generating Test Cases for Context-Aware Applications Using Bigraphs},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {137--146},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.27},
  doi          = {10.1109/SERE.2014.27},
  timestamp    = {Wed, 21 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/YuTJG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ZechFKB14,
  author       = {Philipp Zech and
                  Michael Felderer and
                  Basel Katt and
                  Ruth Breu},
  title        = {Security Test Generation by Answer Set Programming},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {88--97},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.22},
  doi          = {10.1109/SERE.2014.22},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ssiri/ZechFKB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/ZhangC14,
  author       = {Yingjun Zhang and
                  Kai Chen},
  title        = {AppMark: {A} Picture-Based Watermark for Android Apps},
  booktitle    = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  pages        = {58--67},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/SERE.2014.19},
  doi          = {10.1109/SERE.2014.19},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/ZhangC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssiri/2014,
  title        = {Eighth International Conference on Software Security and Reliability,
                  {SERE} 2014, San Francisco, California, USA, June 30 - July 2, 2014},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6890830/proceeding},
  isbn         = {978-1-4799-4296-1},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ssiri/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics