Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/issta/AllwoodCE11,
  author       = {Tristan Oliver Richard Allwood and
                  Cristian Cadar and
                  Susan Eisenbach},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {High coverage testing of Haskell programs},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {375--385},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001465},
  doi          = {10.1145/2001420.2001465},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/AllwoodCE11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/ArcuriB11,
  author       = {Andrea Arcuri and
                  Lionel C. Briand},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Adaptive random testing: an illusion of effectiveness?},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {265--275},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001452},
  doi          = {10.1145/2001420.2001452},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/ArcuriB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/BabicMMS11,
  author       = {Domagoj Babic and
                  Lorenzo Martignoni and
                  Stephen McCamant and
                  Dawn Song},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Statically-directed dynamic automated test generation},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {12--22},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001423},
  doi          = {10.1145/2001420.2001423},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/BabicMMS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/BalasubramanianPWKL11,
  author       = {Daniel Balasubramanian and
                  Corina S. Pasareanu and
                  Michael W. Whalen and
                  Gabor Karsai and
                  Michael R. Lowry},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Polyglot: modeling and analysis for multiple Statechart formalisms},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {45--55},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001427},
  doi          = {10.1145/2001420.2001427},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/BalasubramanianPWKL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/BernatRM11,
  author       = {Andrew R. Bernat and
                  Kevin A. Roundy and
                  Barton P. Miller},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Efficient, sensitivity resistant binary instrumentation},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {89--99},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001432},
  doi          = {10.1145/2001420.2001432},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/BernatRM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/BurgerZ11,
  author       = {Martin Burger and
                  Andreas Zeller},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Minimizing reproduction of software failures},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {221--231},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001447},
  doi          = {10.1145/2001420.2001447},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/BurgerZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/BurnimSS11,
  author       = {Jacob Burnim and
                  Koushik Sen and
                  Christos Stergiou},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Testing concurrent programs on relaxed memory models},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {122--132},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001436},
  doi          = {10.1145/2001420.2001436},
  timestamp    = {Mon, 29 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/BurnimSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/DiGiuseppeJ11,
  author       = {Nicholas DiGiuseppe and
                  James A. Jones},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {On the influence of multiple faults on coverage-based fault localization},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {210--220},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001446},
  doi          = {10.1145/2001420.2001446},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/DiGiuseppeJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/DumluYCP11,
  author       = {Emine Dumlu and
                  Cemal Yilmaz and
                  Myra B. Cohen and
                  Adam A. Porter},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Feedback driven adaptive combinatorial testing},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {243--253},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001450},
  doi          = {10.1145/2001420.2001450},
  timestamp    = {Wed, 21 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/DumluYCP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/FraserZ11,
  author       = {Gordon Fraser and
                  Andreas Zeller},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Generating parameterized unit tests},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {364--374},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001464},
  doi          = {10.1145/2001420.2001464},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/FraserZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/GligoricMK11,
  author       = {Milos Gligoric and
                  Darko Marinov and
                  Sam Kamin},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {CoDeSe: fast deserialization via code generation},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {298--308},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001456},
  doi          = {10.1145/2001420.2001456},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/GligoricMK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/GodefroidL11,
  author       = {Patrice Godefroid and
                  Daniel Luchaup},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Automatic partial loop summarization in dynamic test generation},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {23--33},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001424},
  doi          = {10.1145/2001420.2001424},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/GodefroidL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/GuarnieriPTDTB11,
  author       = {Salvatore Guarnieri and
                  Marco Pistoia and
                  Omer Tripp and
                  Julian Dolby and
                  Stephen Teilhet and
                  Ryan Berg},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Saving the world wide web from vulnerable JavaScript},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {177--187},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001442},
  doi          = {10.1145/2001420.2001442},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/GuarnieriPTDTB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/GuoE11,
  author       = {Philip J. Guo and
                  Dawson R. Engler},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Using automatic persistent memoization to facilitate data analysis
                  scripting},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {287--297},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001455},
  doi          = {10.1145/2001420.2001455},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/GuoE11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/HuangZ11,
  author       = {Jeff Huang and
                  Charles Zhang},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Persuasive prediction of concurrency access anomalies},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {144--154},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001438},
  doi          = {10.1145/2001420.2001438},
  timestamp    = {Wed, 10 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/HuangZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/JagannathLM11,
  author       = {Vilas Jagannath and
                  Qingzhou Luo and
                  Darko Marinov},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Change-aware preemption prioritization},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {133--143},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001437},
  doi          = {10.1145/2001420.2001437},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/JagannathLM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/LeS11,
  author       = {Wei Le and
                  Mary Lou Soffa},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Generating analyses for detecting faults in path segments},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {320--330},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001459},
  doi          = {10.1145/2001420.2001459},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/LeS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/McGillDS11,
  author       = {Matthew J. McGill and
                  Laura K. Dillon and
                  R. E. Kurt Stirewalt},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Scalable analysis of conceptual data models},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {56--66},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001428},
  doi          = {10.1145/2001420.2001428},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/McGillDS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/NaminK11,
  author       = {Akbar Siami Namin and
                  Sahitya Kakarla},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {The use of mutation in testing experiments and its sensitivity to
                  external threats},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {342--352},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001461},
  doi          = {10.1145/2001420.2001461},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/NaminK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/NijjarB11,
  author       = {Jaideep Nijjar and
                  Tevfik Bultan},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Bounded verification of Ruby on Rails data models},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {67--77},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001429},
  doi          = {10.1145/2001420.2001429},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/NijjarB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/ParninO11,
  author       = {Chris Parnin and
                  Alessandro Orso},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Are automated debugging techniques actually helping programmers?},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {199--209},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001445},
  doi          = {10.1145/2001420.2001445},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/ParninO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/PasareanuRV11,
  author       = {Corina S. Pasareanu and
                  Neha Rungta and
                  Willem Visser},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Symbolic execution with mixed concrete-symbolic solving},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {34--44},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001425},
  doi          = {10.1145/2001420.2001425},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/PasareanuRV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/PradelG11,
  author       = {Michael Pradel and
                  Thomas R. Gross},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Detecting anomalies in the order of equally-typed method arguments},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {232--242},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001448},
  doi          = {10.1145/2001420.2001448},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/PradelG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/RosenblumMZ11,
  author       = {Nathan E. Rosenblum and
                  Barton P. Miller and
                  Xiaojin Zhu},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Recovering the toolchain provenance of binary code},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {100--110},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001433},
  doi          = {10.1145/2001420.2001433},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/RosenblumMZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/Rubio-GonzalezL11,
  author       = {Cindy Rubio{-}Gonz{\'{a}}lez and
                  Ben Liblit},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Defective error/pointer interactions in the Linux kernel},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {111--121},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001434},
  doi          = {10.1145/2001420.2001434},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Rubio-GonzalezL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/SegallTF11,
  author       = {Itai Segall and
                  Rachel Tzoref{-}Brill and
                  Eitan Farchi},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Using binary decision diagrams for combinatorial test design},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {254--264},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001451},
  doi          = {10.1145/2001420.2001451},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/SegallTF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/ShahbazSE11,
  author       = {Muzammil Shahbaz and
                  K. C. Shashidhar and
                  Robert Eschbach},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Iterative refinement of specification for component based embedded
                  systems},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {276--286},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001454},
  doi          = {10.1145/2001420.2001454},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/ShahbazSE11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/SumnerBZ11,
  author       = {William N. Sumner and
                  Tao Bao and
                  Xiangyu Zhang},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Selecting peers for execution comparison},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {309--319},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001458},
  doi          = {10.1145/2001420.2001458},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/SumnerBZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/TanejaXTH11,
  author       = {Kunal Taneja and
                  Tao Xie and
                  Nikolai Tillmann and
                  Jonathan de Halleux},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {eXpress: guided path exploration for efficient regression test generation},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {1--11},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001422},
  doi          = {10.1145/2001420.2001422},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/TanejaXTH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/TateishiPT11,
  author       = {Takaaki Tateishi and
                  Marco Pistoia and
                  Omer Tripp},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Path- and index-sensitive string analysis based on monadic second-order
                  logic},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {166--176},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001441},
  doi          = {10.1145/2001420.2001441},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/TateishiPT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/XiaoZ11,
  author       = {Xiao Xiao and
                  Charles Zhang},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Geometric encoding: forging the high performance context sensitive
                  points-to analysis for Java},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {188--198},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001443},
  doi          = {10.1145/2001420.2001443},
  timestamp    = {Wed, 10 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/XiaoZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/YanXR11,
  author       = {Dacong Yan and
                  Guoqing Xu and
                  Atanas Rountev},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Demand-driven context-sensitive alias analysis for Java},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {155--165},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001440},
  doi          = {10.1145/2001420.2001440},
  timestamp    = {Fri, 04 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/YanXR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/YasmeenG11,
  author       = {Ayesha Yasmeen and
                  Elsa L. Gunter},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Automated framework for formal operator task analysis},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {78--88},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001430},
  doi          = {10.1145/2001420.2001430},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/YasmeenG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/ZhangSBE11,
  author       = {Sai Zhang and
                  David Saff and
                  Yingyi Bu and
                  Michael D. Ernst},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Combined static and dynamic automated test generation},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {353--363},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001463},
  doi          = {10.1145/2001420.2001463},
  timestamp    = {Thu, 05 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/ZhangSBE11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/ZhangZ11,
  author       = {Zhiqiang Zhang and
                  Jian Zhang},
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Characterizing failure-causing parameter interactions by adaptive
                  testing},
  booktitle    = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  pages        = {331--341},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420.2001460},
  doi          = {10.1145/2001420.2001460},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/ZhangZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/issta/2011,
  editor       = {Matthew B. Dwyer and
                  Frank Tip},
  title        = {Proceedings of the 20th International Symposium on Software Testing
                  and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2001420},
  doi          = {10.1145/2001420},
  isbn         = {978-1-4503-0562-4},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/2011.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.