Search dblp for Publications

export results for "toc:db/conf/paste/paste2005.bht:"

 download as .bib file

@inproceedings{DBLP:conf/paste/BarnettL05,
  author       = {Michael Barnett and
                  K. Rustan M. Leino},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {Weakest-precondition of unstructured programs},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {82--87},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108813},
  doi          = {10.1145/1108792.1108813},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/BarnettL05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/BradburyCD05,
  author       = {Jeremy S. Bradbury and
                  James R. Cordy and
                  J{\"{u}}rgen Dingel},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {An empirical framework for comparing effectiveness of testing and
                  property-based formal analysis},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {2--5},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108795},
  doi          = {10.1145/1108792.1108795},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/paste/BradburyCD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/ChristodorescuKG05,
  author       = {Mihai Christodorescu and
                  Nicholas Kidd and
                  Wen{-}Han Goh},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {String analysis for x86 binaries},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {88--95},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108814},
  doi          = {10.1145/1108792.1108814},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/ChristodorescuKG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/CookO05,
  author       = {Jonathan E. Cook and
                  Alessandro Orso},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {MonDe: safe updating through monitored deployment of new component
                  versions},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {43--46},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108803},
  doi          = {10.1145/1108792.1108803},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/CookO05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/Das05,
  author       = {Manuvir Das},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {{PASTE} at Microsoft},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108794},
  doi          = {10.1145/1108792.1108794},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/Das05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/Hamlet05,
  author       = {Dick Hamlet},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {Invariants and state in testing and formal methods},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {48--51},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108806},
  doi          = {10.1145/1108792.1108806},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/Hamlet05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/HampapuramYD05,
  author       = {Hari Hampapuram and
                  Yue Yang and
                  Manuvir Das},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {Symbolic path simulation in path-sensitive dataflow analysis},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {52--58},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108808},
  doi          = {10.1145/1108792.1108808},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/HampapuramYD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/HovemeyerSP05,
  author       = {David Hovemeyer and
                  Jaime Spacco and
                  William W. Pugh},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {Evaluating and tuning a static analysis to find null pointer bugs},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {13--19},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108798},
  doi          = {10.1145/1108792.1108798},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/paste/HovemeyerSP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/KhurshidS05,
  author       = {Sarfraz Khurshid and
                  Yuk Lai Suen},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {Generalizing symbolic execution to library classes},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {103--110},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108817},
  doi          = {10.1145/1108792.1108817},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/KhurshidS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/KumarCS05,
  author       = {Naveen Kumar and
                  Bruce R. Childers and
                  Mary Lou Soffa},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {Low overhead program monitoring and profiling},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {28--34},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108801},
  doi          = {10.1145/1108792.1108801},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/KumarCS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/LiangPH05,
  author       = {Donglin Liang and
                  Maikel Pennings and
                  Mary Jean Harrold},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {Evaluating the impact of context-sensitivity on Andersen's algorithm
                  for Java programs},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {6--12},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108797},
  doi          = {10.1145/1108792.1108797},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/LiangPH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/Myers05,
  author       = {Andrew C. Myers},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {Making distributed systems secure with program analysis and transformation},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {47},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108805},
  doi          = {10.1145/1108792.1108805},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/Myers05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/Perkins05,
  author       = {Jeff H. Perkins},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {Automatically generating refactorings to support {API} evolution},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {111--114},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108818},
  doi          = {10.1145/1108792.1108818},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/Perkins05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/PickettV05,
  author       = {Christopher J. F. Pickett and
                  Clark Verbrugge},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {SableSpMT: a software framework for analysing speculative multithreading
                  in Java},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {59--66},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108809},
  doi          = {10.1145/1108792.1108809},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/PickettV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/PrivatD05,
  author       = {Jean Privat and
                  Roland Ducournau},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {Link-time static analysis for efficient separate compilation of object-oriented
                  languages},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {20--27},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108799},
  doi          = {10.1145/1108792.1108799},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/PrivatD05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/PutSMBCSB05,
  author       = {Ludo Van Put and
                  Bjorn De Sutter and
                  Matias Madou and
                  Bruno De Bus and
                  Dominique Chanet and
                  Kristof Smits and
                  Koen De Bosschere},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {{LANCET:} a nifty code editing tool},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {75--81},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108812},
  doi          = {10.1145/1108792.1108812},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/PutSMBCSB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/RountevVR05,
  author       = {Atanas Rountev and
                  Olga Volgin and
                  Miriam Reddoch},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {Static control-flow analysis for reverse engineering of {UML} sequence
                  diagrams},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {96--102},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108816},
  doi          = {10.1145/1108792.1108816},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/RountevVR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/StroutMH05,
  author       = {Michelle Mills Strout and
                  John M. Mellor{-}Crummey and
                  Paul D. Hovland},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {Representation-independent program analysis},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {67--74},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108810},
  doi          = {10.1145/1108792.1108810},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/paste/StroutMH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/paste/TallamG05,
  author       = {Sriraman Tallam and
                  Neelam Gupta},
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {A concept analysis inspired greedy algorithm for test suite minimization},
  booktitle    = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  pages        = {35--42},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1108792.1108802},
  doi          = {10.1145/1108792.1108802},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/paste/TallamG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/paste/2005,
  editor       = {Michael D. Ernst and
                  Thomas P. Jensen},
  title        = {Proceedings of the 2005 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
                  Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal,
                  September 5-6, 2005},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {http://dl.acm.org/citation.cfm?id=1108792},
  isbn         = {1-59593-239-9},
  timestamp    = {Tue, 22 May 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/paste/2005.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.