Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/issta/AdamsenMM15,
  author       = {Christoffer Quist Adamsen and
                  Gianluca Mezzetti and
                  Anders M{\o}ller},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Systematic execution of Android test suites in adverse conditions},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {83--93},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771786},
  doi          = {10.1145/2771783.2771786},
  timestamp    = {Fri, 05 Nov 2021 10:54:23 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/AdamsenMM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Aquino15,
  author       = {Andrea Aquino},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Scalable program analysis through proof caching (doctoral symposium)},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {432--435},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2784773},
  doi          = {10.1145/2771783.2784773},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Aquino15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AquinoBCDP15,
  author       = {Andrea Aquino and
                  Francesco A. Bianchi and
                  Meixian Chen and
                  Giovanni Denaro and
                  Mauro Pezz{\`{e}}},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Reusing constraint proofs in program analysis},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {305--315},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771802},
  doi          = {10.1145/2771783.2771802},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/AquinoBCDP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BarrHJMP15,
  author       = {Earl T. Barr and
                  Mark Harman and
                  Yue Jia and
                  Alexandru Marginean and
                  Justyna Petke},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Automated software transplantation},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {257--269},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771796},
  doi          = {10.1145/2771783.2771796},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/BarrHJMP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BellK15,
  author       = {Jonathan Bell and
                  Gail E. Kaiser},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Dynamic taint tracking for Java with phosphor (demo)},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {409--413},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2784768},
  doi          = {10.1145/2771783.2784768},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/BellK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ClappAA15,
  author       = {Lazaro Clapp and
                  Saswat Anand and
                  Alex Aiken},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Modelgen: mining explicit information flow specifications from concrete
                  executions},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {129--140},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771810},
  doi          = {10.1145/2771783.2771810},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/ClappAA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CongLYX15,
  author       = {Kai Cong and
                  Li Lei and
                  Zhenkun Yang and
                  Fei Xie},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Automatic fault injection for driver robustness testing},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {361--372},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771811},
  doi          = {10.1145/2771783.2771811},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/CongLYX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DahseH15,
  author       = {Johannes Dahse and
                  Thorsten Holz},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Experience report: an empirical study of {PHP} security mechanism
                  usage},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {60--70},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771787},
  doi          = {10.1145/2771783.2771787},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/DahseH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Demiroz15,
  author       = {G{\"{u}}lsen Demir{\"{o}}z},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Cost-aware combinatorial interaction testing (doctoral symposium)},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {440--443},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2784775},
  doi          = {10.1145/2771783.2784775},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/Demiroz15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DhokMR15,
  author       = {Monika Dhok and
                  Rashmi Mudduluru and
                  Murali Krishna Ramanathan},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Pegasus: automatic barrier inference for stable multithreaded systems},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {153--164},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771813},
  doi          = {10.1145/2771783.2771813},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/DhokMR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DimjasevicG15,
  author       = {Marko Dimjasevic and
                  Dimitra Giannakopoulou},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Test-case generation for runtime analysis and vice versa: verification
                  of aircraft separation assurance},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {282--292},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771804},
  doi          = {10.1145/2771783.2771804},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/DimjasevicG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/EpitropakisYHB15,
  author       = {Michael G. Epitropakis and
                  Shin Yoo and
                  Mark Harman and
                  Edmund K. Burke},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Empirical evaluation of pareto efficient multi-objective regression
                  test case prioritisation},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {234--245},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771788},
  doi          = {10.1145/2771783.2771788},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/EpitropakisYHB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GligoricEM15,
  author       = {Milos Gligoric and
                  Lamyaa Eloussi and
                  Darko Marinov},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Practical regression test selection with dynamic file dependencies},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {211--222},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771784},
  doi          = {10.1145/2771783.2771784},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/GligoricEM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GongPSS15,
  author       = {Liang Gong and
                  Michael Pradel and
                  Manu Sridharan and
                  Koushik Sen},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {DLint: dynamically checking bad coding practices in JavaScript},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {94--105},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771809},
  doi          = {10.1145/2771783.2771809},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/GongPSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GrocePAM15,
  author       = {Alex Groce and
                  Jervis Pinto and
                  Pooria Azimi and
                  Pranjal Mittal},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {{TSTL:} a language and tool for testing (demo)},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {414--417},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2784769},
  doi          = {10.1145/2771783.2784769},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/GrocePAM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GuiSLD15,
  author       = {Lin Gui and
                  Jun Sun and
                  Yang Liu and
                  Jin Song Dong},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Reliability assessment for distributed systems via communication abstraction
                  and refinement},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {293--304},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771794},
  doi          = {10.1145/2771783.2771794},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/GuiSLD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GyoriSHM15,
  author       = {Alex Gyori and
                  August Shi and
                  Farah Hariri and
                  Darko Marinov},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Reliable testing: detecting state-polluting tests to prevent test
                  dependency},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {223--233},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771793},
  doi          = {10.1145/2771783.2771793},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/GyoriSHM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HayTP15,
  author       = {Roee Hay and
                  Omer Tripp and
                  Marco Pistoia},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Dynamic detection of inter-application communication vulnerabilities
                  in Android},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {118--128},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771800},
  doi          = {10.1145/2771783.2771800},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/HayTP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Hothersall-Thomas15,
  author       = {Charlie Hothersall{-}Thomas and
                  Sergio Maffeis and
                  Chris Novakovic},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {BrowserAudit: automated testing of browser security features},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {37--47},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771789},
  doi          = {10.1145/2771783.2771789},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Hothersall-Thomas15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HuangDMD15,
  author       = {Wei Huang and
                  Yao Dong and
                  Ana L. Milanova and
                  Julian Dolby},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Scalable and precise taint analysis for Android},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {106--117},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771803},
  doi          = {10.1145/2771783.2771803},
  timestamp    = {Thu, 24 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/HuangDMD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/JiaGY15,
  author       = {Xiangyang Jia and
                  Carlo Ghezzi and
                  Shi Ying},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Enhancing reuse of constraint solutions to improve symbolic execution},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {177--187},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771806},
  doi          = {10.1145/2771783.2771806},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/JiaGY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KhoshnoodKW15,
  author       = {Sepideh Khoshnood and
                  Markus Kusano and
                  Chao Wang},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {ConcBugAssist: constraint solving for diagnosis and repair of concurrency
                  bugs},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {165--176},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771798},
  doi          = {10.1145/2771783.2771798},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/KhoshnoodKW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LeSS15,
  author       = {Vu Le and
                  Chengnian Sun and
                  Zhendong Su},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Randomized stress-testing of link-time optimizers},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {327--337},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771785},
  doi          = {10.1145/2771783.2771785},
  timestamp    = {Tue, 30 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/LeSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Leesatapornwongsa15,
  author       = {Tanakorn Leesatapornwongsa and
                  Haryadi S. Gunawi},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {{SAMC:} a fast model checker for finding heisenbugs in distributed
                  systems (demo)},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {423--427},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2784771},
  doi          = {10.1145/2771783.2784771},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Leesatapornwongsa15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Long15,
  author       = {Teng Long},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Collaborative testing across shared software components (doctoral
                  symposium)},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {436--439},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2784774},
  doi          = {10.1145/2771783.2784774},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Long15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MusluBM15,
  author       = {Kivan{\c{c}} Muslu and
                  Yuriy Brun and
                  Alexandra Meliou},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Preventing data errors with continuous testing},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {373--384},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771792},
  doi          = {10.1145/2771783.2771792},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/MusluBM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Narayanaswamy15,
  author       = {Ganesh Narayanaswamy},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {When truth is efficient: analysing concurrency},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {141--152},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771790},
  doi          = {10.1145/2771783.2771790},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Narayanaswamy15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Ohmann15,
  author       = {Peter Ohmann},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Making your crashes work for you (doctoral symposium)},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {428--431},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2784772},
  doi          = {10.1145/2771783.2784772},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Ohmann15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/QiLAR15,
  author       = {Zichao Qi and
                  Fan Long and
                  Sara Achour and
                  Martin C. Rinard},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {An analysis of patch plausibility and correctness for generate-and-validate
                  patch generation systems},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {24--36},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771791},
  doi          = {10.1145/2771783.2771791},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/QiLAR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/RojasFA15,
  author       = {Jos{\'{e}} Miguel Rojas and
                  Gordon Fraser and
                  Andrea Arcuri},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Automated unit test generation during software development: a controlled
                  experiment and think-aloud observations},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {338--349},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771801},
  doi          = {10.1145/2771783.2771801},
  timestamp    = {Mon, 23 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/RojasFA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Rolfsnes15,
  author       = {Thomas Rolfsnes},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Mining change history for test-plan generation (doctoral symposium)},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {444--447},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2784776},
  doi          = {10.1145/2771783.2784776},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Rolfsnes15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SatoHC15,
  author       = {Yoshiki Sato and
                  Shumpei Hozumi and
                  Shigeru Chiba},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Calculation coverage testing in scientific applications},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {350--360},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771807},
  doi          = {10.1145/2771783.2771807},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/SatoHC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ShenLPG15,
  author       = {Du Shen and
                  Qi Luo and
                  Denys Poshyvanyk and
                  Mark Grechanik},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Automating performance bottleneck detection using search-based application
                  profiling},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {270--281},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771816},
  doi          = {10.1145/2771783.2771816},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/ShenLPG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TanXCSLD15,
  author       = {Tian Huat Tan and
                  Yinxing Xue and
                  Manman Chen and
                  Jun Sun and
                  Yang Liu and
                  Jin Song Dong},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Optimizing selection of competing features via feedback-directed evolutionary
                  algorithms},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {246--256},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771808},
  doi          = {10.1145/2771783.2771808},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/TanXCSLD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TarvoSMRAB15,
  author       = {Alexander Tarvo and
                  Peter F. Sweeney and
                  Nick Mitchell and
                  V. T. Rajan and
                  Matthew Arnold and
                  Ioana Baldini},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {CanaryAdvisor: a statistical-based tool for canary testing (demo)},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {418--422},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2784770},
  doi          = {10.1145/2771783.2784770},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/TarvoSMRAB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WangGMC15,
  author       = {Haoyu Wang and
                  Yao Guo and
                  Ziang Ma and
                  Xiangqun Chen},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {WuKong: a scalable and accurate two-phase approach to Android app
                  clone detection},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {71--82},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771795},
  doi          = {10.1145/2771783.2771795},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/WangGMC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WangPGBI15,
  author       = {Chunhui Wang and
                  Fabrizio Pastore and
                  Arda Goknil and
                  Lionel C. Briand and
                  Muhammad Zohaib Z. Iqbal},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Automatic generation of system test cases from use case specifications},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {385--396},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771812},
  doi          = {10.1145/2771783.2771812},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/WangPGBI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WangPO15,
  author       = {Qianqian Wang and
                  Chris Parnin and
                  Alessandro Orso},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Evaluating the usefulness of IR-based fault localization techniques},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {1--11},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771797},
  doi          = {10.1145/2771783.2771797},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/WangPO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WangZT15,
  author       = {Xiaoyin Wang and
                  Lingming Zhang and
                  Philip Tanofsky},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Experience report: how is dynamic symbolic execution different from
                  manual testing? a study on {KLEE}},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {199--210},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771818},
  doi          = {10.1145/2771783.2771818},
  timestamp    = {Wed, 15 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/WangZT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/XieLLLC15,
  author       = {Xiaofei Xie and
                  Yang Liu and
                  Wei Le and
                  Xiaohong Li and
                  Hongxu Chen},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {S-looper: automatic summarization for multipath string loops},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {188--198},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771815},
  doi          = {10.1145/2771783.2771815},
  timestamp    = {Fri, 24 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/XieLLLC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/XueWLXSC15,
  author       = {Yinxing Xue and
                  Junjie Wang and
                  Yang Liu and
                  Hao Xiao and
                  Jun Sun and
                  Mahinthan Chandramohan},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Detection and classification of malicious JavaScript via attack behavior
                  modelling},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {48--59},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771814},
  doi          = {10.1145/2771783.2771814},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/XueWLXSC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YatohSIH15,
  author       = {Kohsuke Yatoh and
                  Kazunori Sakamoto and
                  Fuyuki Ishikawa and
                  Shinichi Honiden},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Feedback-controlled random test generation},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {316--326},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771805},
  doi          = {10.1145/2771783.2771805},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/YatohSIH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YueAZ15,
  author       = {Tao Yue and
                  Shaukat Ali and
                  Man Zhang},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {{RTCM:} a natural language based, automated, and practical test case
                  generation framework},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {397--408},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771799},
  doi          = {10.1145/2771783.2771799},
  timestamp    = {Mon, 27 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/YueAZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangE15,
  author       = {Sai Zhang and
                  Michael D. Ernst},
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Proactive detection of inadequate diagnostic messages for software
                  configuration errors},
  booktitle    = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages        = {12--23},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783.2771817},
  doi          = {10.1145/2771783.2771817},
  timestamp    = {Thu, 05 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/ZhangE15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2015,
  editor       = {Michal Young and
                  Tao Xie},
  title        = {Proceedings of the 2015 International Symposium on Software Testing
                  and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2771783},
  doi          = {10.1145/2771783},
  isbn         = {978-1-4503-3620-8},
  timestamp    = {Fri, 05 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics