


Остановите войну!
for scientists:


default search action
Andreas Zeller
Person information

- affiliation: CISPA Helmholtz Center for Information Security, Saarbrücken, Germany
- affiliation: Saarland University, Saarbrücken, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [c186]Max Eisele, Daniel Ebert, Christopher Huth, Andreas Zeller:
Fuzzing Embedded Systems using Debug Interfaces. ISSTA 2023: 1031-1042 - [c185]Maleknaz Nayebi, Konstantin Kuznetsov, Andreas Zeller, Guenther Ruhe:
User Driven Functionality Deletion for Mobile Apps. RE 2023: 6-16 - [c184]Dominic Steinhöfel, Andreas Zeller:
Input Invariants. Software Engineering 2023: 113-114 - [c183]Maria-Irina Nicolae, Max Eisele, Andreas Zeller:
Revisiting Neural Program Smoothing for Fuzzing. ESEC/SIGSOFT FSE 2023: 133-145 - [c182]Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller:
Semantic Debugging. ESEC/SIGSOFT FSE 2023: 438-449 - [c181]Philipp Görz, Björn Mathis, Keno Hassler, Emre Güler, Thorsten Holz, Andreas Zeller, Rahul Gopinath:
Systematic Assessment of Fuzzers using Mutation Analysis. USENIX Security Symposium 2023: 4535-4552 - [i33]Maleknaz Nayebi, Konstantin Kuznetsov, Andreas Zeller, Guenther Ruhe:
User Driven Functionality Deletion for Mobile Apps. CoRR abs/2305.19384 (2023) - [i32]Marius Smytzek, Martin Eberlein, Batuhan Serce, Lars Grunske, Andreas Zeller:
Tests4Py: A Benchmark for System Testing. CoRR abs/2307.05147 (2023) - [i31]Maria-Irina Nicolae, Max Eisele, Andreas Zeller:
Revisiting Neural Program Smoothing for Fuzzing. CoRR abs/2309.16618 (2023) - [i30]Marcel Böhme, Maria Christakis, Rohan Padhye, Kostya Serebryany, Andreas Zeller, Hasan Ferit Eniser:
Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131). Dagstuhl Reports 13(3): 92-105 (2023) - 2022
- [j39]Corina S. Pasareanu, Andreas Zeller:
IEEE International Conference on Software Testing, Verification and Validation (ICST 2020). Softw. Test. Verification Reliab. 32(5) (2022) - [j38]Ezekiel O. Soremekun
, Esteban Pavese, Nikolas Havrikov
, Lars Grunske
, Andreas Zeller:
Inputs From Hell. IEEE Trans. Software Eng. 48(4): 1138-1153 (2022) - [c180]Daniela E. Damian, Andreas Zeller:
Message from the ICSE 2022 Program Chairs. ICSE 2022: xxxi-xxxii - [c179]Bachir Bendrissou
, Rahul Gopinath
, Andreas Zeller:
"Synthesizing input grammars": a replication study. PLDI 2022: 260-268 - [c178]Andreas Zeller:
Academic prototyping (invited tutorial). ESEC/SIGSOFT FSE 2022: 4 - [c177]Dominic Steinhöfel
, Andreas Zeller:
Input invariants. ESEC/SIGSOFT FSE 2022: 583-594 - [c176]Abhilash Gupta, Rahul Gopinath
, Andreas Zeller:
CLIFuzzer: mining grammars for command-line invocations. ESEC/SIGSOFT FSE 2022: 1667-1671 - [c175]Marius Smytzek, Andreas Zeller:
SFLKit: a workbench for statistical fault localization. ESEC/SIGSOFT FSE 2022: 1701-1705 - [i29]Lukas Kirschner, Ezekiel O. Soremekun, Rahul Gopinath, Andreas Zeller:
Input Repair via Synthesis and Lightweight Error Feedback. CoRR abs/2208.08235 (2022) - [i28]Dominic Steinhöfel
, Andreas Zeller:
Electronic Appendix to "Input Invariants". CoRR abs/2208.12049 (2022) - [i27]Philipp Görz, Björn Mathis, Keno Hassler, Emre Güler, Thorsten Holz, Andreas Zeller, Rahul Gopinath:
How to Compare Fuzzers. CoRR abs/2212.03075 (2022) - 2021
- [j37]Ezekiel O. Soremekun
, Lukas Kirschner, Marcel Böhme, Andreas Zeller
:
Locating faults with program slicing: an empirical analysis. Empir. Softw. Eng. 26(3): 51 (2021) - [c174]Rahul Gopinath, Hamed Nemati
, Andreas Zeller:
Replication Package for Input Algebras. ICSE (Companion Volume) 2021: 219 - [c173]Rahul Gopinath, Hamed Nemati
, Andreas Zeller:
Input Algebras. ICSE 2021: 699-710 - [c172]Jiawei Wang, Li Li, Andreas Zeller:
Restoring Execution Environments of Jupyter Notebooks. ICSE 2021: 1622-1633 - [c171]Florian Schwander, Rahul Gopinath, Andreas Zeller:
Inducing Subtle Mutations with Program Repair. ICST Workshops 2021: 25-34 - [c170]Manuel Benz, Erik Krogh Kristensen, Linghui Luo
, Nataniel P. Borges Jr., Eric Bodden, Andreas Zeller:
Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis. Software Engineering 2021: 23-26 - [c169]Rahul Gopinath, Nikolas Havrikov
, Alexander Kampmann, Ezekiel O. Soremekun, Andreas Zeller:
Learning Circumstances of Software Failures. Software Engineering 2021: 47-48 - [c168]Rahul Gopinath, Björn Mathis, Andreas Zeller:
Mining Input Grammars. Software Engineering 2021: 49-50 - [c167]Lukas Kirschner, Ezekiel O. Soremekun, Andreas Zeller:
Isolating Faults in Failure-Inducing Inputs. Software Engineering 2021: 63-64 - [c166]Nataniel Pereira Borges Jr., Nikolas Havrikov
, Andreas Zeller:
Generating Tests that Cover Input Structure. Software Engineering 2021: 85-86 - [c165]Ezekiel O. Soremekun, Esteban Pavese, Nikolas Havrikov, Lars Grunske, Andreas Zeller:
Probabilistic Grammar-based Test Generation. Software Engineering 2021: 97-98 - [c164]Johannes Lampel, Sascha Just, Sven Apel
, Andreas Zeller
:
When life gives you oranges: detecting and diagnosing intermittent job failures at Mozilla. ESEC/SIGSOFT FSE 2021: 1381-1392 - [c163]Konstantin Kuznetsov, Chen Fu
, Song Gao
, David N. Jansen
, Lijun Zhang
, Andreas Zeller
:
Frontmatter: mining Android user interfaces at scale. ESEC/SIGSOFT FSE 2021: 1580-1584 - [i26]Ezekiel O. Soremekun, Lukas Kirschner, Marcel Böhme, Andreas Zeller:
Locating Faults with Program Slicing: An Empirical Analysis. CoRR abs/2101.03008 (2021) - [i25]Jiawei Wang, Li Li, Andreas Zeller:
Restoring Execution Environments of Jupyter Notebooks. CoRR abs/2103.02959 (2021) - [i24]Konstantin Kuznetsov, Chen Fu
, Song Gao
, David N. Jansen, Lijun Zhang, Andreas Zeller:
What do all these Buttons do? Statically Mining Android User Interfaces at Scale. CoRR abs/2105.03144 (2021) - [i23]Rafael Dutra, Rahul Gopinath, Andreas Zeller:
FormatFuzzer: Effective Fuzzing of Binary File Formats. CoRR abs/2109.11277 (2021) - 2020
- [j36]Marco Grochowski, Hendrik Simon, Dimitri Bohlender, Stefan Kowalewski, Andreas Löcklin, Timo Müller, Nasser Jazdi, Andreas Zeller
, Michael Weyrich:
Formale Methoden für rekonfigurierbare cyber-physische Systeme in der Produktion. Autom. 68(1): 3-14 (2020) - [c162]Tanapuch Wanwarang, Nataniel P. Borges Jr., Leon Bettscheider, Andreas Zeller
:
Testing Apps With Real-World Inputs. AST@ICSE 2020: 1-10 - [c161]Jiawei Wang, Li Li, Andreas Zeller
:
Better code, better sharing: on the need of analyzing jupyter notebooks. ICSE (NIER) 2020: 53-56 - [c160]Lukas Kirschner, Ezekiel O. Soremekun
, Andreas Zeller:
Debugging inputs. ICSE 2020: 75-86 - [c159]Jiawei Wang, Tzu-yang Kuo, Li Li, Andreas Zeller
:
Restoring reproducibility of Jupyter notebooks. ICSE (Companion Volume) 2020: 288-289 - [c158]Lukas Kirschner, Ezekiel O. Soremekun
, Andreas Zeller
:
Debugging inputs. ICSE (Companion Volume) 2020: 300-301 - [c157]Manuel Benz, Erik Krogh Kristensen, Linghui Luo
, Nataniel P. Borges, Eric Bodden, Andreas Zeller
:
Heaps'n leaks: how heap snapshots improve Android taint analysis. ICSE 2020: 1061-1072 - [c156]Björn Mathis, Rahul Gopinath, Andreas Zeller
:
Learning input tokens for effective fuzzing. ISSTA 2020: 27-37 - [c155]Rahul Gopinath, Alexander Kampmann, Nikolas Havrikov
, Ezekiel O. Soremekun
, Andreas Zeller
:
Abstracting failure-inducing inputs. ISSTA 2020: 237-248 - [c154]Jiawei Wang, Tzu-yang Kuo, Li Li, Andreas Zeller
:
Assessing and Restoring Reproducibility of Jupyter Notebooks. ASE 2020: 138-149 - [c153]Nataniel P. Borges, Jenny Rau, Andreas Zeller
:
Speeding up GUI Testing by On-Device Test Generation. ASE 2020: 1340-1343 - [c152]Paolo Calciati
, Konstantin Kuznetsov, Alessandra Gorla, Andreas Zeller
:
Automatically Granted Permissions in Android apps: An Empirical Study on their Prevalence and on the Potential Threats for Privacy. MSR 2020: 114-124 - [c151]Rahul Gopinath
, Björn Mathis, Andreas Zeller
:
Mining input grammars from dynamic control flow. ESEC/SIGSOFT FSE 2020: 172-183 - [c150]Alexander Kampmann
, Nikolas Havrikov
, Ezekiel O. Soremekun
, Andreas Zeller
:
When does my program do this? learning circumstances of software behavior. ESEC/SIGSOFT FSE 2020: 1228-1239 - [i22]Ezekiel O. Soremekun
, Sakshi Udeshi, Sudipta Chattopadhyay, Andreas Zeller:
Exposing Backdoors in Robust Machine Learning Models. CoRR abs/2003.00865 (2020) - [i21]Rahul Gopinath, Bachir Bendrissou, Björn Mathis, Andreas Zeller:
Fuzzing with Fast Failure Feedback. CoRR abs/2012.13516 (2020)
2010 – 2019
- 2019
- [j35]Mohammad Naseri, Nataniel P. Borges Jr.
, Andreas Zeller, Romain Rouvoy:
AccessiLeaks: Investigating Privacy Leaks Exposed by the Android Accessibility Service. Proc. Priv. Enhancing Technol. 2019(2): 291-305 (2019) - [j34]Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, Andreas Zeller
:
Quantifying the Information Leakage in Cache Attacks via Symbolic Execution. ACM Trans. Embed. Comput. Syst. 18(1): 7:1-7:27 (2019) - [c149]Alexander Kampmann
, Andreas Zeller
:
Carving parameterized unit tests. ICSE (Companion Volume) 2019: 248-249 - [c148]Nataniel P. Borges Jr.
, Andreas Zeller
:
Why Does this App Need this Data? Automatic Tightening of Resource Access. ICST 2019: 449-456 - [c147]Christian Degott, Nataniel P. Borges Jr.
, Andreas Zeller
:
Learning user interface element interactions. ISSTA 2019: 296-306 - [c146]Nikolas Havrikov
, Andreas Zeller
:
Systematically Covering Input Structure. ASE 2019: 189-199 - [c145]Björn Mathis, Rahul Gopinath
, Michaël Mera, Alexander Kampmann, Matthias Höschele, Andreas Zeller
:
Parser-directed fuzzing. PLDI 2019: 548-560 - [i20]Alexander Kampmann, Andreas Zeller:
Bridging the Gap between Unit Test Generation and System Test Generation. CoRR abs/1906.01463 (2019) - [i19]Jiawei Wang, Li Li, Andreas Zeller:
Better Code, Better Sharing: On the Need of Analyzing Jupyter Notebooks. CoRR abs/1906.05234 (2019) - [i18]Rahul Gopinath, Andreas Zeller:
Building Fast Fuzzers. CoRR abs/1911.07707 (2019) - [i17]Rahul Gopinath, Björn Mathis, Andreas Zeller:
Inferring Input Grammars from Dynamic Control Flow. CoRR abs/1912.05937 (2019) - 2018
- [j33]Andreas Zeller
, Nasser Jazdi
, Michael Weyrich
:
Verifikation verteilter Automatisierungssysteme auf Basis einer Modellkomposition. Autom. 66(6): 456-470 (2018) - [c144]Konstantin Kuznetsov, Vitalii Avdiienko, Alessandra Gorla, Andreas Zeller
:
Analyzing the user interface of Android apps. MOBILESoft@ICSE 2018: 84-87 - [c143]Nataniel P. Borges Jr.
, Maria Gómez, Andreas Zeller
:
Guiding app testing with mined interaction models. MOBILESoft@ICSE 2018: 133-143 - [c142]Andreas Rau, Jenny Hotzkow, Andreas Zeller
:
Efficient GUI test generation by learning from tests of other apps. ICSE (Companion Volume) 2018: 370-371 - [c141]Alessio Gambi, Jonathan Bell, Andreas Zeller
:
Practical Test Dependency Detection. ICST 2018: 1-11 - [c140]Rahul Gopinath
, Björn Mathis, Andreas Zeller
:
If You Can't Kill a Supermutant, You Have a Problem. ICST Workshops 2018: 18-24 - [c139]Andreas Rau, Jenny Hotzkow, Andreas Zeller
:
Transferring Tests Across Web Applications. ICWE 2018: 50-64 - [c138]Nataniel P. Borges Jr.
, Jenny Hotzkow, Andreas Zeller
:
DroidMate-2: a platform for Android test generation. ASE 2018: 916-919 - [c137]Maleknaz Nayebi, Konstantin Kuznetsov, Paul Chen, Andreas Zeller
, Guenther Ruhe:
Anatomy of functionality deletion: an exploratory study on mobile apps. MSR 2018: 243-253 - [c136]Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun, Marcel Böhme, Andreas Zeller:
Detecting Information Flow by Mutating Input Data. Software Engineering 2018: 61-62 - [c135]Marcel Böhme, Ezekiel Olamide Soremekun, Sudipta Chattopadhyay, Emamurho Ugherughe, Andreas Zeller:
Wo ist der Fehler und wie wird er behoben? Ein Experiment mit Softwareentwicklern. Software Engineering 2018: 101-102 - [i16]Rahul Gopinath, Björn Mathis, Matthias Höschele, Alexander Kampmann, Andreas Zeller:
Sample-Free Learning of Input Grammars for Comprehensive Software Fuzzing. CoRR abs/1810.08289 (2018) - [i15]Esteban Pavese, Ezekiel O. Soremekun, Nikolas Havrikov, Lars Grunske, Andreas Zeller:
Inputs from Hell: Generating Uncommon Inputs from Common Samples. CoRR abs/1812.07525 (2018) - [i14]Alexander Kampmann, Andreas Zeller:
Carving Parameterized Unit Tests. CoRR abs/1812.07932 (2018) - 2017
- [j32]Tevfik Bultan, Andreas Zeller
:
Guest editorial: emerging areas in automated software engineering research. Autom. Softw. Eng. 24(4): 863-864 (2017) - [j31]Jan-Philipp Schmidt, Andreas Zeller
, Michael Weyrich
:
Modellgetriebene Entwicklung serviceorientierter Anlagensteuerungen. Autom. 65(1): 26-36 (2017) - [c134]Nikolas Havrikov
, Alessio Gambi, Andreas Zeller
, Andrea Arcuri, Juan Pablo Galeotti:
Generating Unit Tests with Structured System Interactions. AST@ICSE 2017: 30-33 - [c133]Matthias Höschele, Andreas Zeller
:
Mining input grammars with AUTOGRAM. ICSE (Companion Volume) 2017: 31-34 - [c132]Andreas Zeller
:
Search-Based Testing and System Testing: A Marriage in Heaven. SBST@ICSE 2017: 49-50 - [c131]Vitalii Avdiienko, Konstantin Kuznetsov, Isabelle Rommelfanger, Andreas Rau, Alessandra Gorla, Andreas Zeller
:
Detecting behavior anomalies in graphical user interfaces. ICSE (Companion Volume) 2017: 201-203 - [c130]Marcel Böhme
, Ezekiel O. Soremekun
, Sudipta Chattopadhyay
, Emamurho Ugherughe, Andreas Zeller
:
How developers debug software the DbgBench dataset: poster. ICSE (Companion Volume) 2017: 244-246 - [c129]Alessio Gambi, Alessandra Gorla, Andreas Zeller
:
O!Snap: Cost-Efficient Testing in the Cloud. ICST 2017: 454-459 - [c128]Alessio Gambi, Sebastian Kappler, Johannes Lampel, Andreas Zeller
:
CUT: automatic unit testing in the cloud. ISSTA 2017: 364-367 - [c127]Björn Mathis, Vitalii Avdiienko, Ezekiel O. Soremekun
, Marcel Böhme
, Andreas Zeller
:
Detecting information flow by mutating input data. ASE 2017: 263-273 - [c126]Sudipta Chattopadhyay
, Moritz Beck, Ahmed Rezine, Andreas Zeller
:
Quantifying the information leak in cache attacks via symbolic execution. MEMOCODE 2017: 25-35 - [c125]Alessio Gambi, Christoph Mayr-Dorn
, Andreas Zeller
:
Model-based testing of end-user collaboration intensive systems. SAC 2017: 1213-1218 - [c124]Konrad Jamrozik, Andreas Zeller:
Mining Sandboxes for Security - Automatisches Sandboxing für Software-Sicherheit. Software Engineering 2017: 111-112 - [c123]Vitalii Avdiienko, Konstantin Kuznetsov, Alessandra Gorla, Andreas Zeller, Steven Arzt, Siegfried Rasthofer, Eric Bodden:
App Mining. Software Engineering 2017: 113-114 - [c122]Marcel Böhme
, Ezekiel O. Soremekun
, Sudipta Chattopadhyay
, Emamurho Ugherughe, Andreas Zeller
:
Where is the bug and how is it fixed? an experiment with practitioners. ESEC/SIGSOFT FSE 2017: 117-128 - [i13]Matthias Höschele, Alexander Kampmann, Andreas Zeller:
Active Learning of Input Grammars. CoRR abs/1708.08731 (2017) - [i12]Junjie Chen, Alastair F. Donaldson, Andreas Zeller, Hongyu Zhang:
Testing and Verification of Compilers (Dagstuhl Seminar 17502). Dagstuhl Reports 7(12): 50-65 (2017) - 2016
- [j30]Andreas Zeller:
Automatisches Sicherheitstesten. Datenschutz und Datensicherheit 40(8): 519-522 (2016) - [j29]Kim Herzig, Sascha Just, Andreas Zeller
:
The impact of tangled code changes on defect prediction models. Empir. Softw. Eng. 21(2): 303-336 (2016) - [j28]Stephen M. Blackburn, Amer Diwan, Matthias Hauswirth, Peter F. Sweeney, José Nelson Amaral, Tim Brecht, Lubomír Bulej, Cliff Click, Lieven Eeckhout, Sebastian Fischmeister, Daniel Frampton, Laurie J. Hendren, Michael Hind, Antony L. Hosking, Richard E. Jones, Tomas Kalibera, Nathan Keynes, Nathaniel Nystrom, Andreas Zeller:
The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations. ACM Trans. Program. Lang. Syst. 38(4): 15:1-15:20 (2016) - [c121]Clemens Hammacher, Kevin Streit, Andreas Zeller
, Sebastian Hack:
Thread-level speculation with kernel support. CC 2016: 1-11 - [c120]Andreas Zeller, Michael Weyrich
:
Challenges for functional testing of reconfigurable production systems. ETFA 2016: 1-4 - [c119]Andreas Zeller:
Software verstehen, zerstören, schützen mit automatischen Software-Modellen. GI-Jahrestagung 2016: 41-42 - [c118]Konrad Jamrozik, Philipp von Styp-Rekowsky, Andreas Zeller
:
Mining sandboxes. ICSE 2016: 37-48 - [c117]Konrad Jamrozik, Andreas Zeller
:
DroidMate: a robust and extensible test generator for Android. MOBILESoft 2016: 293-294 - [c116]Andreas Zeller:
Mining apps for anomalies. SoftwareMining@ASE 2016: 1 - [c115]Matthias Höschele, Andreas Zeller
:
Mining input grammars from dynamic taints. ASE 2016: 720-725 - [c114]Konstantin Kuznetsov, Vitalii Avdiienko, Alessandra Gorla, Andreas Zeller
:
Checking app user interfaces against app descriptions. WAMA@SIGSOFT FSE 2016: 1-7 - [c113]Vitalii Avdiienko, Konstantin Kuznetsov, Paolo Calciati
, Juan Carlos Caiza Román, Alessandra Gorla, Andreas Zeller
:
CALAPPA: a toolchain for mining Android applications. WAMA@SIGSOFT FSE 2016: 22-25 - [p5]Andreas Zeller:
Mining apps for anomalies. Perspectives on Data Science for Software Engineering 2016: 37-42 - [e10]Andreas Zeller, Abhik Roychoudhury:
Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016. ACM 2016, ISBN 978-1-4503-4390-9 [contents] - [i11]Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, Andreas Zeller:
Quantifying the Information Leak in Cache Attacks through Symbolic Execution. CoRR abs/1611.04426 (2016) - 2015
- [j27]Kevin Streit, Johannes Doerfert
, Clemens Hammacher, Andreas Zeller
, Sebastian Hack:
Generalized Task Parallelism. ACM Trans. Archit. Code Optim. 12(1): 8:1-8:25 (2015) - [j26]Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
:
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking. IEEE Trans. Software Eng. 41(10): 1019-1037 (2015) - [j25]Matthias Schur, Andreas Roth, Andreas Zeller
:
Mining Workflow Models from Web Applications. IEEE Trans. Software Eng. 41(12): 1184-1201 (2015) - [c112]Andreas Zeller, Michael Weyrich
:
Test case selection for networked production systems. ETFA 2015: 1-4 - [c111]Kevin Salvesen, Juan P. Galeotti, Florian Gross, Gordon Fraser, Andreas Zeller
:
Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing. SBST@ICSE 2015: 32-35 - [c110]Vitalii Avdiienko, Konstantin Kuznetsov, Alessandra Gorla, Andreas Zeller
, Steven Arzt
, Siegfried Rasthofer, Eric Bodden
:
Mining Apps for Abnormal Usage of Sensitive Data. ICSE (1) 2015: 426-436