Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/issta/BellOW06,
  author       = {Robert M. Bell and
                  Thomas J. Ostrand and
                  Elaine J. Weyuker},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Looking for bugs in all the right places},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {61--72},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146246},
  doi          = {10.1145/1146238.1146246},
  timestamp    = {Sun, 02 Oct 2022 16:10:12 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/BellOW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BoshernitsanDS06,
  author       = {Marat Boshernitsan and
                  Roong{-}Ko Doong and
                  Alberto Savoia},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {From daikon to agitator: lessons and challenges in building a commercial
                  tool for developer testing},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {169--180},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146258},
  doi          = {10.1145/1146238.1146258},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/BoshernitsanDS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CentonzeNFP06,
  author       = {Paolina Centonze and
                  Gleb Naumovich and
                  Stephen J. Fink and
                  Marco Pistoia},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Role-Based access control consistency validation},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {121--132},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146253},
  doi          = {10.1145/1146238.1146253},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/CentonzeNFP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CobleighAC06,
  author       = {Jamieson M. Cobleigh and
                  George S. Avrunin and
                  Lori A. Clarke},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Breaking up is hard to do: an investigation of decomposition for assume-guarantee
                  reasoning},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {97--108},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146250},
  doi          = {10.1145/1146238.1146250},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/CobleighAC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CsallnerS06,
  author       = {Christoph Csallner and
                  Yannis Smaragdakis},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {DSD-Crasher: a hybrid analysis tool for bug finding},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {245--254},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146267},
  doi          = {10.1145/1146238.1146267},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/CsallnerS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DemskyEGMPR06,
  author       = {Brian Demsky and
                  Michael D. Ernst and
                  Philip J. Guo and
                  Stephen McCamant and
                  Jeff H. Perkins and
                  Martin C. Rinard},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Inference and enforcement of data structure consistency specifications},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {233--244},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146266},
  doi          = {10.1145/1146238.1146266},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/DemskyEGMPR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DennisCJ06,
  author       = {Greg Dennis and
                  Felix Sheng{-}Ho Chang and
                  Daniel Jackson},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Modular verification of code with {SAT}},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {109--120},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146251},
  doi          = {10.1145/1146238.1146251},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/DennisCJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/FinkYDRG06,
  author       = {Stephen J. Fink and
                  Eran Yahav and
                  Nurit Dor and
                  G. Ramalingam and
                  Emmanuel Geay},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Effective typestate verification in the presence of aliasing},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {133--144},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146254},
  doi          = {10.1145/1146238.1146254},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/FinkYDRG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GuoPME06,
  author       = {Philip J. Guo and
                  Jeff H. Perkins and
                  Stephen McCamant and
                  Michael D. Ernst},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Dynamic inference of abstract types},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {255--265},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146268},
  doi          = {10.1145/1146238.1146268},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/GuoPME06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Hamlet06,
  author       = {Dick Hamlet},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Subdomain testing of units and systems with state},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {85--96},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146249},
  doi          = {10.1145/1146238.1146249},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/Hamlet06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KiviluomaKM06,
  author       = {Kimmo Kiviluoma and
                  Johannes Koskinen and
                  Tommi Mikkonen},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Run-time monitoring of architecturally significant behaviors using
                  behavioral profiles and aspects},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {181--190},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146259},
  doi          = {10.1145/1146238.1146259},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/KiviluomaKM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LenceviciusM06,
  author       = {Raimondas Lencevicius and
                  Edu Metz},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Performance assertions for mobile devices},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {225--232},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146264},
  doi          = {10.1145/1146238.1146264},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/LenceviciusM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/McMinnHBT06,
  author       = {Phil McMinn and
                  Mark Harman and
                  David W. Binkley and
                  Paolo Tonella},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {The species per path approach to SearchBased test data generation},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {13--24},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146241},
  doi          = {10.1145/1146238.1146241},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/McMinnHBT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/RuthruffER06,
  author       = {Joseph R. Ruthruff and
                  Sebastian G. Elbaum and
                  Gregg Rothermel},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Experimental program analysis: a new program analysis paradigm},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {49--60},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146245},
  doi          = {10.1145/1146238.1146245},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/RuthruffER06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SevcikovaBSB06,
  author       = {Hana Sevcikova and
                  Alan Borning and
                  David Socha and
                  Wolf{-}Gideon Bleek},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Automated testing of stochastic systems: a statistically grounded
                  approach},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {215--224},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146263},
  doi          = {10.1145/1146238.1146263},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/SevcikovaBSB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SiegelMAC06,
  author       = {Stephen F. Siegel and
                  Anastasia Mironova and
                  George S. Avrunin and
                  Lori A. Clarke},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Using model checking with symbolic execution to verify parallel numerical
                  programs},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {157--168},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146256},
  doi          = {10.1145/1146238.1146256},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/SiegelMAC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TkachukR06,
  author       = {Oksana Tkachuk and
                  Sreeranga P. Rajan},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Application of automated environment generation to commercial software},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {203--214},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146262},
  doi          = {10.1145/1146238.1146262},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/TkachukR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/VisserPP06,
  author       = {Willem Visser and
                  Corina S. Pasareanu and
                  Radek Pel{\'{a}}nek},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Test input generation for java containers using state matching},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {37--48},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146243},
  doi          = {10.1145/1146238.1146243},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/VisserPP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Wagner06,
  author       = {Stefan Wagner},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {A model and sensitivity analysis of the quality economics of defect-detection
                  techniques},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {73--84},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146247},
  doi          = {10.1145/1146238.1146247},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/Wagner06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WalcottSKR06,
  author       = {Kristen R. Walcott and
                  Mary Lou Soffa and
                  Gregory M. Kapfhammer and
                  Robert S. Roos},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {TimeAware test suite prioritization},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146240},
  doi          = {10.1145/1146238.1146240},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/WalcottSKR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WhalenRHM06,
  author       = {Michael W. Whalen and
                  Ajitha Rajan and
                  Mats Per Erik Heimdahl and
                  Steven P. Miller},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Coverage metrics for requirements-based testing},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {25--36},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146242},
  doi          = {10.1145/1146238.1146242},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/WhalenRHM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YorshBS06,
  author       = {Greta Yorsh and
                  Thomas Ball and
                  Mooly Sagiv},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Testing, abstraction, theorem proving: better together!},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {145--156},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146255},
  doi          = {10.1145/1146238.1146255},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/YorshBS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangKPWJMZ06,
  author       = {Xiaolan Zhang and
                  Larry Koved and
                  Marco Pistoia and
                  Sam Weber and
                  Trent Jaeger and
                  Guillaume Marceau and
                  Liangzhao Zeng},
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {The case for analysis preserving language transformation},
  booktitle    = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  pages        = {191--202},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238.1146260},
  doi          = {10.1145/1146238.1146260},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/ZhangKPWJMZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2006,
  editor       = {Lori L. Pollock and
                  Mauro Pezz{\`{e}}},
  title        = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
                  Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
                  2006},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1146238},
  doi          = {10.1145/1146238},
  isbn         = {1-59593-263-1},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics