default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Valentin Wüstholz
@inproceedings{DBLP:conf/aaai/EniserWC24,
author = {Hasan Ferit Eniser and
Valentin W{\"{u}}stholz and
Maria Christakis},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Automatically Testing Functional Properties of Code Translation Models},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {21055--21062},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i19.30097},
doi = {10.1609/AAAI.V38I19.30097},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EniserWC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/WesleyCNTWG24,
author = {Scott Wesley and
Maria Christakis and
Jorge A. Navas and
Richard J. Trefler and
Valentin W{\"{u}}stholz and
Arie Gurfinkel},
editor = {Jonathan Aldrich and
Guido Salvaneschi},
title = {Inductive Predicate Synthesis Modulo Programs},
booktitle = {38th European Conference on Object-Oriented Programming, {ECOOP} 2024,
September 16-20, 2024, Vienna, Austria},
series = {LIPIcs},
volume = {313},
pages = {43:1--43:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2024.43},
doi = {10.4230/LIPICS.ECOOP.2024.43},
timestamp = {Thu, 12 Sep 2024 13:29:32 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/WesleyCNTWG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-08455,
author = {Scott Wesley and
Maria Christakis and
Jorge A. Navas and
Richard J. Trefler and
Valentin W{\"{u}}stholz and
Arie Gurfinkel},
title = {Inductive Predicate Synthesis Modulo Programs (Extended)},
journal = {CoRR},
volume = {abs/2407.08455},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.08455},
doi = {10.48550/ARXIV.2407.08455},
eprinttype = {arXiv},
eprint = {2407.08455},
timestamp = {Fri, 16 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-08455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChristakisE0SW23,
author = {Maria Christakis and
Hasan Ferit Eniser and
J{\"{o}}rg Hoffmann and
Adish Singla and
Valentin W{\"{u}}stholz},
title = {Specifying and Testing k-Safety Properties for Machine-Learning Models},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {4748--4757},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/528},
doi = {10.24963/IJCAI.2023/528},
timestamp = {Mon, 28 Aug 2023 17:23:07 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ChristakisE0SW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MansurWC23,
author = {Muhammad Numair Mansur and
Valentin W{\"{u}}stholz and
Maria Christakis},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Dependency-Aware Metamorphic Testing of Datalog Engines},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {236--247},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598052},
doi = {10.1145/3597926.3598052},
timestamp = {Mon, 17 Jul 2023 11:49:17 +0200},
biburl = {https://dblp.org/rec/conf/issta/MansurWC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/OunjaiWC23,
author = {Jiradet Ounjai and
Valentin W{\"{u}}stholz and
Maria Christakis},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Green Fuzzer Benchmarking},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1396--1406},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598144},
doi = {10.1145/3597926.3598144},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/OunjaiWC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-12813,
author = {Hasan Ferit Eniser and
Valentin W{\"{u}}stholz and
Maria Christakis},
title = {Automatically Testing Functional Properties of Code Translation Models},
journal = {CoRR},
volume = {abs/2309.12813},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.12813},
doi = {10.48550/ARXIV.2309.12813},
eprinttype = {arXiv},
eprint = {2309.12813},
timestamp = {Wed, 27 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-12813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/SteinmetzFEFGHH22,
author = {Marcel Steinmetz and
Daniel Fiser and
Hasan Ferit Eniser and
Patrick Ferber and
Timo P. Gros and
Philippe Heim and
Daniel H{\"{o}}ller and
Xandra Schuler and
Valentin W{\"{u}}stholz and
Maria Christakis and
J{\"{o}}rg Hoffmann},
editor = {Akshat Kumar and
Sylvie Thi{\'{e}}baux and
Pradeep Varakantham and
William Yeoh},
title = {Debugging a Policy: Automatic Action-Policy Testing in {AI} Planning},
booktitle = {Proceedings of the Thirty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2022, Singapore (virtual), June 13-24,
2022},
pages = {353--361},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/19820},
timestamp = {Wed, 20 Jul 2022 14:27:38 +0200},
biburl = {https://dblp.org/rec/conf/aips/SteinmetzFEFGHH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/EniserGW0C22,
author = {Hasan Ferit Eniser and
Timo P. Gros and
Valentin W{\"{u}}stholz and
J{\"{o}}rg Hoffmann and
Maria Christakis},
editor = {Sukyoung Ryu and
Yannis Smaragdakis},
title = {Metamorphic relations via relaxations: an approach to obtain oracles
for action-policy testing},
booktitle = {{ISSTA} '22: 31st {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022},
pages = {52--63},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3533767.3534392},
doi = {10.1145/3533767.3534392},
timestamp = {Tue, 26 Jul 2022 16:24:43 +0200},
biburl = {https://dblp.org/rec/conf/issta/EniserGW0C22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WesleyCNTWG22,
author = {Scott Wesley and
Maria Christakis and
Jorge A. Navas and
Richard J. Trefler and
Valentin W{\"{u}}stholz and
Arie Gurfinkel},
editor = {Bernd Finkbeiner and
Thomas Wies},
title = {Verifying Solidity Smart Contracts via Communication Abstraction in
SmartACE},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International
Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13182},
pages = {425--449},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94583-1\_21},
doi = {10.1007/978-3-030-94583-1\_21},
timestamp = {Wed, 19 Jan 2022 09:36:10 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/WesleyCNTWG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-06054,
author = {Maria Christakis and
Hasan Ferit Eniser and
J{\"{o}}rg Hoffmann and
Adish Singla and
Valentin W{\"{u}}stholz},
title = {Specifying and Testing k-Safety Properties for Machine-Learning Models},
journal = {CoRR},
volume = {abs/2206.06054},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.06054},
doi = {10.48550/ARXIV.2206.06054},
eprinttype = {arXiv},
eprint = {2206.06054},
timestamp = {Mon, 20 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-06054.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChristakisEHHKL21,
author = {Maria Christakis and
Hasan Ferit Eniser and
Holger Hermanns and
J{\"{o}}rg Hoffmann and
Yugesh Kothari and
Jianlin Li and
Jorge A. Navas and
Valentin W{\"{u}}stholz},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Automated Safety Verification of Programs Invoking Neural Networks},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {201--224},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_9},
doi = {10.1007/978-3-030-81685-8\_9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChristakisEHHKL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MansurMCNW20,
author = {Muhammad Numair Mansur and
Benjamin Mariano and
Maria Christakis and
Jorge A. Navas and
Valentin W{\"{u}}stholz},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {777--800},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_36},
doi = {10.1007/978-3-030-81688-9\_36},
timestamp = {Fri, 23 Jul 2021 16:41:31 +0200},
biburl = {https://dblp.org/rec/conf/cav/MansurMCNW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/WesleyCNTWG21,
author = {Scott Wesley and
Maria Christakis and
Jorge A. Navas and
Richard J. Trefler and
Valentin W{\"{u}}stholz and
Arie Gurfinkel},
editor = {Cezara Dragoi and
Suvam Mukherjee and
Kedar S. Namjoshi},
title = {Compositional Verification of Smart Contracts Through Communication
Abstraction},
booktitle = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
IL, USA, October 17-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12913},
pages = {429--452},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88806-0\_21},
doi = {10.1007/978-3-030-88806-0\_21},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/WesleyCNTWG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BohmeLW21,
author = {Marcel B{\"{o}}hme and
Danushka Liyanage and
Valentin W{\"{u}}stholz},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {Estimating residual risk in greybox fuzzing},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {230--241},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468570},
doi = {10.1145/3468264.3468570},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BohmeLW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MansurCW21,
author = {Muhammad Numair Mansur and
Maria Christakis and
Valentin W{\"{u}}stholz},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {Metamorphic testing of Datalog engines},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {639--650},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468573},
doi = {10.1145/3468264.3468573},
timestamp = {Sat, 21 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/MansurCW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-08583,
author = {Scott Wesley and
Maria Christakis and
Jorge A. Navas and
Richard J. Trefler and
Valentin W{\"{u}}stholz and
Arie Gurfinkel},
title = {Compositional Verification of Smart Contracts Through Communication
Abstraction (Extended)},
journal = {CoRR},
volume = {abs/2107.08583},
year = {2021},
url = {https://arxiv.org/abs/2107.08583},
eprinttype = {arXiv},
eprint = {2107.08583},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-08583.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/UrbanCWZ20,
author = {Caterina Urban and
Maria Christakis and
Valentin W{\"{u}}stholz and
Fuyuan Zhang},
title = {Perfectly parallel fairness certification of neural networks},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {185:1--185:30},
year = {2020},
url = {https://doi.org/10.1145/3428253},
doi = {10.1145/3428253},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/UrbanCWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WustholzC20,
author = {Valentin W{\"{u}}stholz and
Maria Christakis},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Targeted greybox fuzzing with static lookahead analysis},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {789--800},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380388},
doi = {10.1145/3377811.3380388},
timestamp = {Fri, 08 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/WustholzC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MansurCWZ20,
author = {Muhammad Numair Mansur and
Maria Christakis and
Valentin W{\"{u}}stholz and
Fuyuan Zhang},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {Detecting critical bugs in {SMT} solvers using blackbox mutational
fuzzing},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {701--712},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3409763},
doi = {10.1145/3368089.3409763},
timestamp = {Tue, 10 Nov 2020 10:30:27 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MansurCWZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/WustholzC20,
author = {Valentin W{\"{u}}stholz and
Maria Christakis},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {Harvey: a greybox fuzzer for smart contracts},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {1398--1409},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3417064},
doi = {10.1145/3368089.3417064},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/WustholzC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-02776,
author = {Hasan Ferit Eniser and
Maria Christakis and
Valentin W{\"{u}}stholz},
title = {{RAID:} Randomized Adversarial-Input Detection for Neural Networks},
journal = {CoRR},
volume = {abs/2002.02776},
year = {2020},
url = {https://arxiv.org/abs/2002.02776},
eprinttype = {arXiv},
eprint = {2002.02776},
timestamp = {Mon, 10 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-02776.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-05934,
author = {Muhammad Numair Mansur and
Maria Christakis and
Valentin W{\"{u}}stholz and
Fuyuan Zhang},
title = {Detecting Critical Bugs in {SMT} Solvers Using Blackbox Mutational
Fuzzing},
journal = {CoRR},
volume = {abs/2004.05934},
year = {2020},
url = {https://arxiv.org/abs/2004.05934},
eprinttype = {arXiv},
eprint = {2004.05934},
timestamp = {Tue, 14 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-05934.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-13860,
author = {Muhammad Numair Mansur and
Benjamin Mariano and
Maria Christakis and
Jorge A. Navas and
Valentin W{\"{u}}stholz},
title = {Automatically Tailoring Static Analysis to Custom Usage Scenarios},
journal = {CoRR},
volume = {abs/2009.13860},
year = {2020},
url = {https://arxiv.org/abs/2009.13860},
eprinttype = {arXiv},
eprint = {2009.13860},
timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-13860.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KlingerCW19,
author = {Christian Klinger and
Maria Christakis and
Valentin W{\"{u}}stholz},
editor = {Dongmei Zhang and
Anders M{\o}ller},
title = {Differentially testing soundness and precision of program analyzers},
booktitle = {Proceedings of the 28th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2019, Beijing, China, July
15-19, 2019},
pages = {239--250},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293882.3330553},
doi = {10.1145/3293882.3330553},
timestamp = {Thu, 23 Jun 2022 07:46:09 +0200},
biburl = {https://dblp.org/rec/conf/issta/KlingerCW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChristakisHMSW19,
author = {Maria Christakis and
Matthias Heizmann and
Muhammad Numair Mansur and
Christian Schilling and
Valentin W{\"{u}}stholz},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {Semantic Fault Localization and Suspiciousness Ranking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {226--243},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_13},
doi = {10.1007/978-3-030-17462-0\_13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChristakisHMSW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-06944,
author = {Valentin W{\"{u}}stholz and
Maria Christakis},
title = {Harvey: {A} Greybox Fuzzer for Smart Contracts},
journal = {CoRR},
volume = {abs/1905.06944},
year = {2019},
url = {http://arxiv.org/abs/1905.06944},
eprinttype = {arXiv},
eprint = {1905.06944},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-06944.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-07147,
author = {Valentin W{\"{u}}stholz and
Maria Christakis},
title = {Targeted Greybox Fuzzing with Static Lookahead Analysis},
journal = {CoRR},
volume = {abs/1905.07147},
year = {2019},
url = {http://arxiv.org/abs/1905.07147},
eprinttype = {arXiv},
eprint = {1905.07147},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-07147.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-02499,
author = {Caterina Urban and
Maria Christakis and
Valentin W{\"{u}}stholz and
Fuyuan Zhang},
title = {Perfectly Parallel Fairness Certification of Neural Networks},
journal = {CoRR},
volume = {abs/1912.02499},
year = {2019},
url = {http://arxiv.org/abs/1912.02499},
eprinttype = {arXiv},
eprint = {1912.02499},
timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-02499.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BugariuWC018,
author = {Alexandra Bugariu and
Valentin W{\"{u}}stholz and
Maria Christakis and
Peter M{\"{u}}ller},
editor = {Marianne Huchard and
Christian K{\"{a}}stner and
Gordon Fraser},
title = {Automatically testing implementations of numerical abstract domains},
booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
2018},
pages = {768--778},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3238147.3240464},
doi = {10.1145/3238147.3240464},
timestamp = {Thu, 23 Jun 2022 19:54:17 +0200},
biburl = {https://dblp.org/rec/conf/kbse/BugariuWC018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-07822,
author = {Florentin Guth and
Valentin W{\"{u}}stholz and
Maria Christakis and
Peter M{\"{u}}ller},
title = {Specification Mining for Smart Contracts with Automatic Abstraction
Tuning},
journal = {CoRR},
volume = {abs/1807.07822},
year = {2018},
url = {http://arxiv.org/abs/1807.07822},
eprinttype = {arXiv},
eprint = {1807.07822},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-07822.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-07875,
author = {Valentin W{\"{u}}stholz and
Maria Christakis},
title = {Learning Inputs in Greybox Fuzzing},
journal = {CoRR},
volume = {abs/1807.07875},
year = {2018},
url = {http://arxiv.org/abs/1807.07875},
eprinttype = {arXiv},
eprint = {1807.07875},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-07875.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-05033,
author = {Christian Klinger and
Maria Christakis and
Valentin W{\"{u}}stholz},
title = {Differentially Testing Soundness and Precision of Program Analyzers},
journal = {CoRR},
volume = {abs/1812.05033},
year = {2018},
url = {http://arxiv.org/abs/1812.05033},
eprinttype = {arXiv},
eprint = {1812.05033},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-05033.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FerlesWCD17,
author = {Kostas Ferles and
Valentin W{\"{u}}stholz and
Maria Christakis and
Isil Dillig},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Failure-directed program trimming},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {174--185},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106249},
doi = {10.1145/3106237.3106249},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FerlesWCD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WustholzOHD17,
author = {Valentin W{\"{u}}stholz and
Oswaldo Olivo and
Marijn J. H. Heule and
Isil Dillig},
editor = {Axel Legay and
Tiziana Margaria},
title = {Static Detection of DoS Vulnerabilities in Programs that Use Regular
Expressions},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {3--20},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_1},
doi = {10.1007/978-3-662-54580-5\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WustholzOHD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WustholzOHD17,
author = {Valentin W{\"{u}}stholz and
Oswaldo Olivo and
Marijn J. H. Heule and
Isil Dillig},
title = {Static Detection of DoS Vulnerabilities in Programs that use Regular
Expressions (Extended Version)},
journal = {CoRR},
volume = {abs/1701.04045},
year = {2017},
url = {http://arxiv.org/abs/1701.04045},
eprinttype = {arXiv},
eprint = {1701.04045},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WustholzOHD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FerlesWCD17,
author = {Kostas Ferles and
Valentin W{\"{u}}stholz and
Maria Christakis and
Isil Dillig},
title = {Failure-Directed Program Trimming (Extended Version)},
journal = {CoRR},
volume = {abs/1706.04468},
year = {2017},
url = {http://arxiv.org/abs/1706.04468},
eprinttype = {arXiv},
eprint = {1706.04468},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FerlesWCD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Christakis0W16,
author = {Maria Christakis and
Peter M{\"{u}}ller and
Valentin W{\"{u}}stholz},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Guiding dynamic symbolic execution toward unverified program executions},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {144--155},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884843},
doi = {10.1145/2884781.2884843},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Christakis0W16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/ChristakisW16,
author = {Maria Christakis and
Valentin W{\"{u}}stholz},
editor = {Xavier Rival},
title = {Bounded Abstract Interpretation},
booktitle = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh,
UK, September 8-10, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9837},
pages = {105--125},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53413-7\_6},
doi = {10.1007/978-3-662-53413-7\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/ChristakisW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChristakisL0W16,
author = {Maria Christakis and
K. Rustan M. Leino and
Peter M{\"{u}}ller and
Valentin W{\"{u}}stholz},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Integrated Environment for Diagnosing Verification Errors},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {424--441},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_25},
doi = {10.1007/978-3-662-49674-9\_25},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChristakisL0W16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Wustholz15,
author = {Valentin W{\"{u}}stholz},
title = {Partial Verification Results},
school = {{ETH} Zurich, Z{\"{u}}rich, Switzerland},
year = {2015},
url = {https://hdl.handle.net/20.500.11850/105607},
doi = {10.3929/ETHZ-A-010538908},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Wustholz15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LeinoW15,
author = {K. Rustan M. Leino and
Valentin W{\"{u}}stholz},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Fine-Grained Caching of Verification Results},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {380--397},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_22},
doi = {10.1007/978-3-319-21690-4\_22},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/LeinoW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Christakis0W15,
author = {Maria Christakis and
Peter M{\"{u}}ller and
Valentin W{\"{u}}stholz},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {An Experimental Evaluation of Deliberate Unsoundness in a Static Program
Analyzer},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {336--354},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_19},
doi = {10.1007/978-3-662-46081-8\_19},
timestamp = {Tue, 07 May 2024 20:11:13 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Christakis0W15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ChristakisMW14,
author = {Maria Christakis and
Peter M{\"{u}}ller and
Valentin W{\"{u}}stholz},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations},
booktitle = {Software Engineering and Formal Methods - 12th International Conference,
{SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8702},
pages = {65--80},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_6},
doi = {10.1007/978-3-319-10431-7\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ChristakisMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LeinoW14,
author = {K. Rustan M. Leino and
Valentin W{\"{u}}stholz},
editor = {Catherine Dubois and
Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {The Dafny Integrated Development Environment},
booktitle = {Proceedings 1st Workshop on Formal Integrated Development Environment,
{F-IDE} 2014, Grenoble, France, April 6, 2014},
series = {{EPTCS}},
volume = {149},
pages = {3--15},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.149.2},
doi = {10.4204/EPTCS.149.2},
timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/LeinoW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ChristakisMW12,
author = {Maria Christakis and
Peter M{\"{u}}ller and
Valentin W{\"{u}}stholz},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {Collaborative Verification and Testing with Explicit Assumptions},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {132--146},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_13},
doi = {10.1007/978-3-642-32759-9\_13},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/ChristakisMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11,
author = {Vladimir Klebanov and
Peter M{\"{u}}ller and
Natarajan Shankar and
Gary T. Leavens and
Valentin W{\"{u}}stholz and
Eyad Alkassar and
Rob Arthan and
Derek Bronish and
Rod Chapman and
Ernie Cohen and
Mark A. Hillebrand and
Bart Jacobs and
K. Rustan M. Leino and
Rosemary Monahan and
Frank Piessens and
Nadia Polikarpova and
Tom Ridge and
Jan Smans and
Stephan Tobies and
Thomas Tuerk and
Mattias Ulbrich and
Benjamin Wei{\ss}},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {The 1st Verified Software Competition: Experience Report},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {154--168},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_14},
doi = {10.1007/978-3-642-21437-0\_14},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-14 01:08 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:
