Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alex Groce
@article{DBLP:journals/sigsoft/Groce24,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {49},
number = {1},
pages = {10},
year = {2024},
url = {https://doi.org/10.1145/3635439.3635441},
doi = {10.1145/3635439.3635441},
timestamp = {Fri, 19 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce23,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {48},
number = {1},
pages = {6},
year = {2023},
url = {https://doi.org/10.1145/3573074.3573076},
doi = {10.1145/3573074.3573076},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce23a,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {48},
number = {2},
pages = {9},
year = {2023},
url = {https://doi.org/10.1145/3587062.3587064},
doi = {10.1145/3587062.3587064},
timestamp = {Mon, 24 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce23b,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {48},
number = {3},
pages = {8},
year = {2023},
url = {https://doi.org/10.1145/3599975.3599977},
doi = {10.1145/3599975.3599977},
timestamp = {Tue, 08 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce23b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce23c,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {48},
number = {4},
pages = {13},
year = {2023},
url = {https://doi.org/10.1145/3617946.3617948},
doi = {10.1145/3617946.3617948},
timestamp = {Mon, 13 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce23c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/JainKGG23,
author = {Kush Jain and
Goutamkumar Tulajappa Kalburgi and
Claire Le Goues and
Alex Groce},
title = {Mind the Gap: The Difference Between Coverage and Mutation Score Can
Guide Testing Efforts},
booktitle = {34th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2023, Florence, Italy, October 9-12, 2023},
pages = {102--113},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISSRE59848.2023.00036},
doi = {10.1109/ISSRE59848.2023.00036},
timestamp = {Tue, 14 Nov 2023 16:09:47 +0100},
biburl = {https://dblp.org/rec/conf/issre/JainKGG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Jain0GG23,
author = {Kush Jain and
Uri Alon and
Alex Groce and
Claire Le Goues},
editor = {Satish Chandra and
Kelly Blincoe and
Paolo Tonella},
title = {Contextual Predictive Mutation Testing},
booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023},
pages = {250--261},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3611643.3616289},
doi = {10.1145/3611643.3616289},
timestamp = {Mon, 04 Dec 2023 11:02:39 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Jain0GG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-02389,
author = {Kush Jain and
Uri Alon and
Alex Groce and
Claire Le Goues},
title = {Contextual Predictive Mutation Testing},
journal = {CoRR},
volume = {abs/2309.02389},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.02389},
doi = {10.48550/ARXIV.2309.02389},
eprinttype = {arXiv},
eprint = {2309.02389},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-02389.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-02395,
author = {Kush Jain and
Goutamkumar Tulajappa Kalburgi and
Claire Le Goues and
Alex Groce},
title = {Mind the Gap: The Difference Between Coverage and Mutation Score Can
Guide Testing Efforts},
journal = {CoRR},
volume = {abs/2309.02395},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.02395},
doi = {10.48550/ARXIV.2309.02395},
eprinttype = {arXiv},
eprint = {2309.02395},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-02395.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce22,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {47},
number = {1},
pages = {4},
year = {2022},
url = {https://doi.org/10.1145/3502771.3502772},
doi = {10.1145/3502771.3502772},
timestamp = {Fri, 25 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce22a,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {47},
number = {2},
pages = {3},
year = {2022},
url = {https://doi.org/10.1145/3520273.3520274},
doi = {10.1145/3520273.3520274},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce22b,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {47},
number = {3},
pages = {4},
year = {2022},
url = {https://doi.org/10.1145/3539814.3539815},
doi = {10.1145/3539814.3539815},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce22b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce22c,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {47},
number = {4},
pages = {8},
year = {2022},
url = {https://doi.org/10.1145/3561846.3561849},
doi = {10.1145/3561846.3561849},
timestamp = {Tue, 11 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce22c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/GroceTKG22,
author = {Alex Groce and
Rijnard van Tonder and
Goutamkumar Tulajappa Kalburgi and
Claire Le Goues},
editor = {Bernhard Egger and
Aaron Smith},
title = {Making no-fuss compiler fuzzing effective},
booktitle = {{CC} '22: 31st {ACM} {SIGPLAN} International Conference on Compiler
Construction, Seoul, South Korea, April 2 - 3, 2022},
pages = {194--204},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3497776.3517765},
doi = {10.1145/3497776.3517765},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/GroceTKG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GroceJTKG22,
author = {Alex Groce and
Kush Jain and
Rijnard van Tonder and
Goutamkumar Tulajappa Kalburgi and
Claire Le Goues},
title = {Looking for Lacunae in Bitcoin Core's Fuzzing Efforts},
booktitle = {44th {IEEE/ACM} International Conference on Software Engineering:
Software Engineering in Practice, {ICSE} {(SEIP)} 2022, Pittsburgh,
PA, USA, May 22-24, 2022},
pages = {185--186},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSE-SEIP55303.2022.9794086},
doi = {10.1109/ICSE-SEIP55303.2022.9794086},
timestamp = {Tue, 28 Jun 2022 16:23:39 +0200},
biburl = {https://dblp.org/rec/conf/icse/GroceJTKG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-11303,
author = {Rahul Gopinath and
Philipp G{\"{o}}rz and
Alex Groce},
title = {Mutation Analysis: Answering the Fuzzing Challenge},
journal = {CoRR},
volume = {abs/2201.11303},
year = {2022},
url = {https://arxiv.org/abs/2201.11303},
eprinttype = {arXiv},
eprint = {2201.11303},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-11303.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce21,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {46},
number = {1},
pages = {9--12},
year = {2021},
url = {https://doi.org/10.1145/3437479.3437481},
doi = {10.1145/3437479.3437481},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce21a,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {46},
number = {2},
pages = {10},
year = {2021},
url = {https://doi.org/10.1145/3448992.3448993},
doi = {10.1145/3448992.3448993},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce21b,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {46},
number = {3},
pages = {7},
year = {2021},
url = {https://doi.org/10.1145/3468744.3468745},
doi = {10.1145/3468744.3468745},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce21b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce21c,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {46},
number = {4},
pages = {7},
year = {2021},
url = {https://doi.org/10.1145/3485952.3485953},
doi = {10.1145/3485952.3485953},
timestamp = {Mon, 15 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce21c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/KollaGH21,
author = {Akhila Chowdary Kolla and
Alex Groce and
Toby Dylan Hocking},
editor = {Zhi Jin and
Xuandong Li and
Jianwen Xiang and
Leonardo Mariani and
Ting Liu and
Xiao Yu and
Nahgmeh Ivaki},
title = {Fuzz Testing the Compiled Code in {R} Packages},
booktitle = {32nd {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2021, Wuhan, China, October 25-28, 2021},
pages = {300--308},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISSRE52982.2021.00040},
doi = {10.1109/ISSRE52982.2021.00040},
timestamp = {Mon, 14 Feb 2022 17:45:41 +0100},
biburl = {https://dblp.org/rec/conf/issre/KollaGH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GroceG21,
author = {Alex Groce and
Gustavo Grieco},
editor = {Cristian Cadar and
Xiangyu Zhang},
title = {echidna-parade: a tool for diverse multicore smart contract fuzzing},
booktitle = {{ISSTA} '21: 30th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021},
pages = {658--661},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460319.3469076},
doi = {10.1145/3460319.3469076},
timestamp = {Mon, 19 Jul 2021 16:18:51 +0200},
biburl = {https://dblp.org/rec/conf/issta/GroceG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/0001K0GGC21,
author = {Jaeseung Choi and
Doyeon Kim and
Soomin Kim and
Gustavo Grieco and
Alex Groce and
Sang Kil Cha},
title = {{SMARTIAN:} Enhancing Smart Contract Fuzzing with Static and Dynamic
Data-Flow Analyses},
booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2021, Melbourne, Australia, November 15-19, 2021},
pages = {227--239},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ASE51524.2021.9678888},
doi = {10.1109/ASE51524.2021.9678888},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/0001K0GGC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Groce21,
author = {Alex Groce},
editor = {Wolfgang De Meuter and
Elisa L. A. Baniassad},
title = {Let a thousand flowers bloom: on the uses of diversity in software
testing},
booktitle = {Onward! 2021: Proceedings of the 2021 {ACM} {SIGPLAN} International
Symposium on New Ideas, New Paradigms, and Reflections on Programming
and Software, Virtual Event / Chicago, IL, USA, October 20-22, 2021},
pages = {136--144},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3486607.3486772},
doi = {10.1145/3486607.3486772},
timestamp = {Thu, 04 Nov 2021 16:14:49 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/Groce21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/GroceAFGGMC21,
author = {Alex Groce and
Iftekhar Ahmed and
Josselin Feist and
Gustavo Grieco and
Jiri Gesi and
Mehran Meidani and
Qihong Chen},
title = {Evaluating and Improving Static Analysis Tools Via Differential Mutation
Analysis},
booktitle = {21st {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2021, Hainan, China, December 6-10, 2021},
pages = {207--218},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/QRS54544.2021.00032},
doi = {10.1109/QRS54544.2021.00032},
timestamp = {Wed, 16 Mar 2022 22:32:21 +0100},
biburl = {https://dblp.org/rec/conf/qrs/GroceAFGGMC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-07006,
author = {Josie Holmes and
Iftekhar Ahmed and
Caius Brindescu and
Rahul Gopinath and
He Zhang and
Alex Groce},
title = {Using Relative Lines of Code to Guide Automated Test Generation for
Python},
journal = {CoRR},
volume = {abs/2103.07006},
year = {2021},
url = {https://arxiv.org/abs/2103.07006},
eprinttype = {arXiv},
eprint = {2103.07006},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-07006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce20,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {45},
number = {1},
pages = {4--5},
year = {2020},
url = {https://doi.org/10.1145/3375572.3375573},
doi = {10.1145/3375572.3375573},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce20a,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {45},
number = {2},
pages = {3--4},
year = {2020},
url = {https://doi.org/10.1145/3385678.3385679},
doi = {10.1145/3385678.3385679},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce20b,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {45},
number = {3},
pages = {4--5},
year = {2020},
url = {https://doi.org/10.1145/3402127.3402129},
doi = {10.1145/3402127.3402129},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce20b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce20c,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {45},
number = {4},
pages = {8--10},
year = {2020},
url = {https://doi.org/10.1145/3417564.3417565},
doi = {10.1145/3417564.3417565},
timestamp = {Mon, 02 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce20c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/HolmesG20,
author = {Josie Holmes and
Alex Groce},
title = {Using mutants to help developers distinguish and debug (compiler)
faults},
journal = {Softw. Test. Verification Reliab.},
volume = {30},
number = {2},
year = {2020},
url = {https://doi.org/10.1002/stvr.1727},
doi = {10.1002/STVR.1727},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/HolmesG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/Holmes0BGZG20,
author = {Josie Holmes and
Iftekhar Ahmed and
Caius Brindescu and
Rahul Gopinath and
He Zhang and
Alex Groce},
title = {Using Relative Lines of Code to Guide Automated Test Generation for
Python},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {29},
number = {4},
pages = {28:1--28:38},
year = {2020},
url = {https://doi.org/10.1145/3408896},
doi = {10.1145/3408896},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/Holmes0BGZG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fc/GroceFGC20,
author = {Alex Groce and
Josselin Feist and
Gustavo Grieco and
Michael Colburn},
editor = {Joseph Bonneau and
Nadia Heninger},
title = {What are the Actual Flaws in Important Smart Contracts (And How Can
We Find Them)?},
booktitle = {Financial Cryptography and Data Security - 24th International Conference,
{FC} 2020, Kota Kinabalu, Malaysia, February 10-14, 2020 Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {12059},
pages = {634--653},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51280-4\_34},
doi = {10.1007/978-3-030-51280-4\_34},
timestamp = {Wed, 22 Jul 2020 12:13:31 +0200},
biburl = {https://dblp.org/rec/conf/fc/GroceFGC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GriecoSCFG20,
author = {Gustavo Grieco and
Will Song and
Artur Cygan and
Josselin Feist and
Alex Groce},
editor = {Sarfraz Khurshid and
Corina S. Pasareanu},
title = {Echidna: effective, usable, and fast fuzzing for smart contracts},
booktitle = {{ISSTA} '20: 29th {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, USA, July 18-22, 2020},
pages = {557--560},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3395363.3404366},
doi = {10.1145/3395363.3404366},
timestamp = {Wed, 15 Jul 2020 15:59:31 +0200},
biburl = {https://dblp.org/rec/conf/issta/GriecoSCFG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/GroceH20,
author = {Alex Groce and
Josie Holmes},
title = {Practical Automatic Lightweight Nondeterminism and Flaky Test Detection
and Debugging for Python},
booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2020, Macau, China, December 11-14, 2020},
pages = {188--195},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QRS51102.2020.00035},
doi = {10.1109/QRS51102.2020.00035},
timestamp = {Mon, 08 Feb 2021 12:13:14 +0100},
biburl = {https://dblp.org/rec/conf/qrs/GroceH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/GavrilovDGZH20,
author = {Miroslav Gavrilov and
Kyle Dewey and
Alex Groce and
Davina Zamanzadeh and
Ben Hardekopf},
title = {A Practical, Principled Measure of Fuzzer Appeal: {A} Preliminary
Study},
booktitle = {20th {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2020, Macau, China, December 11-14, 2020},
pages = {510--517},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/QRS51102.2020.00071},
doi = {10.1109/QRS51102.2020.00071},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qrs/GavrilovDGZH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce19,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {44},
number = {1},
pages = {7},
year = {2019},
url = {https://doi.org/10.1145/3310013.3310015},
doi = {10.1145/3310013.3310015},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce19a,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {44},
number = {2},
pages = {3--4},
year = {2019},
url = {https://doi.org/10.1145/3325642.3325644},
doi = {10.1145/3325642.3325644},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce19b,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {44},
number = {3},
pages = {10--11},
year = {2019},
url = {https://doi.org/10.1145/3356773.3356775},
doi = {10.1145/3356773.3356775},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce19b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FeistGG19,
author = {Josselin Feist and
Gustavo Grieco and
Alex Groce},
title = {Slither: a static analysis framework for smart contracts},
booktitle = {Proceedings of the 2nd International Workshop on Emerging Trends in
Software Engineering for Blockchain, WETSEB@ICSE 2019, Montreal, QC,
Canada, May 27, 2019},
pages = {8--15},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/WETSEB.2019.00008},
doi = {10.1109/WETSEB.2019.00008},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/FeistGG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ChristiGW19,
author = {Arpit Christi and
Alex Groce and
Austin Wellman},
editor = {Katinka Wolter and
Ina Schieferdecker and
Barbara Gallina and
Michel Cukier and
Roberto Natella and
Naghmeh Ramezani Ivaki and
Nuno Laranjeiro},
title = {Building Resource Adaptations via Test-Based Software Minimization:
Application, Challenges, and Opportunities},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops 2019, Berlin, Germany, October 27-30,
2019},
pages = {73--78},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISSREW.2019.00046},
doi = {10.1109/ISSREW.2019.00046},
timestamp = {Mon, 28 Dec 2020 11:31:03 +0100},
biburl = {https://dblp.org/rec/conf/issre/ChristiGW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/MossbergMHGGFBD19,
author = {Mark Mossberg and
Felipe Manzano and
Eric Hennenfent and
Alex Groce and
Gustavo Grieco and
Josselin Feist and
Trent Brunson and
Artem Dinaburg},
title = {Manticore: {A} User-Friendly Symbolic Execution Framework for Binaries
and Smart Contracts},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {1186--1189},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00133},
doi = {10.1109/ASE.2019.00133},
timestamp = {Sun, 19 Jan 2020 15:18:02 +0100},
biburl = {https://dblp.org/rec/conf/kbse/MossbergMHGGFBD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/ChristiGG19,
author = {Arpit Christi and
Alex Groce and
Rahul Gopinath},
title = {Evaluating Fault Localization for Resource Adaptation via Test-Based
Software Modification},
booktitle = {19th {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2019, Sofia, Bulgaria, July 22-26, 2019},
pages = {26--33},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/QRS.2019.00017},
doi = {10.1109/QRS.2019.00017},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/ChristiGG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-03890,
author = {Mark Mossberg and
Felipe Manzano and
Eric Hennenfent and
Alex Groce and
Gustavo Grieco and
Josselin Feist and
Trent Brunson and
Artem Dinaburg},
title = {Manticore: {A} User-Friendly Symbolic Execution Framework for Binaries
and Smart Contracts},
journal = {CoRR},
volume = {abs/1907.03890},
year = {2019},
url = {http://arxiv.org/abs/1907.03890},
eprinttype = {arXiv},
eprint = {1907.03890},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-03890.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-09878,
author = {Josselin Feist and
Gustavo Grieco and
Alex Groce},
title = {Slither: {A} Static Analysis Framework For Smart Contracts},
journal = {CoRR},
volume = {abs/1908.09878},
year = {2019},
url = {http://arxiv.org/abs/1908.09878},
eprinttype = {arXiv},
eprint = {1908.09878},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-09878.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-07567,
author = {Alex Groce and
Josselin Feist and
Gustavo Grieco and
Michael Colburn},
title = {What are the Actual Flaws in Important Smart Contracts (and How Can
We Find Them)?},
journal = {CoRR},
volume = {abs/1911.07567},
year = {2019},
url = {http://arxiv.org/abs/1911.07567},
eprinttype = {arXiv},
eprint = {1911.07567},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-07567.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/GroceAJMH18,
author = {Alex Groce and
Iftekhar Ahmed and
Carlos Jensen and
Paul E. McKenney and
Josie Holmes},
title = {How verified (or tested) is my code? Falsification-driven verification
and testing},
journal = {Autom. Softw. Eng.},
volume = {25},
number = {4},
pages = {917--960},
year = {2018},
url = {https://doi.org/10.1007/s10515-018-0240-y},
doi = {10.1007/S10515-018-0240-Y},
timestamp = {Thu, 18 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/GroceAJMH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce18,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {43},
number = {1},
pages = {1--2},
year = {2018},
url = {https://doi.org/10.1145/3178315.3178336},
doi = {10.1145/3178315.3178336},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce18a,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {43},
number = {2},
pages = {6--7},
year = {2018},
url = {https://doi.org/10.1145/3203094.3203101},
doi = {10.1145/3203094.3203101},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce18b,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {43},
number = {3},
pages = {5},
year = {2018},
url = {https://doi.org/10.1145/3229783.3229792},
doi = {10.1145/3229783.3229792},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce18b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce18c,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {43},
number = {4},
pages = {6--7},
year = {2018},
url = {https://doi.org/10.1145/3282517.3282524},
doi = {10.1145/3282517.3282524},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce18c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HolmesGPMAKO18,
author = {Josie Holmes and
Alex Groce and
Jervis Pinto and
Pranjal Mittal and
Pooria Azimi and
Kevin Kellar and
James O'Brien},
title = {{TSTL:} the template scripting testing language},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {1},
pages = {57--78},
year = {2018},
url = {https://doi.org/10.1007/s10009-016-0445-y},
doi = {10.1007/S10009-016-0445-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HolmesGPMAKO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GroceHMSZ18,
author = {Alex Groce and
Josie Holmes and
Darko Marinov and
August Shi and
Lingming Zhang},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {An extensible, regular-expression-based tool for multi-language mutant
generation},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {25--28},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3183485},
doi = {10.1145/3183440.3183485},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GroceHMSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/HolmesG18,
author = {Josie Holmes and
Alex Groce},
editor = {Sudipto Ghosh and
Roberto Natella and
Bojan Cukic and
Robin S. Poston and
Nuno Laranjeiro},
title = {Causal Distance-Metric-Based Assistance for Debugging after Compiler
Fuzzing},
booktitle = {29th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2018, Memphis, TN, USA, October 15-18, 2018},
pages = {166--177},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ISSRE.2018.00027},
doi = {10.1109/ISSRE.2018.00027},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/HolmesG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ChristiOAG18,
author = {Arpit Christi and
Matthew Lyle Olson and
Mohammad Amin Alipour and
Alex Groce},
editor = {Sudipto Ghosh and
Roberto Natella and
Bojan Cukic and
Robin S. Poston and
Nuno Laranjeiro},
title = {Reduce Before You Localize: Delta-Debugging and Spectrum-Based Fault
Localization},
booktitle = {2018 {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Memphis, TN, USA, October 15-18, 2018},
pages = {184--191},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ISSREW.2018.00005},
doi = {10.1109/ISSREW.2018.00005},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/ChristiOAG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/ChristiG18,
author = {Arpit Christi and
Alex Groce},
title = {Target Selection for Test-Based Resource Adaptation},
booktitle = {2018 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2018, Lisbon, Portugal, July 16-20, 2018},
pages = {458--469},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/QRS.2018.00059},
doi = {10.1109/QRS.2018.00059},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/ChristiG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secdev/GoodmanGG18,
author = {Peter Goodman and
Gustavo Grieco and
Alex Groce},
title = {Tutorial: DeepState: Bringing Vulnerability Detection Tools into the
Development Cycle},
booktitle = {2018 {IEEE} Cybersecurity Development, SecDev 2018, Cambridge, MA,
USA, September 30 - October 2, 2018},
pages = {130--131},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/SecDev.2018.00028},
doi = {10.1109/SECDEV.2018.00028},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/secdev/GoodmanGG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce17,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {42},
number = {2},
pages = {5--6},
year = {2017},
url = {https://doi.org/10.1145/3089649.3089652},
doi = {10.1145/3089649.3089652},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce17a,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {42},
number = {3},
pages = {9},
year = {2017},
url = {https://doi.org/10.1145/3127360.3127362},
doi = {10.1145/3127360.3127362},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce17b,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {42},
number = {4},
pages = {5--6},
year = {2017},
url = {https://doi.org/10.1145/3149485.3149489},
doi = {10.1145/3149485.3149489},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce17b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/GopinathAAJG17,
author = {Rahul Gopinath and
Iftekhar Ahmed and
Mohammad Amin Alipour and
Carlos Jensen and
Alex Groce},
title = {Does choice of mutation tool matter?},
journal = {Softw. Qual. J.},
volume = {25},
number = {3},
pages = {871--920},
year = {2017},
url = {https://doi.org/10.1007/s11219-016-9317-7},
doi = {10.1007/S11219-016-9317-7},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/GopinathAAJG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/GopinathAAJG17,
author = {Rahul Gopinath and
Iftekhar Ahmed and
Mohammad Amin Alipour and
Carlos Jensen and
Alex Groce},
title = {Mutation Reduction Strategies Considered Harmful},
journal = {{IEEE} Trans. Reliab.},
volume = {66},
number = {3},
pages = {854--874},
year = {2017},
url = {https://doi.org/10.1109/TR.2017.2705662},
doi = {10.1109/TR.2017.2705662},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tr/GopinathAAJG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GopinathJG17,
author = {Rahul Gopinath and
Carlos Jensen and
Alex Groce},
title = {The Theory of Composite Faults},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {47--57},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.12},
doi = {10.1109/ICST.2017.12},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/GopinathJG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AhmedJGM17,
author = {Iftekhar Ahmed and
Carlos Jensen and
Alex Groce and
Paul E. McKenney},
title = {Applying Mutation Analysis on Kernel Test Suites: An Experience Report},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
13-17, 2017},
pages = {110--115},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSTW.2017.26},
doi = {10.1109/ICSTW.2017.26},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icst/AhmedJGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GroceHK17,
author = {Alex Groce and
Josie Holmes and
Kevin Kellar},
editor = {Tevfik Bultan and
Koushik Sen},
title = {One test to rule them all},
booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
2017},
pages = {1--11},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092703.3092704},
doi = {10.1145/3092703.3092704},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/GroceHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HolmesG17,
author = {Josie Holmes and
Alex Groce},
editor = {Tevfik Bultan and
Koushik Sen},
title = {A suite of tools for making effective use of automatically generated
tests},
booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
2017},
pages = {356--359},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092703.3098220},
doi = {10.1145/3092703.3098220},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/HolmesG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/ChristiGG17,
author = {Arpit Christi and
Alex Groce and
Rahul Gopinath},
title = {Resource Adaptation via Test-Based Software Minimization},
booktitle = {11th {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2017, Tucson, AZ, USA, September 18-22, 2017},
pages = {61--70},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SASO.2017.15},
doi = {10.1109/SASO.2017.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/ChristiGG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1710-02770,
editor = {Alex Groce and
Stefan Leue},
title = {Proceedings 2nd International Workshop on Causal Reasoning for Embedded
and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala,
Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {259},
year = {2017},
url = {http://arxiv.org/abs/1710.02770},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-02770.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-01661,
author = {Alex Groce and
Josie Holmes},
title = {Provenance and Pseudo-Provenance for Seeded Learning-Based Automated
Test Generation},
journal = {CoRR},
volume = {abs/1711.01661},
year = {2017},
url = {http://arxiv.org/abs/1711.01661},
eprinttype = {arXiv},
eprint = {1711.01661},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-01661.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce16,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {41},
number = {1},
pages = {5},
year = {2016},
url = {https://doi.org/10.1145/2853073.2853074},
doi = {10.1145/2853073.2853074},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce16a,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {41},
number = {2},
pages = {5},
year = {2016},
url = {https://doi.org/10.1145/2894784.2894788},
doi = {10.1145/2894784.2894788},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce16b,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {41},
number = {3},
pages = {4--5},
year = {2016},
url = {https://doi.org/10.1145/2934240.2934241},
doi = {10.1145/2934240.2934241},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce16c,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {41},
number = {4},
pages = {6--7},
year = {2016},
url = {https://doi.org/10.1145/2967307.2967312},
doi = {10.1145/2967307.2967312},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce16c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce16d,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {41},
number = {5},
pages = {6--5},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2994211},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce16d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce16e,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {41},
number = {6},
pages = {5--6},
year = {2016},
url = {https://doi.org/10.1145/3011286.3011289},
doi = {10.1145/3011286.3011289},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce16e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/GroceAZCR16,
author = {Alex Groce and
Mohammad Amin Alipour and
Chaoqiang Zhang and
Yang Chen and
John Regehr},
title = {Cause reduction: delta debugging, even without bugs},
journal = {Softw. Test. Verification Reliab.},
volume = {26},
number = {1},
pages = {40--68},
year = {2016},
url = {https://doi.org/10.1002/stvr.1574},
doi = {10.1002/STVR.1574},
timestamp = {Mon, 02 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/GroceAZCR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GopinathAAJG16,
author = {Rahul Gopinath and
Mohammad Amin Alipour and
Iftekhar Ahmed and
Carlos Jensen and
Alex Groce},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {On the limits of mutation reduction strategies},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {511--522},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884787},
doi = {10.1145/2884781.2884787},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GopinathAAJG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GopinathJG16,
author = {Rahul Gopinath and
Carlos Jensen and
Alex Groce},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Topsy-Turvy: a smarter and faster parallelization of mutation analysis},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
pages = {740--743},
publisher = {{ACM}},
year = {2016},
url = {https://dl.acm.org/citation.cfm?id=2892655},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GopinathJG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GopinathAAJG16,
author = {Rahul Gopinath and
Amin Alipour and
Iftekhar Ahmed and
Carlos Jensen and
Alex Groce},
title = {Measuring Effectiveness of Mutant Sets},
booktitle = {Ninth {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA,
April 11-15, 2016},
pages = {132--141},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICSTW.2016.45},
doi = {10.1109/ICSTW.2016.45},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/GopinathAAJG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AlipourGGC16,
author = {Mohammad Amin Alipour and
Alex Groce and
Rahul Gopinath and
Arpit Christi},
editor = {Andreas Zeller and
Abhik Roychoudhury},
title = {Generating focused random tests using directed swarm testing},
booktitle = {Proceedings of the 25th International Symposium on Software Testing
and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July
18-20, 2016},
pages = {70--81},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2931037.2931056},
doi = {10.1145/2931037.2931056},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/AlipourGGC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AlipourSGMG16,
author = {Mohammad Amin Alipour and
August Shi and
Rahul Gopinath and
Darko Marinov and
Alex Groce},
editor = {David Lo and
Sven Apel and
Sarfraz Khurshid},
title = {Evaluating non-adequate test-case reduction},
booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
pages = {16--26},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2970276.2970361},
doi = {10.1145/2970276.2970361},
timestamp = {Sat, 30 Sep 2023 09:51:40 +0200},
biburl = {https://dblp.org/rec/conf/kbse/AlipourSGMG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/HolmesGA16,
author = {Josie Holmes and
Alex Groce and
Mohammad Amin Alipour},
editor = {Tanja E. J. Vos and
Sigrid Eldh and
Wishnu Prasetya},
title = {Mitigating (and exploiting) test reduction slippage},
booktitle = {Proceedings of the 7th International Workshop on Automating Test Case
Design, Selection, and Evaluation, A-TEST@SIGSOFT {FSE} 2016, Seattle,
WA, USA, November 18, 2016},
pages = {66--69},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2994301},
timestamp = {Tue, 06 Nov 2018 16:59:22 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/HolmesGA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AhmedGBGJ16,
author = {Iftekhar Ahmed and
Rahul Gopinath and
Caius Brindescu and
Alex Groce and
Carlos Jensen},
editor = {Thomas Zimmermann and
Jane Cleland{-}Huang and
Zhendong Su},
title = {Can testedness be effectively measured?},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA,
November 13-18, 2016},
pages = {547--558},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2950290.2950324},
doi = {10.1145/2950290.2950324},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/AhmedGBGJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/AburasG16,
author = {Ali Aburas and
Alex Groce},
editor = {Federica Sarro and
Kalyanmoy Deb},
title = {A Method Dependence Relations Guided Genetic Algorithm},
booktitle = {Search Based Software Engineering - 8th International Symposium, {SSBSE}
2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9962},
pages = {267--273},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47106-8\_22},
doi = {10.1007/978-3-319-47106-8\_22},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/AburasG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlipourGZSC16,
author = {Mohammad Amin Alipour and
Alex Groce and
Chaoqiang Zhang and
Anahita Sanadaji and
Gokul Caushik},
title = {Finding Model-Checkable Needles in Large Source Code Haystacks: Modular
Bug-Finding via Static Analysis and Dynamic Invariant Discovery},
journal = {CoRR},
volume = {abs/1609.06382},
year = {2016},
url = {http://arxiv.org/abs/1609.06382},
eprinttype = {arXiv},
eprint = {1609.06382},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlipourGZSC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlipourG16,
author = {Mohammad Amin Alipour and
Alex Groce},
title = {Bounded Model Checking and Feature Omission Diversity},
journal = {CoRR},
volume = {abs/1610.08020},
year = {2016},
url = {http://arxiv.org/abs/1610.08020},
eprinttype = {arXiv},
eprint = {1610.08020},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlipourG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlipourG16a,
author = {Mohammad Amin Alipour and
Alex Groce},
title = {Data Poisoning: Lightweight Soft Fault Injection for Python},
journal = {CoRR},
volume = {abs/1611.01501},
year = {2016},
url = {http://arxiv.org/abs/1611.01501},
eprinttype = {arXiv},
eprint = {1611.01501},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlipourG16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce15,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {40},
number = {1},
pages = {8--9},
year = {2015},
url = {https://doi.org/10.1145/2693208.2693212},
doi = {10.1145/2693208.2693212},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce15a,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {40},
number = {2},
pages = {5--6},
year = {2015},
url = {https://doi.org/10.1145/2735399.2735403},
doi = {10.1145/2735399.2735403},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce15b,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {40},
number = {3},
pages = {4--5},
year = {2015},
url = {https://doi.org/10.1145/2757308.2757310},
doi = {10.1145/2757308.2757310},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/GligoricGZSAM15,
author = {Milos Gligoric and
Alex Groce and
Chaoqiang Zhang and
Rohan Sharma and
Mohammad Amin Alipour and
Darko Marinov},
title = {Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {24},
number = {4},
pages = {22:1--22:33},
year = {2015},
url = {https://doi.org/10.1145/2660767},
doi = {10.1145/2660767},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/GligoricGZSAM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/VelevZ0G15,
author = {Miroslav N. Velev and
Chaoqiang Zhang and
Ping Gao and
Alex David Groce},
title = {Exploiting abstraction, learning from random simulation, and {SVM}
classification for efficient dynamic prediction of software health
problems},
booktitle = {Sixteenth International Symposium on Quality Electronic Design, {ISQED}
2015, Santa Clara, CA, USA, March 2-4, 2015},
pages = {412--418},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ISQED.2015.7085461},
doi = {10.1109/ISQED.2015.7085461},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isqed/VelevZ0G15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GopinathAAJG15,
author = {Rahul Gopinath and
Amin Alipour and
Iftekhar Ahmed and
Carlos Jensen and
Alex Groce},
title = {How hard does mutation analysis have to be, anyway?},
booktitle = {26th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015},
pages = {216--227},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISSRE.2015.7381815},
doi = {10.1109/ISSRE.2015.7381815},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/GopinathAAJG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GrocePAM15,
author = {Alex Groce and
Jervis Pinto and
Pooria Azimi and
Pranjal Mittal},
editor = {Michal Young and
Tao Xie},
title = {{TSTL:} a language and tool for testing (demo)},
booktitle = {Proceedings of the 2015 International Symposium on Software Testing
and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
pages = {414--417},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771783.2784769},
doi = {10.1145/2771783.2784769},
timestamp = {Fri, 05 Nov 2021 10:54:23 +0100},
biburl = {https://dblp.org/rec/conf/issta/GrocePAM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GroceAJM15,
author = {Alex Groce and
Iftekhar Ahmed and
Carlos Jensen and
Paul E. McKenney},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {How Verified is My Code? Falsification-Driven Verification {(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {737--748},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.40},
doi = {10.1109/ASE.2015.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GroceAJM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GroceP15,
author = {Alex Groce and
Jervis Pinto},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {A Little Language for Testing},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {204--218},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_15},
doi = {10.1007/978-3-319-17524-9\_15},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/GroceP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/GroceHHJX14,
author = {Alex Groce and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi and
Ru{-}Gang Xu},
title = {Establishing flight software reliability: testing, model checking,
constraint-solving, monitoring and learning},
journal = {Ann. Math. Artif. Intell.},
volume = {70},
number = {4},
pages = {315--349},
year = {2014},
url = {https://doi.org/10.1007/s10472-014-9408-8},
doi = {10.1007/S10472-014-9408-8},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/GroceHHJX14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce14,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {39},
number = {1},
pages = {6--7},
year = {2014},
url = {https://doi.org/10.1145/2557833.2557840},
doi = {10.1145/2557833.2557840},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce14a,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {39},
number = {2},
pages = {4--5},
year = {2014},
url = {https://doi.org/10.1145/2579281.2579284},
doi = {10.1145/2579281.2579284},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce14b,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {39},
number = {3},
pages = {6--7},
year = {2014},
url = {https://doi.org/10.1145/2597716.2597737},
doi = {10.1145/2597716.2597737},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce14c,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {39},
number = {4},
pages = {8--9},
year = {2014},
url = {https://doi.org/10.1145/2632434.2632456},
doi = {10.1145/2632434.2632456},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce14c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce14d,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {39},
number = {5},
pages = {1:5},
year = {2014},
url = {https://doi.org/10.1145/2659118.2659124},
doi = {10.1145/2659118.2659124},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce14d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce14e,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {39},
number = {6},
pages = {6--7},
year = {2014},
url = {https://doi.org/10.1145/2674632.2674636},
doi = {10.1145/2674632.2674636},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce14e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GroceKZSBWSDSBM14,
author = {Alex Groce and
Todd Kulesza and
Chaoqiang Zhang and
Shalini Shamasunder and
Margaret M. Burnett and
Weng{-}Keen Wong and
Simone Stumpf and
Shubhomoy Das and
Amber Shinsel and
Forrest Bice and
Kevin McIntosh},
title = {You Are the Only Possible Oracle: Effective Test Selection for End
Users of Interactive Machine Learning Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {40},
number = {3},
pages = {307--323},
year = {2014},
url = {https://doi.org/10.1109/TSE.2013.59},
doi = {10.1109/TSE.2013.59},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GroceKZSBWSDSBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/PeiCFGW14,
author = {Yuanli Pei and
Arpit Christi and
Xiaoli Z. Fern and
Alex Groce and
Weng{-}Keen Wong},
editor = {Zhi{-}Hua Zhou and
Wei Wang and
Ravi Kumar and
Hannu Toivonen and
Jian Pei and
Joshua Zhexue Huang and
Xindong Wu},
title = {Taming a Fuzzer Using Delta Debugging Trails},
booktitle = {2014 {IEEE} International Conference on Data Mining Workshops, {ICDM}
Workshops 2014, Shenzhen, China, December 14, 2014},
pages = {840--843},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICDMW.2014.58},
doi = {10.1109/ICDMW.2014.58},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdm/PeiCFGW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GopinathJG14,
author = {Rahul Gopinath and
Carlos Jensen and
Alex Groce},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Code coverage for suite evaluation by developers},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
pages = {72--82},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568225.2568278},
doi = {10.1145/2568225.2568278},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/GopinathJG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/GroceAZCR14,
author = {Alex Groce and
Mohammad Amin Alipour and
Chaoqiang Zhang and
Yang Chen and
John Regehr},
title = {Cause Reduction for Quick Testing},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2014, March 31 2014-April 4, 2014, Cleveland,
Ohio, {USA}},
pages = {243--252},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICST.2014.37},
doi = {10.1109/ICST.2014.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/GroceAZCR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GopinathJG14,
author = {Rahul Gopinath and
Carlos Jensen and
Alex Groce},
title = {Mutations: How Close are they to Real Faults?},
booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2014, Naples, Italy, November 3-6, 2014},
pages = {189--200},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISSRE.2014.40},
doi = {10.1109/ISSRE.2014.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/GopinathJG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ZhangGA14,
author = {Chaoqiang Zhang and
Alex Groce and
Mohammad Amin Alipour},
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {Using test case reduction and prioritization to improve symbolic execution},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
pages = {160--170},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384.2610392},
doi = {10.1145/2610384.2610392},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/ZhangGA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LeAGG14,
author = {Duc Le and
Mohammad Amin Alipour and
Rahul Gopinath and
Alex Groce},
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {MuCheck: an extensible tool for mutation testing of haskell programs},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
pages = {429--432},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384.2628052},
doi = {10.1145/2610384.2628052},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/LeAGG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GroceAG14,
author = {Alex Groce and
Mohammad Amin Alipour and
Rahul Gopinath},
editor = {Andrew P. Black and
Shriram Krishnamurthi and
Bernd Bruegge and
Joseph N. Ruskiewicz},
title = {Coverage and Its Discontents},
booktitle = {Onward! 2014, Proceedings of the 2014 {ACM} International Symposium
on New Ideas, New Paradigms, and Reflections on Programming {\&}
Software, part of {SPLASH} '14, Portland, OR, USA, October 20-24,
2014},
pages = {255--268},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661136.2661157},
doi = {10.1145/2661136.2661157},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/GroceAG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/AburasG14,
author = {Ali Aburas and
Alex Groce},
title = {An Improved Memetic Algorithm with Method Dependence Relations {(MAMDR)}},
booktitle = {2014 14th International Conference on Quality Software, Allen, TX,
USA, October 2-3, 2014},
pages = {11--20},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/QSIC.2014.12},
doi = {10.1109/QSIC.2014.12},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/qsic/AburasG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce13,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {38},
number = {5},
pages = {17--18},
year = {2013},
url = {https://doi.org/10.1145/2507288.2507319},
doi = {10.1145/2507288.2507319},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Groce13a,
author = {Alex Groce},
title = {Passages},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {38},
number = {6},
pages = {6--7},
year = {2013},
url = {https://doi.org/10.1145/2532780.2532783},
doi = {10.1145/2532780.2532783},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Groce13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GroceZAECR13,
author = {Alex Groce and
Chaoqiang Zhang and
Mohammad Amin Alipour and
Eric Eide and
Yang Chen and
John Regehr},
title = {Help, help, i'm being suppressed! The significance of suppressors
in software testing},
booktitle = {{IEEE} 24th International Symposium on Software Reliability Engineering,
{ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013},
pages = {390--399},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISSRE.2013.6698892},
doi = {10.1109/ISSRE.2013.6698892},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/GroceZAECR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GligoricGZSAM13,
author = {Milos Gligoric and
Alex Groce and
Chaoqiang Zhang and
Rohan Sharma and
Mohammad Amin Alipour and
Darko Marinov},
editor = {Mauro Pezz{\`{e}} and
Mark Harman},
title = {Comparing non-adequate test suites using coverage criteria},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'13, Lugano, Switzerland, July 15-20, 2013},
pages = {302--313},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2483760.2483769},
doi = {10.1145/2483760.2483769},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/GligoricGZSAM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChenGZWFER13,
author = {Yang Chen and
Alex Groce and
Chaoqiang Zhang and
Weng{-}Keen Wong and
Xiaoli Z. Fern and
Eric Eide and
John Regehr},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {Taming compiler fuzzers},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {197--208},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2462173},
doi = {10.1145/2491956.2462173},
timestamp = {Mon, 02 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChenGZWFER13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GroceFEPBA12,
author = {Alex Groce and
Alan Fern and
Martin Erwig and
Jervis Pinto and
Tim Bauer and
Mohammad Amin Alipour},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Learning-Based Test Programming for Programmers},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {572--586},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_42},
doi = {10.1007/978-3-642-34026-0\_42},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/GroceFEPBA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GroceFPBAEL12,
author = {Alex Groce and
Alan Fern and
Jervis Pinto and
Tim Bauer and
Mohammad Amin Alipour and
Martin Erwig and
Camden Lopez},
title = {Lightweight Automated Testing with Adaptation-Based Programming},
booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012},
pages = {161--170},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISSRE.2012.1},
doi = {10.1109/ISSRE.2012.1},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/GroceFPBAEL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AlipourG12,
author = {Mohammad Amin Alipour and
Alex Groce},
editor = {Eric Bodden and
Madanlal Musuvathi},
title = {Extended program invariants: applications in testing and fault localization},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2012), {WODA} 2012, Minneapolis,
MN, USA, Sunday, July 15, 2012},
pages = {7--11},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338966.2336799},
doi = {10.1145/2338966.2336799},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/AlipourG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GroceE12,
author = {Alex Groce and
Martin Erwig},
editor = {Eric Bodden and
Madanlal Musuvathi},
title = {Finding common ground: choose, assert, and assume},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2012), {WODA} 2012, Minneapolis,
MN, USA, Sunday, July 15, 2012},
pages = {12--17},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338966.2336800},
doi = {10.1145/2338966.2336800},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/GroceE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GroceZECR12,
author = {Alex Groce and
Chaoqiang Zhang and
Eric Eide and
Yang Chen and
John Regehr},
editor = {Mats Per Erik Heimdahl and
Zhendong Su},
title = {Swarm testing},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
2012, Minneapolis, MN, USA, July 15-20, 2012},
pages = {78--88},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338965.2336763},
doi = {10.1145/2338965.2336763},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/issta/GroceZECR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/HolzmannJG11,
author = {Gerard J. Holzmann and
Rajeev Joshi and
Alex Groce},
title = {Swarm Verification Techniques},
journal = {{IEEE} Trans. Software Eng.},
volume = {37},
number = {6},
pages = {845--857},
year = {2011},
url = {https://doi.org/10.1109/TSE.2010.110},
doi = {10.1109/TSE.2010.110},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/HolzmannJG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iseud/KuleszaBSWDGSBM11,
author = {Todd Kulesza and
Margaret M. Burnett and
Simone Stumpf and
Weng{-}Keen Wong and
Shubhomoy Das and
Alex Groce and
Amber Shinsel and
Forrest Bice and
Kevin McIntosh},
editor = {Maria Francesca Costabile and
Yvonne Dittrich and
Gerhard Fischer and
Antonio Piccinno},
title = {Where Are My Intelligent Assistant's Mistakes? {A} Systematic Testing
Approach},
booktitle = {End-User Development - Third International Symposium, {IS-EUD} 2011,
Torre Canne (BR), Italy, June 7-10, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6654},
pages = {171--186},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21530-8\_14},
doi = {10.1007/978-3-642-21530-8\_14},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/iseud/KuleszaBSWDGSBM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Groce11,
author = {Alex Groce},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Coverage rewarded: Test input generation via adaptation-based programming},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {380--383},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100077},
doi = {10.1109/ASE.2011.6100077},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Groce11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/ShinselKBCGSW11,
author = {Amber Shinsel and
Todd Kulesza and
Margaret M. Burnett and
William Curran and
Alex Groce and
Simone Stumpf and
Weng{-}Keen Wong},
editor = {Gennaro Costagliola and
Amy J. Ko and
Allen Cypher and
Jeffrey Nichols and
Christopher Scaffidi and
Caitlin Kelleher and
Brad A. Myers},
title = {Mini-crowdsourcing end-user assessment of intelligent assistants:
{A} cost-benefit study},
booktitle = {2011 {IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2011, Pittsburgh, PA, USA, September 18-22, 2011},
pages = {47--54},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/VLHCC.2011.6070377},
doi = {10.1109/VLHCC.2011.6070377},
timestamp = {Sun, 26 Nov 2023 00:57:51 +0100},
biburl = {https://dblp.org/rec/conf/vl/ShinselKBCGSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/spin/2011,
editor = {Alex Groce and
Madanlal Musuvathi},
title = {Model Checking Software - 18th International {SPIN} Workshop, Snowbird,
UT, USA, July 14-15, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6823},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22306-8},
doi = {10.1007/978-3-642-22306-8},
isbn = {978-3-642-22305-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/BarringerGHS10,
author = {Howard Barringer and
Alex Groce and
Klaus Havelund and
Margaret H. Smith},
title = {Formal Analysis of Log Files},
journal = {J. Aerosp. Comput. Inf. Commun.},
volume = {7},
number = {11},
pages = {365--390},
year = {2010},
url = {https://doi.org/10.2514/1.49356},
doi = {10.2514/1.49356},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacic/BarringerGHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GroceHS10,
author = {Alex Groce and
Klaus Havelund and
Margaret H. Smith},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {From scripts to specifications: the evolution of a flight software
testing effort},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {129--138},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810295.1810314},
doi = {10.1145/1810295.1810314},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GroceHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Groce09,
author = {Alex Groce},
editor = {Ben Liblit and
Andy Podgurski},
title = {(Quickly) testing the tester via path coverage},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2009), {WODA} 2009, Chicago,
IL, USA, July, 2009},
pages = {22--28},
year = {2009},
url = {https://doi.org/10.1145/2134243.2134249},
doi = {10.1145/2134243.2134249},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/Groce09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BarringerHRG09,
author = {Howard Barringer and
Klaus Havelund and
David E. Rydeheard and
Alex Groce},
editor = {Saddek Bensalem and
Doron A. Peled},
title = {Rule Systems for Runtime Verification: {A} Short Tutorial},
booktitle = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
France, June 26-28, 2009. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5779},
pages = {1--24},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04694-0\_1},
doi = {10.1007/978-3-642-04694-0\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/BarringerHRG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-1682,
author = {Howard Barringer and
Alex Groce and
Klaus Havelund and
Margaret H. Smith},
editor = {Manuela{-}Luminita Bujorianu and
Michael Fisher},
title = {An Entry Point for Formal Methods: Specification and Analysis of Event
Logs},
booktitle = {Proceedings {FM-09} Workshop on Formal Methods for Aerospace, {FMA}
2009, Eindhoven, The Netherlands, 3rd November 2009},
series = {{EPTCS}},
volume = {20},
pages = {16--21},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.20.2},
doi = {10.4204/EPTCS.20.2},
timestamp = {Tue, 21 Sep 2021 18:08:28 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-1682.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/HolzmannJG08,
author = {Gerard J. Holzmann and
Rajeev Joshi and
Alex Groce},
title = {Model driven code checking},
journal = {Autom. Softw. Eng.},
volume = {15},
number = {3-4},
pages = {283--297},
year = {2008},
url = {https://doi.org/10.1007/s10515-008-0033-9},
doi = {10.1007/S10515-008-0033-9},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/HolzmannJG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GroceJ08,
author = {Alex Groce and
Rajeev Joshi},
title = {Exploiting traces in static program analysis: better model checking
through printf\{\{{\textbackslash}tt printf\}\}s},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {10},
number = {2},
pages = {131--144},
year = {2008},
url = {https://doi.org/10.1007/s10009-007-0058-6},
doi = {10.1007/S10009-007-0058-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GroceJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GroceJ08,
author = {Alex Groce and
Rajeev Joshi},
editor = {Ben Liblit and
Atanas Rountev},
title = {Random testing and model checking: building a common framework for
nondeterministic exploration},
booktitle = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
held in conjunction with the {ACM} {SIGSOFT} International Symposium
on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
Washington, USA, July 21, 2008},
pages = {22--28},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1401827.1401833},
doi = {10.1145/1401827.1401833},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/GroceJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HolzmannJG08,
author = {Gerard J. Holzmann and
Rajeev Joshi and
Alex Groce},
title = {Swarm Verification},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ASE.2008.9},
doi = {10.1109/ASE.2008.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/HolzmannJG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AndrewsGWX08,
author = {James H. Andrews and
Alex Groce and
Melissa Weston and
Ru{-}Gang Xu},
title = {Random Test Run Length and Effectiveness},
booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
pages = {19--28},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ASE.2008.12},
doi = {10.1109/ASE.2008.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AndrewsGWX08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/HavelundGHJS08,
author = {Klaus Havelund and
Alex Groce and
Gerard J. Holzmann and
Rajeev Joshi and
Margaret H. Smith},
editor = {Doron A. Peled and
Michael J. Wooldridge},
title = {Automated Testing of Planning Models},
booktitle = {Model Checking and Artificial Intelligence, 5th International Workshop,
MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5348},
pages = {90--105},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00431-5\_6},
doi = {10.1007/978-3-642-00431-5\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mochart/HavelundGHJS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/HolzmannJG08a,
author = {Gerard J. Holzmann and
Rajeev Joshi and
Alex Groce},
editor = {Orna Grumberg and
Helmut Veith},
title = {New Challenges in Model Checking},
booktitle = {25 Years of Model Checking - History, Achievements, Perspectives},
series = {Lecture Notes in Computer Science},
volume = {5000},
pages = {65--76},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69850-0\_4},
doi = {10.1007/978-3-540-69850-0\_4},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/HolzmannJG08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/HolzmannJG08,
author = {Gerard J. Holzmann and
Rajeev Joshi and
Alex Groce},
editor = {Klaus Havelund and
Rupak Majumdar and
Jens Palsberg},
title = {Tackling Large Verification Problems with the Swarm Tool},
booktitle = {Model Checking Software, 15th International {SPIN} Workshop, Los Angeles,
CA, USA, August 10-12, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5156},
pages = {134--143},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85114-1\_11},
doi = {10.1007/978-3-540-85114-1\_11},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/HolzmannJG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GroceJ08,
author = {Alex Groce and
Rajeev Joshi},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Extending Model Checking with Dynamic Analysis},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {142--156},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_15},
doi = {10.1007/978-3-540-78163-9\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GroceJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GroceHJ07,
author = {Alex Groce and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Randomized Differential Testing as a Prelude to Formal Verification},
booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
Minneapolis, MN, USA, May 20-26, 2007},
pages = {621--631},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.68},
doi = {10.1109/ICSE.2007.68},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GroceHJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BlancGK07,
author = {Nicolas Blanc and
Alex Groce and
Daniel Kroening},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {Verifying {C++} with {STL} containers via predicate abstraction},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {521--524},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321724},
doi = {10.1145/1321631.1321724},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/BlancGK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GrocePY06,
author = {Alex Groce and
Doron A. Peled and
Mihalis Yannakakis},
title = {Adaptive Model Checking},
journal = {Log. J. {IGPL}},
volume = {14},
number = {5},
pages = {729--744},
year = {2006},
url = {https://doi.org/10.1093/jigpal/jzl007},
doi = {10.1093/JIGPAL/JZL007},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GrocePY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GroceCKS06,
author = {Alex Groce and
Sagar Chaki and
Daniel Kroening and
Ofer Strichman},
title = {Error explanation with distance metrics},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {3},
pages = {229--247},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0202-0},
doi = {10.1007/S10009-005-0202-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GroceCKS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GroceJ06,
author = {Alex Groce and
Rajeev Joshi},
editor = {Holger Hermanns and
Jens Palsberg},
title = {Exploiting Traces in Program Analysis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
12th International Conference, {TACAS} 2006 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2006,
Vienna, Austria, March 25 - April 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3920},
pages = {379--393},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_25},
doi = {10.1007/11691372\_25},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GroceJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ChakiCGOSY04,
author = {Sagar Chaki and
Edmund M. Clarke and
Alex Groce and
Jo{\"{e}}l Ouaknine and
Ofer Strichman and
Karen Yorav},
title = {Efficient Verification of Sequential and Concurrent {C} Programs},
journal = {Formal Methods Syst. Des.},
volume = {25},
number = {2-3},
pages = {129--166},
year = {2004},
url = {https://doi.org/10.1023/B:FORM.0000040026.56959.91},
doi = {10.1023/B:FORM.0000040026.56959.91},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ChakiCGOSY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GroceV04,
author = {Alex Groce and
Willem Visser},
title = {Heuristics for model checking Java programs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {4},
pages = {260--276},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0130-9},
doi = {10.1007/S10009-003-0130-9},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GroceV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChakiCGJV04,
author = {Sagar Chaki and
Edmund M. Clarke and
Alex Groce and
Somesh Jha and
Helmut Veith},
title = {Modular Verification of Software Components in {C}},
journal = {{IEEE} Trans. Software Eng.},
volume = {30},
number = {6},
pages = {388--402},
year = {2004},
url = {https://doi.org/10.1109/TSE.2004.22},
doi = {10.1109/TSE.2004.22},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ChakiCGJV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GroceKL04,
author = {Alex Groce and
Daniel Kroening and
Flavio Lerda},
editor = {Rajeev Alur and
Doron A. Peled},
title = {Understanding Counterexamples with explain},
booktitle = {Computer Aided Verification, 16th International Conference, {CAV}
2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3114},
pages = {453--456},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27813-9\_35},
doi = {10.1007/978-3-540-27813-9\_35},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GroceKL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/KroeningGC04,
author = {Daniel Kroening and
Alex Groce and
Edmund M. Clarke},
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Counterexample Guided Abstraction Refinement Via Program Execution},
booktitle = {Formal Methods and Software Engineering, 6th International Conference
on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
8-12, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3308},
pages = {224--238},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30482-1\_23},
doi = {10.1007/978-3-540-30482-1\_23},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/KroeningGC04.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 = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ChakiGS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Groce04,
author = {Alex Groce},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Error Explanation with Distance Metrics},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
pages = {108--122},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_8},
doi = {10.1007/978-3-540-24730-2\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/Groce04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GroceK05,
author = {Alex Groce and
Daniel Kroening},
editor = {Armin Biere and
Ofer Strichman},
title = {Making the Most of {BMC} Counterexamples},
booktitle = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {119},
number = {2},
pages = {67--81},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.023},
doi = {10.1016/J.ENTCS.2004.12.023},
timestamp = {Tue, 13 Dec 2022 11:43:14 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GroceK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/ChakiCGS03,
author = {Sagar Chaki and
Edmund M. Clarke and
Alex Groce and
Ofer Strichman},
editor = {Daniel Geist and
Enrico Tronci},
title = {Predicate Abstraction with Minimum Predicates},
booktitle = {Correct Hardware Design and Verification Methods, 12th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2003, L'Aquila,
Italy, October 21-24, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2860},
pages = {19--34},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39724-3\_5},
doi = {10.1007/978-3-540-39724-3\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/ChakiCGS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChakiCGJV03,
author = {Sagar Chaki and
Edmund M. Clarke and
Alex Groce and
Somesh Jha and
Helmut Veith},
editor = {Lori A. Clarke and
Laurie Dillon and
Walter F. Tichy},
title = {Modular Verification of Software Components in {C}},
booktitle = {Proceedings of the 25th International Conference on Software Engineering,
May 3-10, 2003, Portland, Oregon, {USA}},
pages = {385--395},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICSE.2003.1201217},
doi = {10.1109/ICSE.2003.1201217},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChakiCGJV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GroceV03,
author = {Alex Groce and
Willem Visser},
editor = {Thomas Ball and
Sriram K. Rajamani},
title = {What Went Wrong: Explaining Counterexamples},
booktitle = {Model Checking Software, 10th International {SPIN} Workshop. Portland,
OR, USA, May 9-10, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2648},
pages = {121--135},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44829-2\_8},
doi = {10.1007/3-540-44829-2\_8},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/GroceV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MotaCGOFK04,
author = {Edjard Mota and
Edmund M. Clarke and
Alex Groce and
Waleska Oliveira and
Marcia Falc{\~{a}}o and
Jorge Y. Kanda},
editor = {Ana Cavalcanti and
Patr{\'{\i}}cia D. L. Machado},
title = {VeriAgent: an Approach to Integrating {UML} and Formal Verification
Tools},
booktitle = {Proceedings of the 6th Brazilian Workshop on Formal Methods, {WMF}
2003, Campina Grande, Brazil, October 12-14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {95},
pages = {111--129},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.04.008},
doi = {10.1016/J.ENTCS.2004.04.008},
timestamp = {Wed, 07 Dec 2022 10:40:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MotaCGOFK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GrocePY02,
author = {Alex Groce and
Doron A. Peled and
Mihalis Yannakakis},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {{AMC:} An Adaptive Model Checker},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {521--525},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_44},
doi = {10.1007/3-540-45657-0\_44},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GrocePY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/GroceV02,
author = {Alex Groce and
Willem Visser},
editor = {Phyllis G. Frankl},
title = {Model checking Java programs using structural heuristics},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2002, Roma, Italy, July 22-24, 2002},
pages = {12--21},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/566172.566175},
doi = {10.1145/566172.566175},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/GroceV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/GroceV02,
author = {Alex Groce and
Willem Visser},
editor = {Dragan Bosnacki and
Stefan Leue},
title = {Heuristic Model Checking for Java Programs},
booktitle = {Model Checking of Software, 9th International {SPIN} Workshop, Grenoble,
France, April 11-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2318},
pages = {242--245},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46017-9\_21},
doi = {10.1007/3-540-46017-9\_21},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/GroceV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GrocePY02,
author = {Alex Groce and
Doron A. Peled and
Mihalis Yannakakis},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {Adaptive Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
8th International Conference, {TACAS} 2002, Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2002,
Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {357--370},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_25},
doi = {10.1007/3-540-46002-0\_25},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GrocePY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BhatCG01,
author = {Girish Bhat and
Rance Cleaveland and
Alex Groce},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Efficient Model Checking Via B{\"{u}}chi Tableau Automata},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {38--52},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_5},
doi = {10.1007/3-540-44585-4\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BhatCG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 05:34 CEST 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:
