BibTeX records: Junaid Haroon Siddiqui

download as .bib file

@article{DBLP:journals/ac/SiddiquiRG18,
  author    = {Junaid Haroon Siddiqui and
               Affan Rauf and
               Maryam Abdul Ghafoor},
  title     = {Chapter Two - Advances in Software Model Checking},
  journal   = {Advances in Computers},
  volume    = {108},
  pages     = {59--89},
  year      = {2018},
  url       = {https://doi.org/10.1016/bs.adcom.2017.11.001},
  doi       = {10.1016/bs.adcom.2017.11.001},
  timestamp = {Wed, 14 Mar 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ac/SiddiquiRG18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AyubS18,
  author    = {Muhammad Sohaib Ayub and
               Junaid Haroon Siddiqui},
  title     = {Efficiently finding minimal failing input in MapReduce programs},
  booktitle = {Proceedings of the 40th International Conference on Software Engineering:
               Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
               June 03, 2018},
  pages     = {177--178},
  year      = {2018},
  crossref  = {DBLP:conf/icse/2018c},
  url       = {https://doi.org/10.1145/3183440.3195084},
  doi       = {10.1145/3183440.3195084},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/AyubS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RaufNS18,
  author    = {Affan Rauf and
               Muhammad Nawaz and
               Junaid Haroon Siddiqui},
  title     = {Efficient iterative deepening for bounded exhaustive generation of
               complex structures},
  booktitle = {Proceedings of the 40th International Conference on Software Engineering:
               Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
               June 03, 2018},
  pages     = {346--347},
  year      = {2018},
  crossref  = {DBLP:conf/icse/2018c},
  url       = {https://doi.org/10.1145/3183440.3195002},
  doi       = {10.1145/3183440.3195002},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/RaufNS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipsn/AhmedASBM18,
  author    = {Saad Ahmed and
               Muhammad Hamad Alizai and
               Junaid Haroon Siddiqui and
               Naveed Anwar Bhatti and
               Luca Mottola},
  title     = {Towards smaller checkpoints for better intermittent computing: poster
               abstract},
  booktitle = {Proceedings of the 17th {ACM/IEEE} International Conference on Information
               Processing in Sensor Networks, {IPSN} 2018, Porto, Portugal, April
               11-13, 2018},
  pages     = {132--133},
  year      = {2018},
  crossref  = {DBLP:conf/ipsn/2018},
  url       = {https://doi.org/10.1109/IPSN.2018.00029},
  doi       = {10.1109/IPSN.2018.00029},
  timestamp = {Tue, 09 Oct 2018 10:55:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipsn/AhmedASBM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-09373,
  author    = {Muhammad Zubair Malik and
               Muhammad Nawaz and
               Nimrah Mustafa and
               Junaid Haroon Siddiqui},
  title     = {Search Based Code Generation for Machine Learning Programs},
  journal   = {CoRR},
  volume    = {abs/1801.09373},
  year      = {2018},
  url       = {http://arxiv.org/abs/1801.09373},
  archivePrefix = {arXiv},
  eprint    = {1801.09373},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1801-09373},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/AyubRS17,
  author    = {Muhammad Sohaib Ayub and
               Waqas ur Rehman and
               Junaid Haroon Siddiqui},
  title     = {Experience Report: Verifying {MPI} Java Programs Using Software Model
               Checking},
  booktitle = {28th {IEEE} International Symposium on Software Reliability Engineering,
               {ISSRE} 2017, Toulouse, France, October 23-26, 2017},
  pages     = {294--304},
  year      = {2017},
  crossref  = {DBLP:conf/issre/2017},
  url       = {https://doi.org/10.1109/ISSRE.2017.15},
  doi       = {10.1109/ISSRE.2017.15},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issre/AyubRS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fit/GhafoorS16,
  author    = {Maryam Abdul Ghafoor and
               Junaid Haroon Siddiqui},
  title     = {Cross Platform Bug Correlation Using Stack Traces},
  booktitle = {International Conference on Frontiers of Information Technology, {FIT}
               2016, Islamabad, Pakistan, December 19-21, 2016},
  pages     = {199--204},
  year      = {2016},
  crossref  = {DBLP:conf/fit/2016},
  url       = {https://doi.org/10.1109/FIT.2016.044},
  doi       = {10.1109/FIT.2016.044},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fit/GhafoorS16},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/icst/2016},
  url       = {https://doi.org/10.1109/ICST.2016.25},
  doi       = {10.1109/ICST.2016.25},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/GhafoorMS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MahmoodGS16,
  author    = {Muhammad Suleman Mahmood and
               Maryam Abdul Ghafoor and
               Junaid Haroon Siddiqui},
  title     = {Symbolic execution of stored procedures in database management systems},
  booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
  pages     = {519--530},
  year      = {2016},
  crossref  = {DBLP:conf/kbse/2016},
  url       = {https://doi.org/10.1145/2970276.2970318},
  doi       = {10.1145/2970276.2970318},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/MahmoodGS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/RehmanAS16,
  author    = {Waqas ur Rehman and
               Muhammad Sohaib Ayub and
               Junaid Haroon Siddiqui},
  title     = {Verification of {MPI} Java programs using software model checking},
  booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} Symposium on Principles and
               Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March
               12-16, 2016},
  pages     = {55:1--55:2},
  year      = {2016},
  crossref  = {DBLP:conf/ppopp/2016},
  url       = {https://doi.org/10.1145/2851141.2851192},
  doi       = {10.1145/2851141.2851192},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppopp/RehmanAS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/AhmedKSBA16,
  author    = {Saad Ahmed and
               Hassan Khan and
               Junaid Haroon Siddiqui and
               J{\'{o}} {\'{A}}gila Bitsch and
               Muhammad Hamad Alizai},
  title     = {Incremental Checkpointing for Interruptible Computations: Poster Abstract},
  booktitle = {Proceedings of the 14th {ACM} Conference on Embedded Network Sensor
               Systems, SenSys 2016, Stanford, CA, USA, November 14-16, 2016},
  pages     = {350--351},
  year      = {2016},
  crossref  = {DBLP:conf/sensys/2016},
  url       = {https://doi.org/10.1145/2994551.2996701},
  doi       = {10.1145/2994551.2996701},
  timestamp = {Tue, 06 Nov 2018 16:57:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sensys/AhmedKSBA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MakhdoomKS14,
  author    = {Sarmad Makhdoom and
               Muhammad Adeel Khan and
               Junaid Haroon Siddiqui},
  title     = {Incremental symbolic execution for automated test suite maintenance},
  booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
               {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
  pages     = {271--276},
  year      = {2014},
  crossref  = {DBLP:conf/kbse/2014},
  url       = {https://doi.org/10.1145/2642937.2642961},
  doi       = {10.1145/2642937.2642961},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/MakhdoomKS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/SiddiquiK13,
  author    = {Junaid Haroon Siddiqui and
               Sarfraz Khurshid},
  title     = {Scaling symbolic execution using staged analysis},
  journal   = {{ISSE}},
  volume    = {9},
  number    = {2},
  pages     = {119--131},
  year      = {2013},
  url       = {https://doi.org/10.1007/s11334-013-0196-9},
  doi       = {10.1007/s11334-013-0196-9},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/isse/SiddiquiK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RosnerSAKF13,
  author    = {Nicol{\'{a}}s Rosner and
               Junaid Haroon Siddiqui and
               Nazareno Aguirre and
               Sarfraz Khurshid and
               Marcelo F. Frias},
  title     = {Ranger: Parallel analysis of alloy models by range partitioning},
  booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
               Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
               2013},
  pages     = {147--157},
  year      = {2013},
  crossref  = {DBLP:conf/kbse/2013},
  url       = {https://doi.org/10.1109/ASE.2013.6693075},
  doi       = {10.1109/ASE.2013.6693075},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/RosnerSAKF13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/FunesSK12,
  author    = {Diego Funes and
               Junaid Haroon Siddiqui and
               Sarfraz Khurshid},
  title     = {Ranged Model Checking},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {37},
  number    = {6},
  pages     = {1--5},
  year      = {2012},
  url       = {https://doi.org/10.1145/2382756.2382799},
  doi       = {10.1145/2382756.2382799},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigsoft/FunesSK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SiddiquiMK12,
  author    = {Junaid Haroon Siddiqui and
               Darko Marinov and
               Sarfraz Khurshid},
  title     = {Lightweight Data-Flow Analysis for Execution-Driven Constraint Solving},
  booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
  pages     = {91--100},
  year      = {2012},
  crossref  = {DBLP:conf/icst/2012},
  url       = {https://doi.org/10.1109/ICST.2012.89},
  doi       = {10.1109/ICST.2012.89},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/SiddiquiMK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SiddiquiK12,
  author    = {Junaid Haroon Siddiqui and
               Sarfraz Khurshid},
  title     = {Scaling symbolic execution using ranged analysis},
  booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
               part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
  pages     = {523--536},
  year      = {2012},
  crossref  = {DBLP:conf/oopsla/2012},
  url       = {https://doi.org/10.1145/2384616.2384654},
  doi       = {10.1145/2384616.2384654},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/SiddiquiK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/SiddiquiK12,
  author    = {Junaid Haroon Siddiqui and
               Sarfraz Khurshid},
  title     = {Staged symbolic execution},
  booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
               Riva, Trento, Italy, March 26-30, 2012},
  pages     = {1339--1346},
  year      = {2012},
  crossref  = {DBLP:conf/sac/2012},
  url       = {https://doi.org/10.1145/2245276.2231988},
  doi       = {10.1145/2245276.2231988},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/SiddiquiK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SiddiquiK11,
  author    = {Junaid Haroon Siddiqui and
               Sarfraz Khurshid},
  title     = {Symbolic Execution of Alloy Models},
  booktitle = {Formal Methods and Software Engineering - 13th International Conference
               on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
               2011. Proceedings},
  pages     = {340--355},
  year      = {2011},
  crossref  = {DBLP:conf/icfem/2011},
  url       = {https://doi.org/10.1007/978-3-642-24559-6\_24},
  doi       = {10.1007/978-3-642-24559-6\_24},
  timestamp = {Thu, 15 Jun 2017 21:39:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/SiddiquiK11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/MalikSK11,
  author    = {Muhammad Zubair Malik and
               Junaid Haroon Siddiqui and
               Sarfraz Khurshid},
  title     = {Constraint-Based Program Debugging Using Data Structure Repair},
  booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
  pages     = {190--199},
  year      = {2011},
  crossref  = {DBLP:conf/icst/2011},
  url       = {https://doi.org/10.1109/ICST.2011.65},
  doi       = {10.1109/ICST.2011.65},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/MalikSK11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SiddiquiK09,
  author    = {Junaid Haroon Siddiqui and
               Sarfraz Khurshid},
  title     = {An Empirical Study of Structural Constraint Solving Techniques},
  booktitle = {Formal Methods and Software Engineering, 11th International Conference
               on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
               December 9-12, 2009. Proceedings},
  pages     = {88--106},
  year      = {2009},
  crossref  = {DBLP:conf/icfem/2009},
  url       = {https://doi.org/10.1007/978-3-642-10373-5\_5},
  doi       = {10.1007/978-3-642-10373-5\_5},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/SiddiquiK09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/SiddiquiK09,
  author    = {Junaid Haroon Siddiqui and
               Sarfraz Khurshid},
  title     = {PKorat: Parallel Generation of Structurally Complex Test Inputs},
  booktitle = {Second International Conference on Software Testing Verification and
               Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
  pages     = {250--259},
  year      = {2009},
  crossref  = {DBLP:conf/icst/2009},
  url       = {https://doi.org/10.1109/ICST.2009.48},
  doi       = {10.1109/ICST.2009.48},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/SiddiquiK09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SiddiquiMK09,
  author    = {Junaid Haroon Siddiqui and
               Darko Marinov and
               Sarfraz Khurshid},
  title     = {Optimizing a Structural Constraint Solver for Efficient Software Checking},
  booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
               Software Engineering, Auckland, New Zealand, November 16-20, 2009},
  pages     = {615--619},
  year      = {2009},
  crossref  = {DBLP:conf/kbse/2009},
  url       = {https://doi.org/10.1109/ASE.2009.52},
  doi       = {10.1109/ASE.2009.52},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/SiddiquiMK09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018c,
  editor    = {Michel Chaudron and
               Ivica Crnkovic and
               Marsha Chechik and
               Mark Harman},
  title     = {Proceedings of the 40th International Conference on Software Engineering:
               Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
               June 03, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3183440},
  isbn      = {978-1-4503-5663-3},
  timestamp = {Tue, 04 Sep 2018 11:30:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2018c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipsn/2018,
  editor    = {Luca Mottola and
               Jie Gao and
               Pei Zhang},
  title     = {Proceedings of the 17th {ACM/IEEE} International Conference on Information
               Processing in Sensor Networks, {IPSN} 2018, Porto, Portugal, April
               11-13, 2018},
  publisher = {{IEEE} / {ACM}},
  year      = {2018},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8432383},
  isbn      = {978-1-5386-5298-5},
  timestamp = {Tue, 09 Oct 2018 10:55:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipsn/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issre/2017,
  title     = {28th {IEEE} International Symposium on Software Reliability Engineering,
               {ISSRE} 2017, Toulouse, France, October 23-26, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8108705},
  isbn      = {978-1-5386-0941-5},
  timestamp = {Wed, 22 Nov 2017 17:54:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issre/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fit/2016,
  title     = {International Conference on Frontiers of Information Technology, {FIT}
               2016, Islamabad, Pakistan, December 19-21, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7838005},
  isbn      = {978-1-5090-5300-1},
  timestamp = {Tue, 21 Feb 2017 16:35:54 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fit/2016},
  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       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7510576},
  isbn      = {978-1-5090-1827-7},
  timestamp = {Tue, 26 Jul 2016 15:49:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2016,
  editor    = {David Lo and
               Sven Apel and
               Sarfraz Khurshid},
  title     = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2970276},
  doi       = {10.1145/2970276},
  isbn      = {978-1-4503-3845-5},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppopp/2016,
  editor    = {Rafael Asenjo and
               Tim Harris},
  title     = {Proceedings of the 21st {ACM} {SIGPLAN} Symposium on Principles and
               Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March
               12-16, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2851141},
  isbn      = {978-1-4503-4092-2},
  timestamp = {Sun, 05 Nov 2017 01:33:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppopp/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sensys/2016,
  editor    = {Philip Levis and
               Steve Eglash and
               Lama Nachman and
               Anthony Rowe},
  title     = {Proceedings of the 14th {ACM} Conference on Embedded Network Sensor
               Systems, SenSys 2016, Stanford, CA, USA, November 14-16, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2994551},
  doi       = {10.1145/2994551},
  isbn      = {978-1-4503-4263-6},
  timestamp = {Tue, 06 Nov 2018 16:57:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sensys/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2014,
  editor    = {Ivica Crnkovic and
               Marsha Chechik and
               Paul Gr{\"{u}}nbacher},
  title     = {{ACM/IEEE} International Conference on Automated Software Engineering,
               {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2642937},
  isbn      = {978-1-4503-3013-8},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2013,
  editor    = {Ewen Denney and
               Tevfik Bultan and
               Andreas Zeller},
  title     = {2013 28th {IEEE/ACM} International Conference on Automated Software
               Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
               2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6684409},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2012,
  editor    = {Giuliano Antoniol and
               Antonia Bertolino and
               Yvan Labiche},
  title     = {Fifth {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6200016},
  isbn      = {978-1-4577-1906-6},
  timestamp = {Mon, 11 May 2015 16:37:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2012,
  editor    = {Gary T. Leavens and
               Matthew B. Dwyer},
  title     = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
               part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2384616},
  isbn      = {978-1-4503-1561-6},
  timestamp = {Tue, 23 Oct 2012 08:06:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2012,
  editor    = {Sascha Ossowski and
               Paola Lecca},
  title     = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
               Riva, Trento, Italy, March 26-30, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2245276},
  isbn      = {978-1-4503-0857-1},
  timestamp = {Fri, 08 Jun 2012 17:50:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2011,
  editor    = {Shengchao Qin and
               Zongyan Qiu},
  title     = {Formal Methods and Software Engineering - 13th International Conference
               on Formal Engineering Methods, {ICFEM} 2011, Durham, UK, October 26-28,
               2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6991},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24559-6},
  doi       = {10.1007/978-3-642-24559-6},
  isbn      = {978-3-642-24558-9},
  timestamp = {Thu, 15 Jun 2017 21:39:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2011,
  title     = {Fourth {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5769511},
  isbn      = {978-0-7695-4342-0},
  timestamp = {Mon, 11 May 2015 16:37:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2009,
  editor    = {Karin K. Breitman and
               Ana Cavalcanti},
  title     = {Formal Methods and Software Engineering, 11th International Conference
               on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
               December 9-12, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5885},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10373-5},
  doi       = {10.1007/978-3-642-10373-5},
  isbn      = {978-3-642-10372-8},
  timestamp = {Sun, 21 May 2017 00:19:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2009,
  title     = {Second International Conference on Software Testing Verification and
               Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4815321},
  isbn      = {978-0-7695-3601-9},
  timestamp = {Mon, 11 May 2015 16:37:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2009,
  title     = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
               Software Engineering, Auckland, New Zealand, November 16-20, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5431684},
  isbn      = {978-0-7695-3891-4},
  timestamp = {Tue, 05 Apr 2016 18:02:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier