Search dblp for Publications

export results for "toc:db/conf/sigsoft/fse2004.bht:"

 download as .bib file

@inproceedings{DBLP:conf/sigsoft/CabalT04,
  author       = {Mar{\'{\i}}a Jos{\'{e}} Su{\'{a}}rez Cabal and
                  Javier Tuya},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Using an {SQL} coverage measurement for testing database applications},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {253--262},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029929},
  doi          = {10.1145/1029894.1029929},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/CabalT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Capra04,
  author       = {Licia Capra},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Engineering human trust in mobile system collaborations},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {107--116},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029912},
  doi          = {10.1145/1029894.1029912},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Capra04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ChakiGS04,
  author       = {Sagar Chaki and
                  Alex Groce and
                  Ofer Strichman},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Explaining abstract counterexamples},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {73--82},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029908},
  doi          = {10.1145/1029894.1029908},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/ChakiGS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DingelL04,
  author       = {J{\"{u}}rgen Dingel and
                  Hongzhi Liang},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Automating comprehensive safety analysis of concurrent programs using
                  verisoft and {TXL}},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {13--22},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029900},
  doi          = {10.1145/1029894.1029900},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/DingelL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/EdwardsJT04,
  author       = {Jonathan Edwards and
                  Daniel Jackson and
                  Emina Torlak},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {A type system for object models},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {189--199},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029921},
  doi          = {10.1145/1029894.1029921},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/EdwardsJT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Egyed04,
  author       = {Alexander Egyed},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Resolving uncertainties during trace analysis},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {3--12},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029899},
  doi          = {10.1145/1029894.1029899},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Egyed04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GieseBSO04,
  author       = {Holger Giese and
                  Sven Burmester and
                  Wilhelm Sch{\"{a}}fer and
                  Oliver Oberschelp},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Modular design and verification of component-based mechatronic systems
                  with online-reconfiguration},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {179--188},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029920},
  doi          = {10.1145/1029894.1029920},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/GieseBSO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KremenekAYE04,
  author       = {Ted Kremenek and
                  Ken Ashcraft and
                  Junfeng Yang and
                  Dawson R. Engler},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Correlation exploitation in error ranking},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {83--93},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029909},
  doi          = {10.1145/1029894.1029909},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/KremenekAYE04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KrishnamurthiFG04,
  author       = {Shriram Krishnamurthi and
                  Kathi Fisler and
                  Michael Greenberg},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Verifying aspect advice modularly},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {137--146},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029916},
  doi          = {10.1145/1029894.1029916},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/KrishnamurthiFG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LetierL04,
  author       = {Emmanuel Letier and
                  Axel van Lamsweerde},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Reasoning about partial goal satisfaction for requirements and design
                  engineering},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {53--62},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029905},
  doi          = {10.1145/1029894.1029905},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/LetierL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LevesonW04,
  author       = {Nancy G. Leveson and
                  Kathryn Anne Weiss},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Making embedded software reuse practical and safe},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {171--178},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029897},
  doi          = {10.1145/1029894.1029897},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/LevesonW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LiSHRS04,
  author       = {Paul Luo Li and
                  Mary Shaw and
                  James D. Herbsleb and
                  Bonnie K. Ray and
                  Peter Santhanam},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Empirical evaluation of defect projection models for widely-deployed
                  production software systems},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {263--272},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029930},
  doi          = {10.1145/1029894.1029930},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/LiSHRS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ManevichSA04,
  author       = {Roman Manevich and
                  Manu Sridharan and
                  Stephen Adams and
                  Manuvir Das and
                  Zhe Yang},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {{PSE:} explaining program failures via postmortem static analysis},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {63--72},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029907},
  doi          = {10.1145/1029894.1029907},
  timestamp    = {Wed, 03 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/ManevichSA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Marks04,
  author       = {Joe Marks},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {The usability problem for home appliances: engineers caused it, engineers
                  can fix it!},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {95},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029896},
  doi          = {10.1145/1029894.1029896},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Marks04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MeziniO04,
  author       = {Mira Mezini and
                  Klaus Ostermann},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Variability management with feature-oriented programming and aspects},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {127--136},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029915},
  doi          = {10.1145/1029894.1029915},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/MeziniO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/OrsoSH04,
  author       = {Alessandro Orso and
                  Nanjuan Shi and
                  Mary Jean Harrold},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Scaling regression testing to large software systems},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {241--251},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029928},
  doi          = {10.1145/1029894.1029928},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/OrsoSH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PanWZXY04,
  author       = {Ying Pan and
                  Lei Wang and
                  Lu Zhang and
                  Bing Xie and
                  Fuqing Yang},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Relevancy based semantic interoperation of reuse repositories},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {211--220},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029924},
  doi          = {10.1145/1029894.1029924},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/PanWZXY04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PerkinsE04,
  author       = {Jeff H. Perkins and
                  Michael D. Ernst},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Efficient incremental algorithms for dynamic detection of likely invariants},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {23--32},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029901},
  doi          = {10.1145/1029894.1029901},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/PerkinsE04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/RinardSB04,
  author       = {Martin C. Rinard and
                  Alexandru Salcianu and
                  Suhabe Bugrara},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {A classification system and analysis for aspect-oriented programs},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {147--158},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029917},
  doi          = {10.1145/1029894.1029917},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/RinardSB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SouzaRCMP04,
  author       = {Cleidson R. B. de Souza and
                  David F. Redmiles and
                  Li{-}Te Cheng and
                  David R. Millen and
                  John F. Patterson},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {How a good software practice thwarts collaboration: the multiple roles
                  of APIs in software development},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {221--230},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029925},
  doi          = {10.1145/1029894.1029925},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/SouzaRCMP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/TanACZL04,
  author       = {Jianbin Tan and
                  George S. Avrunin and
                  Lori A. Clarke and
                  Shlomo Zilberstein and
                  Stefan Leue},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Heuristic-guided counterexample search in {FLAVERS}},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {201--210},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029922},
  doi          = {10.1145/1029894.1029922},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/TanACZL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/UchitelC04,
  author       = {Sebasti{\'{a}}n Uchitel and
                  Marsha Chechik},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Merging partial behavioural models},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {43--52},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029904},
  doi          = {10.1145/1029894.1029904},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/UchitelC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/UchitelCKM04,
  author       = {Sebasti{\'{a}}n Uchitel and
                  Robert Chatley and
                  Jeff Kramer and
                  Jeff Magee},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {System architecture: the context for scenario-based model synthesis},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {33--42},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029903},
  doi          = {10.1145/1029894.1029903},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/UchitelCKM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WalkerV04,
  author       = {Robert J. Walker and
                  Kevin Viggers},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Implementing protocols via declarative event patterns},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {159--169},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029918},
  doi          = {10.1145/1029894.1029918},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/WalkerV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Wolf04,
  author       = {Alexander L. Wolf},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Is security engineering really just good software engineering?},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {1},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029895},
  doi          = {10.1145/1029894.1029895},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/Wolf04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/XuDS04,
  author       = {Wei Xu and
                  Daniel C. DuVarney and
                  R. Sekar},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {An efficient and backwards-compatible transformation to ensure memory
                  safety of {C} programs},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {117--126},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029913},
  doi          = {10.1145/1029894.1029913},
  timestamp    = {Thu, 19 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/XuDS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhangYF04,
  author       = {Xiaofang Zhang and
                  Michal Young and
                  John Howard Eli Fiskio{-}Lasseter},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Refining code-design mapping with flow analysis},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {231--240},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029926},
  doi          = {10.1145/1029894.1029926},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/ZhangYF04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZitserLL04,
  author       = {Misha Zitser and
                  Richard Lippmann and
                  Tim Leek},
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Testing static analysis tools using exploitable buffer overflows from
                  open source code},
  booktitle    = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  pages        = {97--106},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894.1029911},
  doi          = {10.1145/1029894.1029911},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/ZitserLL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2004,
  editor       = {Richard N. Taylor and
                  Matthew B. Dwyer},
  title        = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
                  October 31 - November 6, 2004},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1029894},
  doi          = {10.1145/1029894},
  isbn         = {1-58113-855-5},
  timestamp    = {Tue, 01 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics