BibTeX records: Elena Sherman

download as .bib file

@article{DBLP:journals/corr/abs-2401-11365,
  author       = {Dmitry Vengertsev and
                  Elena Sherman},
  title        = {Confidence Preservation Property in Knowledge Distillation Abstractions},
  journal      = {CoRR},
  volume       = {abs/2401.11365},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.11365},
  doi          = {10.48550/ARXIV.2401.11365},
  eprinttype    = {arXiv},
  eprint       = {2401.11365},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-11365.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/ShermanNABJKKKKPPPWWY23,
  author       = {Elena Sherman and
                  Yannic Noller and
                  Cyrille Artho and
                  Franck van Breugel and
                  Anto Nanah Ji and
                  John Kellerman and
                  Parssa Khazra and
                  Filip Kliber and
                  Gaurang Kudale and
                  Pavel Par{\'{\i}}zek and
                  Corina S. Pasareanu and
                  Ron Pressler and
                  Matt Walker and
                  Hongru Wang and
                  Qiuchen Yan},
  title        = {The Java Pathfinder Workshop 2022},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {48},
  number       = {1},
  pages        = {19--21},
  year         = {2023},
  url          = {https://doi.org/10.1145/3573074.3573080},
  doi          = {10.1145/3573074.3573080},
  timestamp    = {Mon, 27 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/ShermanNABJKKKKPPPWWY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ast/HusseinMSSW23,
  author       = {Soha Hussein and
                  Stephen McCamant and
                  Elena Sherman and
                  Vaibhav Sharma and
                  Mike Whalen},
  title        = {Structural Test Input Generation for 3-Address Code Coverage Using
                  Path-Merged Symbolic Execution},
  booktitle    = {{IEEE/ACM} International Conference on Automation of Software Test,
                  {AST} 2023, Melbourne, Australia, May 15-16, 2023},
  pages        = {79--89},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/AST58925.2023.00012},
  doi          = {10.1109/AST58925.2023.00012},
  timestamp    = {Thu, 20 Jul 2023 20:56:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ast/HusseinMSSW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/BallouS23,
  author       = {Kenny Ballou and
                  Elena Sherman},
  editor       = {{\'{E}}tienne Andr{\'{e}} and
                  Jun Sun},
  title        = {Minimally Comparing Relational Abstract Domains},
  booktitle    = {Automated Technology for Verification and Analysis - 21st International
                  Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14216},
  pages        = {159--175},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-45332-8\_8},
  doi          = {10.1007/978-3-031-45332-8\_8},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/BallouS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sgai/VengertsevS23,
  author       = {Dmitry Vengertsev and
                  Elena Sherman},
  editor       = {Max Bramer and
                  Frederic T. Stahl},
  title        = {Confidence Preservation Property in Knowledge Distillation Abstractions},
  booktitle    = {Artificial Intelligence {XL} - 43rd {SGAI} International Conference
                  on Artificial Intelligence, {AI} 2023, Cambridge, UK, December 12-14,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14381},
  pages        = {59--72},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-47994-6\_5},
  doi          = {10.1007/978-3-031-47994-6\_5},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sgai/VengertsevS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tase/BallouS23,
  author       = {Kenny Ballou and
                  Elena Sherman},
  editor       = {Cristina David and
                  Meng Sun},
  title        = {Identifying Minimal Changes in the Zone Abstract Domain},
  booktitle    = {Theoretical Aspects of Software Engineering - 17th International Symposium,
                  {TASE} 2023, Bristol, UK, July 4-6, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13931},
  pages        = {221--239},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-35257-7\_13},
  doi          = {10.1007/978-3-031-35257-7\_13},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tase/BallouS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2304-14550,
  author       = {Kenny Ballou and
                  Elena Sherman},
  title        = {Identifying Minimal Changes in the Zone Abstract Domain},
  journal      = {CoRR},
  volume       = {abs/2304.14550},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2304.14550},
  doi          = {10.48550/ARXIV.2304.14550},
  eprinttype    = {arXiv},
  eprint       = {2304.14550},
  timestamp    = {Thu, 04 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-14550.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2305-16212,
  author       = {Kenny Ballou and
                  Elena Sherman},
  title        = {Minimally Comparing Relational Abstract Domains},
  journal      = {CoRR},
  volume       = {abs/2305.16212},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.16212},
  doi          = {10.48550/ARXIV.2305.16212},
  eprinttype    = {arXiv},
  eprint       = {2305.16212},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-16212.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/BallouS22,
  author       = {Kenny Ballou and
                  Elena Sherman},
  editor       = {Jyotirmoy V. Deshmukh and
                  Klaus Havelund and
                  Ivan Perez},
  title        = {Incremental Transitive Closure for Zonal Abstract Domain},
  booktitle    = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
                  Pasadena, CA, USA, May 24-27, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13260},
  pages        = {800--808},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-06773-0\_43},
  doi          = {10.1007/978-3-031-06773-0\_43},
  timestamp    = {Thu, 02 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/BallouS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/ArthoPAABBBCCDE20,
  author       = {Cyrille Artho and
                  Quoc{-}Sang Phan and
                  Peter Aldous and
                  Alyas Almaawi and
                  Lucas Bang and
                  Lasse Berglund and
                  Tevfik Bultan and
                  Zhenbang Chen and
                  Hayes Converse and
                  Wei Dong and
                  William Eiers and
                  Milos Gligoric and
                  Simon Goldsmith and
                  Lars Grunske and
                  Joshua Hooker and
                  Ismet Burak Kadron and
                  Timo Kehrer and
                  Sarfraz Khurshid and
                  Xuan{-}Bach Dinh Le and
                  David Lo and
                  Eric Mercer and
                  Sasa Misailovic and
                  Egor Namakonov and
                  Hoang Lam Nguyen and
                  Yannic Noller and
                  Benjamin Ogles and
                  Rohan Padhye and
                  Pavel Par{\'{\i}}zek and
                  Corina S. Pasareanu and
                  Sheridan Jacob Powell and
                  Seemanta Saha and
                  Koushik Sen and
                  Elena Sherman and
                  Kyle Storey and
                  Minxing Tang and
                  Willem Visser and
                  Ji Wang and
                  Hengbiao Yu},
  title        = {The Java Pathfinder Workshop 2019},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {45},
  number       = {2},
  pages        = {20--22},
  year         = {2020},
  url          = {https://doi.org/10.1145/3385678.3385685},
  doi          = {10.1145/3385678.3385685},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/ArthoPAABBBCCDE20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/VengertsevS20,
  author       = {Dmitry Vengertsev and
                  Elena Sherman},
  editor       = {Hu{\'{a}}scar Espinoza and
                  Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
                  Xin Cynthia Chen and
                  Se{\'{a}}n S. {\'{O}}h{\'{E}}igeartaigh and
                  Xiaowei Huang and
                  Mauricio Castillo{-}Effen and
                  Richard Mallah and
                  John A. McDermid},
  title        = {Recurrent Neural Network Properties and their Verification with Monte
                  Carlo Techniques},
  booktitle    = {Proceedings of the Workshop on Artificial Intelligence Safety, co-located
                  with 34th {AAAI} Conference on Artificial Intelligence, SafeAI@AAAI
                  2020, New York City, NY, USA, February 7, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2560},
  pages        = {178--185},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2560/paper39.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/VengertsevS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/Brunner0PS20,
  author       = {Rebecca Brunner and
                  Robert Dyer and
                  Maria Paquin and
                  Elena Sherman},
  editor       = {Prem Devanbu and
                  Myra B. Cohen and
                  Thomas Zimmermann},
  title        = {PAClab: a program analysis collaboratory},
  booktitle    = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
                  and Symposium on the Foundations of Software Engineering, Virtual
                  Event, USA, November 8-13, 2020},
  pages        = {1616--1620},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3368089.3417936},
  doi          = {10.1145/3368089.3417936},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Brunner0PS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ideas/JoshaghaniBSM19,
  author       = {Rezvan Joshaghani and
                  Stacy Black and
                  Elena Sherman and
                  Hoda Mehrpouyan},
  editor       = {Bipin C. Desai and
                  Dimosthenis Anagnostopoulos and
                  Yannis Manolopoulos and
                  Mara Nikolaidou},
  title        = {Formal specification and verification of user-centric privacy policies
                  for ubiquitous systems},
  booktitle    = {Proceedings of the 23rd International Database Applications {\&}
                  Engineering Symposium, {IDEAS} 2019, Athens, Greece, June 10-12, 2019},
  pages        = {31:1--31:10},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3331076.3331105},
  doi          = {10.1145/3331076.3331105},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ideas/JoshaghaniBSM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/ShermanH19,
  author       = {Elena Sherman and
                  Andrew Harris},
  title        = {Accurate String Constraints Solution Counting with Weighted Automata},
  booktitle    = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
                  {ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
  pages        = {440--452},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ASE.2019.00049},
  doi          = {10.1109/ASE.2019.00049},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/ShermanH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/PaquinSJ18,
  author       = {Maria Paquin and
                  Elena Sherman and
                  Amit Jain},
  title        = {Assessing the Adequacy of Synthetic Programs for Learning SPF's Configurations},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {55},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282526},
  doi          = {10.1145/3282517.3282526},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/PaquinSJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/Sherman18,
  author       = {Elena Sherman},
  editor       = {Julian Dolby and
                  William G. J. Halfond and
                  Ashish Mishra},
  title        = {Redesigning Soot's data-flow analysis framework for abstract interpretation},
  booktitle    = {Companion Proceedings for the {ISSTA/ECOOP} 2018 Workshops, {ISSTA}
                  2018, Amsterdam, Netherlands, July 16-21, 2018},
  pages        = {78--84},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236454.3236506},
  doi          = {10.1145/3236454.3236506},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/Sherman18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/ShermanD18,
  author       = {Elena Sherman and
                  Robert Dyer},
  editor       = {Gary T. Leavens and
                  Alessandro Garcia and
                  Corina S. Pasareanu},
  title        = {Software engineering collaboratories (SEClabs) and collaboratories
                  as a service (CaaS)},
  booktitle    = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
                  Conference and Symposium on the Foundations of Software Engineering,
                  {ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
                  2018},
  pages        = {760--764},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236024.3264839},
  doi          = {10.1145/3236024.3264839},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/ShermanD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/ShermanD18,
  author       = {Elena Sherman and
                  Matthew B. Dwyer},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Structurally Defined Conditional Data-Flow Static Analysis},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {249--265},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_15},
  doi          = {10.1007/978-3-319-89963-3\_15},
  timestamp    = {Fri, 09 Apr 2021 18:45:36 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/ShermanD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/GuenterJSKGFHPH17,
  author       = {Brian Guenter and
                  Neel Joshi and
                  Richard Stoakley and
                  Andrew Keefe and
                  Kevin Geary and
                  Ryan Freeman and
                  Jake Hundley and
                  Pamela Patterson and
                  David Hammon and
                  Guillermo Herrera and
                  Elena Sherman and
                  Andrew Nowak and
                  Randall Schubert and
                  Peter Brewer and
                  Louis Yang and
                  Russell Mott and
                  Geoff McKnight},
  title        = {Highly curved image sensors: a practical approach for improved optical
                  performance},
  journal      = {CoRR},
  volume       = {abs/1706.07041},
  year         = {2017},
  url          = {http://arxiv.org/abs/1706.07041},
  eprinttype    = {arXiv},
  eprint       = {1706.07041},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GuenterJSKGFHPH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/LloydS15,
  author       = {Justin Lloyd and
                  Elena Sherman},
  title        = {Minimizing the Size of Path Conditions Using Convex Polyhedra Abstract
                  Domain},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {40},
  number       = {1},
  pages        = {1--5},
  year         = {2015},
  url          = {https://doi.org/10.1145/2693208.2693244},
  doi          = {10.1145/2693208.2693244},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/LloydS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tosem/ShermanGD15,
  author       = {Elena Sherman and
                  Brady J. Garvin and
                  Matthew B. Dwyer},
  title        = {Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {24},
  number       = {3},
  pages        = {15:1--15:33},
  year         = {2015},
  url          = {https://doi.org/10.1145/2755971},
  doi          = {10.1145/2755971},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tosem/ShermanGD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/ShermanD15,
  author       = {Elena Sherman and
                  Matthew B. Dwyer},
  editor       = {Myra B. Cohen and
                  Lars Grunske and
                  Michael Whalen},
  title        = {Exploiting Domain and Program Structure to Synthesize Efficient and
                  Precise Data Flow Analyses {(T)}},
  booktitle    = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
                  {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
  pages        = {608--618},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ASE.2015.41},
  doi          = {10.1109/ASE.2015.41},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/ShermanD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/KauslerS14,
  author       = {Scott Kausler and
                  Elena Sherman},
  title        = {User-defined backtracking criteria for symbolic execution},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {39},
  number       = {1},
  pages        = {1--5},
  year         = {2014},
  url          = {https://doi.org/10.1145/2557833.2560578},
  doi          = {10.1145/2557833.2560578},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/KauslerS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/KauslerS14,
  author       = {Scott Kausler and
                  Elena Sherman},
  editor       = {Ivica Crnkovic and
                  Marsha Chechik and
                  Paul Gr{\"{u}}nbacher},
  title        = {Evaluation of string constraint solvers in the context of symbolic
                  execution},
  booktitle    = {{ACM/IEEE} International Conference on Automated Software Engineering,
                  {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
  pages        = {259--270},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2642937.2643003},
  doi          = {10.1145/2642937.2643003},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/KauslerS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pldi/2013soap,
  editor       = {Patrick Lam and
                  Elena Sherman},
  title        = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on State
                  Of the Art in Java Program analysis, {SOAP} 2013, Seattle, WA, USA,
                  June 20, 2013},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2487568},
  doi          = {10.1145/2487568},
  isbn         = {978-1-4503-2201-0},
  timestamp    = {Mon, 12 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/2013soap.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/pldi/2012soap,
  editor       = {Eric Bodden and
                  Laurie J. Hendren and
                  Patrick Lam and
                  Elena Sherman},
  title        = {Proceedings of the {ACM} {SIGPLAN} International Workshop on State
                  of the Art in Java Program analysis, {SOAP} 2012, Beijing, China,
                  June 14, 2012},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2259051},
  doi          = {10.1145/2259051},
  isbn         = {978-1-4503-1490-9},
  timestamp    = {Mon, 12 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/2012soap.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/ShermanGD10,
  author       = {Elena Sherman and
                  Brady J. Garvin and
                  Matthew B. Dwyer},
  editor       = {J{\"{u}}rgen Giesl and
                  Reiner H{\"{a}}hnle},
  title        = {A Slice-Based Decision Procedure for Type-Based Partial Orders},
  booktitle    = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
                  Edinburgh, UK, July 16-19, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6173},
  pages        = {156--170},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14203-1\_14},
  doi          = {10.1007/978-3-642-14203-1\_14},
  timestamp    = {Wed, 25 Sep 2019 18:19:14 +0200},
  biburl       = {https://dblp.org/rec/conf/cade/ShermanGD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/ShermanDE09,
  author       = {Elena Sherman and
                  Matthew B. Dwyer and
                  Sebastian G. Elbaum},
  editor       = {Hans van Vliet and
                  Val{\'{e}}rie Issarny},
  title        = {Saturation-based testing of concurrent programs},
  booktitle    = {Proceedings of the 7th joint meeting of the European Software Engineering
                  Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
                  of Software Engineering, 2009, Amsterdam, The Netherlands, August
                  24-28, 2009},
  pages        = {53--62},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1595696.1595706},
  doi          = {10.1145/1595696.1595706},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/ShermanDE09.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.