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}
}
@inproceedings{DBLP:conf/icse/AyubS18,
  author    = {Muhammad Sohaib Ayub and
               Junaid Haroon Siddiqui},
  title     = {Efficiently finding minimal failing input in MapReduce programs},
  booktitle = {{ICSE} (Companion Volume)},
  pages     = {177--178},
  publisher = {{ACM}},
  year      = {2018}
}
@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 = {{ICSE} (Companion Volume)},
  pages     = {346--347},
  publisher = {{ACM}},
  year      = {2018}
}
@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 = {{IPSN}},
  pages     = {132--133},
  publisher = {{IEEE} / {ACM}},
  year      = {2018}
}
@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}
}
@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 = {{ISSRE}},
  pages     = {294--304},
  publisher = {{IEEE} Computer Society},
  year      = {2017}
}
@inproceedings{DBLP:conf/fit/GhafoorS16,
  author    = {Maryam Abdul Ghafoor and
               Junaid Haroon Siddiqui},
  title     = {Cross Platform Bug Correlation Using Stack Traces},
  booktitle = {{FIT}},
  pages     = {199--204},
  publisher = {{IEEE} Computer Society},
  year      = {2016}
}
@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 = {{ICST}},
  pages     = {146--156},
  publisher = {{IEEE} Computer Society},
  year      = {2016}
}
@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 = {{ASE}},
  pages     = {519--530},
  publisher = {{ACM}},
  year      = {2016}
}
@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 = {{PPOPP}},
  pages     = {55:1--55:2},
  publisher = {{ACM}},
  year      = {2016}
}
@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 = {SenSys},
  pages     = {350--351},
  publisher = {{ACM}},
  year      = {2016}
}
@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 = {{ASE}},
  pages     = {271--276},
  publisher = {{ACM}},
  year      = {2014}
}
@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}
}
@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 = {{ASE}},
  pages     = {147--157},
  publisher = {{IEEE}},
  year      = {2013}
}
@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}
}
@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 = {{ICST}},
  pages     = {91--100},
  publisher = {{IEEE} Computer Society},
  year      = {2012}
}
@inproceedings{DBLP:conf/oopsla/SiddiquiK12,
  author    = {Junaid Haroon Siddiqui and
               Sarfraz Khurshid},
  title     = {Scaling symbolic execution using ranged analysis},
  booktitle = {{OOPSLA}},
  pages     = {523--536},
  publisher = {{ACM}},
  year      = {2012}
}
@inproceedings{DBLP:conf/sac/SiddiquiK12,
  author    = {Junaid Haroon Siddiqui and
               Sarfraz Khurshid},
  title     = {Staged symbolic execution},
  booktitle = {{SAC}},
  pages     = {1339--1346},
  publisher = {{ACM}},
  year      = {2012}
}
@inproceedings{DBLP:conf/icfem/SiddiquiK11,
  author    = {Junaid Haroon Siddiqui and
               Sarfraz Khurshid},
  title     = {Symbolic Execution of Alloy Models},
  booktitle = {{ICFEM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6991},
  pages     = {340--355},
  publisher = {Springer},
  year      = {2011}
}
@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 = {{ICST}},
  pages     = {190--199},
  publisher = {{IEEE} Computer Society},
  year      = {2011}
}
@inproceedings{DBLP:conf/icfem/SiddiquiK09,
  author    = {Junaid Haroon Siddiqui and
               Sarfraz Khurshid},
  title     = {An Empirical Study of Structural Constraint Solving Techniques},
  booktitle = {{ICFEM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5885},
  pages     = {88--106},
  publisher = {Springer},
  year      = {2009}
}
@inproceedings{DBLP:conf/icst/SiddiquiK09,
  author    = {Junaid Haroon Siddiqui and
               Sarfraz Khurshid},
  title     = {PKorat: Parallel Generation of Structurally Complex Test Inputs},
  booktitle = {{ICST}},
  pages     = {250--259},
  publisher = {{IEEE} Computer Society},
  year      = {2009}
}
@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}},
  pages     = {615--619},
  publisher = {{IEEE} Computer Society},
  year      = {2009}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier