default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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, 09 Jul 2024 01:00:00 +0200},
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}
}
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.
retrieved on 2025-01-05 08:42 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
