Search dblp for Publications

export results for "toc:db/conf/issta/issta2013.bht:"

 download as .bib file

@inproceedings{DBLP:conf/issta/BarrBM13,
  author       = {Earl T. Barr and
                  Christian Bird and
                  Mark Marron},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Collecting a heap of shapes},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {123--133},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483761},
  doi          = {10.1145/2483760.2483761},
  timestamp    = {Sun, 02 Oct 2022 16:10:12 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/BarrBM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/BindalBL13,
  author       = {Sandeep Bindal and
                  Sorav Bansal and
                  Akash Lal},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Variable and thread bounding for systematic testing of multithreaded
                  programs},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {145--155},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483764},
  doi          = {10.1145/2483760.2483764},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/BindalBL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/Bonacchi13,
  author       = {Andrea Bonacchi},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Formal safety proof: a real case study in a railway interlocking system},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {378--381},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2492398},
  doi          = {10.1145/2483760.2492398},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Bonacchi13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/Buda13,
  author       = {Teodora Sandra Buda},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Generation of test databases using sampling methods},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {366--369},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2492397},
  doi          = {10.1145/2483760.2492397},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Buda13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/ChocklerEY13,
  author       = {Hana Chockler and
                  Karine Even and
                  Eran Yahav},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Finding rare numerical stability errors in concurrent computations},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {12--22},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483791},
  doi          = {10.1145/2483760.2483791},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/ChocklerEY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/DevakiTSS13,
  author       = {Pranavadatta Devaki and
                  Suresh Thummalapenta and
                  Nimit Singhania and
                  Saurabh Sinha},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Efficient and flexible {GUI} test execution via test merging},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {34--44},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483781},
  doi          = {10.1145/2483760.2483781},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/DevakiTSS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/FraserSMAP13,
  author       = {Gordon Fraser and
                  Matt Staats and
                  Phil McMinn and
                  Andrea Arcuri and
                  Frank Padberg},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Does automated white-box test generation really help software testers?},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {291--301},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483774},
  doi          = {10.1145/2483760.2483774},
  timestamp    = {Mon, 23 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/FraserSMAP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/Ghaith13,
  author       = {Shadi Ghaith},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Analysis of performance regression testing data by transaction profiles},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {370--373},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2492399},
  doi          = {10.1145/2483760.2492399},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Ghaith13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/GligoricGZSAM13,
  author       = {Milos Gligoric and
                  Alex Groce and
                  Chaoqiang Zhang and
                  Rohan Sharma and
                  Mohammad Amin Alipour and
                  Darko Marinov},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Comparing non-adequate test suites using coverage criteria},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {302--313},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483769},
  doi          = {10.1145/2483760.2483769},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/GligoricGZSAM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/GligoricZPP13,
  author       = {Milos Gligoric and
                  Lingming Zhang and
                  Cristiano Pereira and
                  Gilles Pokam},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Selective mutation testing for concurrent code},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {224--234},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483773},
  doi          = {10.1145/2483760.2483773},
  timestamp    = {Sat, 01 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/GligoricZPP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/GuiSLSDW13,
  author       = {Lin Gui and
                  Jun Sun and
                  Yang Liu and
                  Yuanjie Si and
                  Jin Song Dong and
                  Xinyu Wang},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Combining model checking and testing with an application to reliability
                  prediction and distribution},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {101--111},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483779},
  doi          = {10.1145/2483760.2483779},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/GuiSLSDW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/HanazumiM13,
  author       = {Simone Hanazumi and
                  Ana Cristina Vieira de Melo},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Generation of Java programs properties from test purposes},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {362--365},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2492400},
  doi          = {10.1145/2483760.2492400},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/HanazumiM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/HillsKV13,
  author       = {Mark Hills and
                  Paul Klint and
                  Jurgen J. Vinju},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {An empirical study of {PHP} feature usage: a static analysis perspective},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {325--335},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483786},
  doi          = {10.1145/2483760.2483786},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/HillsKV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/HowarGR13,
  author       = {Falk Howar and
                  Dimitra Giannakopoulou and
                  Zvonimir Rakamaric},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Hybrid learning: interface generation through static, dynamic, and
                  symbolic analysis},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {268--279},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483783},
  doi          = {10.1145/2483760.2483783},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/HowarGR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/JensenPM13,
  author       = {Casper Svenning Jensen and
                  Mukul R. Prasad and
                  Anders M{\o}ller},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Automated testing with targeted event sequence generation},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {67--77},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483777},
  doi          = {10.1145/2483760.2483777},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/JensenPM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/JinO13,
  author       = {Wei Jin and
                  Alessandro Orso},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {{F3:} fault localization for field failures},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {213--223},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483763},
  doi          = {10.1145/2483760.2483763},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/JinO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/KifetewPLOT13,
  author       = {Fitsum Meshesha Kifetew and
                  Annibale Panichella and
                  Andrea De Lucia and
                  Rocco Oliveto and
                  Paolo Tonella},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Orthogonal exploration of the search space in evolutionary test case
                  generation},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {257--267},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483789},
  doi          = {10.1145/2483760.2483789},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/KifetewPLOT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/LiCWX13,
  author       = {Mengchen Li and
                  Yuanjun Chen and
                  Linzhang Wang and
                  Guoqing Xu},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Dynamically validating static memory leak warnings},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {112--122},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483778},
  doi          = {10.1145/2483760.2483778},
  timestamp    = {Fri, 04 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/LiCWX13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/LiHHG13,
  author       = {Ding Li and
                  Shuai Hao and
                  William G. J. Halfond and
                  Ramesh Govindan},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Calculating source line level energy information for Android applications},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {78--89},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483780},
  doi          = {10.1145/2483760.2483780},
  timestamp    = {Wed, 10 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/LiHHG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/LuoR13,
  author       = {Qingzhou Luo and
                  Grigore Rosu},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {EnforceMOP: a runtime property enforcement system for multithreaded
                  programs},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {156--166},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483766},
  doi          = {10.1145/2483760.2483766},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/LuoR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/NijjarB13,
  author       = {Jaideep Nijjar and
                  Tevfik Bultan},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Data model property inference and repair},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {202--212},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483768},
  doi          = {10.1145/2483760.2483768},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/NijjarB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/Park13,
  author       = {Sangmin Park},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Debugging non-deadlock concurrency bugs},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {358--361},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2492395},
  doi          = {10.1145/2483760.2492395},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Park13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/ParkHV13,
  author       = {Sangmin Park and
                  Mary Jean Harrold and
                  Richard W. Vuduc},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Griffin: grouping suspicious memory-access patterns to improve understanding
                  of concurrency bugs},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {134--144},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483792},
  doi          = {10.1145/2483760.2483792},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/ParkHV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/PurandareDE13,
  author       = {Rahul Purandare and
                  Matthew B. Dwyer and
                  Sebastian G. Elbaum},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Optimizing monitoring of finite state properties through monitor compaction},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {280--290},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483762},
  doi          = {10.1145/2483760.2483762},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/PurandareDE13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/QiMLW13,
  author       = {Yuhua Qi and
                  Xiaoguang Mao and
                  Yan Lei and
                  Chengsong Wang},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Using automated program repair for evaluating the effectiveness of
                  fault localization techniques},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {191--201},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483785},
  doi          = {10.1145/2483760.2483785},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/QiMLW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/RadoiD13,
  author       = {Cosmin Radoi and
                  Danny Dig},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Practical static race detection for Java parallel loops},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {178--190},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483765},
  doi          = {10.1145/2483760.2483765},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/RadoiD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/RosnerGBBRPZF13,
  author       = {Nicol{\'{a}}s Rosner and
                  Juan P. Galeotti and
                  Santiago Berm{\'{u}}dez and
                  Guido Marucci Blas and
                  Santiago Perez De Rosso and
                  Lucas Pizzagalli and
                  Luciano Zem{\'{\i}}n and
                  Marcelo F. Frias},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Parallel bounded analysis in code with rich invariants by refinement
                  of field bounds},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {23--33},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483770},
  doi          = {10.1145/2483760.2483770},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/RosnerGBBRPZF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/SamimiHFM13,
  author       = {Hesam Samimi and
                  Rebecca Hicks and
                  Ari Fogel and
                  Todd D. Millstein},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Declarative mocking},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {246--256},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483790},
  doi          = {10.1145/2483760.2483790},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/SamimiHFM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/SteimannFA13,
  author       = {Friedrich Steimann and
                  Marcus Frenkel and
                  Rui Abreu},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Threats to the validity and value of empirical assessments of the
                  accuracy of coverage-based fault locators},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {314--324},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483767},
  doi          = {10.1145/2483760.2483767},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/SteimannFA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/Thum13,
  author       = {Thomas Th{\"{u}}m},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Product-line verification with feature-oriented contracts},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {374--377},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2492396},
  doi          = {10.1145/2483760.2492396},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Thum13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/TrippWG13,
  author       = {Omer Tripp and
                  Omri Weisman and
                  Lotem Guy},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Finding your way in the testing jungle: a learning approach to web
                  security testing},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {347--357},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483776},
  doi          = {10.1145/2483760.2483776},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/TrippWG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/TsankovDB13,
  author       = {Petar Tsankov and
                  Mohammad Torabi Dashti and
                  David A. Basin},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Semi-valid input coverage for fuzz testing},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {56--66},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483787},
  doi          = {10.1145/2483760.2483787},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/TsankovDB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/WeiR13,
  author       = {Shiyi Wei and
                  Barbara G. Ryder},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Practical blended taint analysis for JavaScript},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {336--346},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483788},
  doi          = {10.1145/2483760.2483788},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/WeiR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/XiaoHZX13,
  author       = {Xusheng Xiao and
                  Shi Han and
                  Dongmei Zhang and
                  Tao Xie},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Context-sensitive delta inference for identifying workload-dependent
                  performance bottlenecks},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {90--100},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483784},
  doi          = {10.1145/2483760.2483784},
  timestamp    = {Wed, 22 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/XiaoHZX13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/YiQTR13,
  author       = {Jooyong Yi and
                  Dawei Qi and
                  Shin Hwei Tan and
                  Abhik Roychoudhury},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Expressing and checking intended changes via software change contracts},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {1--11},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483772},
  doi          = {10.1145/2483760.2483772},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/YiQTR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/YuSR13,
  author       = {Tingting Yu and
                  Witawas Srisa{-}an and
                  Gregg Rothermel},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {SimRacer: an automated framework to support testing for process-level
                  races},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {167--177},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483771},
  doi          = {10.1145/2483760.2483771},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/YuSR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/ZhangLE13,
  author       = {Sai Zhang and
                  Hao L{\"{u}} and
                  Michael D. Ernst},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Automatically repairing broken workflows for evolving {GUI} applications},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {45--55},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483775},
  doi          = {10.1145/2483760.2483775},
  timestamp    = {Thu, 05 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/ZhangLE13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/ZhangMK13,
  author       = {Lingming Zhang and
                  Darko Marinov and
                  Sarfraz Khurshid},
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {Faster mutation testing inspired by test prioritization and reduction},
  booktitle    = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  pages        = {235--245},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760.2483782},
  doi          = {10.1145/2483760.2483782},
  timestamp    = {Wed, 15 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/ZhangMK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/issta/2013,
  editor       = {Mauro Pezz{\`{e}} and
                  Mark Harman},
  title        = {International Symposium on Software Testing and Analysis, {ISSTA}
                  '13, Lugano, Switzerland, July 15-20, 2013},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2483760},
  doi          = {10.1145/2483760},
  isbn         = {978-1-4503-2159-4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/2013.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.