default search action

combined dblp search
author search
venue search
publication search

ask others

Maria Christakis

> Home > Persons

Person information

affiliation: TU Wien, Faculty of Informatics, Vienna, Austria

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c44]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/EniserWC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/EniserWC24
Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis:
Automatically Testing Functional Properties of Code Translation Models. AAAI 2024: 21055-21062
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/AthavaleBCMNW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AthavaleBCMNW24
Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher:
Verifying Global Two-Safety Properties in Neural Networks with Confidence. CAV (2) 2024: 329-351
[c42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/WesleyCNTWG24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/WesleyCNTWG24
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel:
Inductive Predicate Synthesis Modulo Programs. ECOOP 2024: 43:1-43:30
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/icaps/EisenhutSFHC024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icaps/EisenhutSFHC024
Jan Eisenhut, Xandra Schuler, Daniel Fiser, Daniel Höller, Maria Christakis, Jörg Hoffmann:
New Fuzzing Biases for Action Policy Testing. ICAPS 2024: 162-167
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/2024
Maria Christakis, Michael Pradel:
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024. ACM 2024, ISBN 979-8-4007-0612-7 [contents]
[i22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-11514
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-11514
Hasan Ferit Eniser, Hanliang Zhang, Cristina David, Meng Wang, Maria Christakis, Brandon Paulsen, Joey Dodds, Daniel Kroening:
Towards Translating Real-World Code with LLMs: A Study of Translating to Rust. CoRR abs/2405.11514 (2024)
[i21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-14400
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-14400
Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher:
Verifying Global Two-Safety Properties in Neural Networks with Confidence. CoRR abs/2405.14400 (2024)
[i20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-08455
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-08455
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel:
Inductive Predicate Synthesis Modulo Programs (Extended). CoRR abs/2407.08455 (2024)
2023
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/aips/EisenhutTC023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/EisenhutTC023
Jan Eisenhut, Álvaro Torralba, Maria Christakis, Jörg Hoffmann:
Automatic Metamorphic Test Oracles for Action-Policy Testing. ICAPS 2023: 109-117
[c39]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/ChristakisE0SW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ChristakisE0SW23
Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz:
Specifying and Testing k-Safety Properties for Machine-Learning Models. IJCAI 2023: 4748-4757
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/MansurWC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/MansurWC23
Muhammad Numair Mansur, Valentin Wüstholz, Maria Christakis:
Dependency-Aware Metamorphic Testing of Datalog Engines. ISSTA 2023: 236-247
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/OunjaiWC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/OunjaiWC23
Jiradet Ounjai, Valentin Wüstholz, Maria Christakis:
Green Fuzzer Benchmarking. ISSTA 2023: 1396-1406
[i19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-17518
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-17518
Alperen Tercan, Ahana Ghosh, Hasan Ferit Eniser, Maria Christakis, Adish Singla:
Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks. CoRR abs/2305.17518 (2023)
[i18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-12813
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-12813
Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis:
Automatically Testing Functional Properties of Code Translation Models. CoRR abs/2309.12813 (2023)
[i17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/BohmeCPSZE23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/BohmeCPSZE23
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
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/dbsk/RiggerBCL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dbsk/RiggerBCL22
Manuel Rigger, Alexander Böhm, Maria Christakis, Eric Lo:
Report from Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Management Systems. Datenbank-Spektrum 22(3): 261-263 (2022)
[c36]
- view
  - electronic edition @ aaai.org
  - no references & citations available
- export record
  dblp key:
  - conf/aips/SteinmetzFEFGHH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aips/SteinmetzFEFGHH22
Marcel Steinmetz, Daniel Fiser, Hasan Ferit Eniser, Patrick Ferber, Timo P. Gros, Philippe Heim, Daniel Höller, Xandra Schuler, Valentin Wüstholz, Maria Christakis, Jörg Hoffmann:
Debugging a Policy: Automatic Action-Policy Testing in AI Planning. ICAPS 2022: 353-361
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/EniserGW0C22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/EniserGW0C22
Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, Maria Christakis:
Metamorphic relations via relaxations: an approach to obtain oracles for action-policy testing. ISSTA 2022: 52-63
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ChristakisCFLMP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ChristakisCFLMP22
Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Muhammad Numair Mansur, Lee Pike, Nicolás Rosner, Martin Schäf, Aritra Sengupta, Willem Visser:
Input splitting for cloud-based static application security testing platforms. ESEC/SIGSOFT FSE 2022: 1367-1378
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/WesleyCNTWG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/WesleyCNTWG22
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel:
Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. VMCAI 2022: 425-449
[i16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-06054
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-06054
Maria Christakis, Hasan Ferit Eniser, Jörg Hoffmann, Adish Singla, Valentin Wüstholz:
Specifying and Testing k-Safety Properties for Machine-Learning Models. CoRR abs/2206.06054 (2022)
2021
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChristakisEHHKL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChristakisEHHKL21
Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz:
Automated Safety Verification of Programs Invoking Neural Networks. CAV (1) 2021: 201-224
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/MansurMCNW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MansurMCNW20
Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz:
Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios. CAV (2) 2021: 777-800
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/WesleyCNTWG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/WesleyCNTWG21
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel:
Compositional Verification of Smart Contracts Through Communication Abstraction. SAS 2021: 429-452
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/MansurCW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/MansurCW21
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz:
Metamorphic testing of Datalog engines. ESEC/SIGSOFT FSE 2021: 639-650
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/LoharJSDC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/LoharJSDC21
Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova, Maria Christakis:
A Two-Phase Approach for Conditional Floating-Point Verification. TACAS (2) 2021: 43-63
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-08583
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-08583
Scott Wesley, Maria Christakis, Jorge A. Navas, Richard J. Trefler, Valentin Wüstholz, Arie Gurfinkel:
Compositional Verification of Smart Contracts Through Communication Abstraction (Extended). CoRR abs/2107.08583 (2021)
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/BjornerCMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/BjornerCMR21
Nikolaj S. Bjørner, Maria Christakis, Matteo Maffei, Grigore Rosu:
Rigorous Methods for Smart Contracts (Dagstuhl Seminar 21431). Dagstuhl Reports 11(9): 80-101 (2021)
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/BohmCLR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/BohmCLR21
Alexander Böhm, Maria Christakis, Eric Lo, Manuel Rigger:
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442). Dagstuhl Reports 11(10): 20-35 (2021)
2020
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/UrbanCWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/UrbanCWZ20
Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang:
Perfectly parallel fairness certification of neural networks. Proc. ACM Program. Lang. 4(OOPSLA): 185:1-185:30 (2020)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/WustholzC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WustholzC20
Valentin Wüstholz, Maria Christakis:
Targeted greybox fuzzing with static lookahead analysis. ICSE 2020: 789-800
[c26]
- view
  - electronic edition @ neurips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/AhmedCEFGRS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/AhmedCEFGRS20
Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla:
Synthesizing Tasks for Block-based Programming. NeurIPS 2020
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/MansurCWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/MansurCWZ20
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang:
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing. ESEC/SIGSOFT FSE 2020: 701-712
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ZhangCC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ZhangCC20
Fuyuan Zhang, Sankalan Pal Chowdhury, Maria Christakis:
DeepSearch: a simple and effective blackbox attack for deep neural networks. ESEC/SIGSOFT FSE 2020: 800-812
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/WustholzC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/WustholzC20
Valentin Wüstholz, Maria Christakis:
Harvey: a greybox fuzzer for smart contracts. ESEC/SIGSOFT FSE 2020: 1398-1409
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/tailor/BaierCGGGH0K20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tailor/BaierCGGGH0K20
Christel Baier, Maria Christakis, Timo P. Gros, David Groß, Stefan Gumhold, Holger Hermanns, Jörg Hoffmann, Michaela Klauck:
Lab Conditions for Research on Explainable Automated Decisions. TAILOR 2020: 83-90
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/2020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/2020
Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel:
Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12549, Springer 2020, ISBN 978-3-030-63617-3 [contents]
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-02776
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-02776
Hasan Ferit Eniser, Maria Christakis, Valentin Wüstholz:
RAID: Randomized Adversarial-Input Detection for Neural Networks. CoRR abs/2002.02776 (2020)
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-05934
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-05934
Muhammad Numair Mansur, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang:
Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing. CoRR abs/2004.05934 (2020)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-16913
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-16913
Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla:
Synthesizing Tasks for Block-based Programming. CoRR abs/2006.16913 (2020)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-13860
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-13860
Muhammad Numair Mansur, Benjamin Mariano, Maria Christakis, Jorge A. Navas, Valentin Wüstholz:
Automatically Tailoring Static Analysis to Custom Usage Scenarios. CoRR abs/2009.13860 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/darts/ChristakisR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/ChristakisR19
Maria Christakis, Manuel Rigger:
Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 5(2): 00:i-00:xi (2019)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/KlingerCW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/KlingerCW19
Christian Klinger, Maria Christakis, Valentin Wüstholz:
Differentially testing soundness and precision of program analyzers. ISSTA 2019: 239-250
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ChristakisHMSW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChristakisHMSW19
Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wüstholz:
Semantic Fault Localization and Suspiciousness Ranking. TACAS (1) 2019: 226-243
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-06944
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-06944
Valentin Wüstholz, Maria Christakis:
Harvey: A Greybox Fuzzer for Smart Contracts. CoRR abs/1905.06944 (2019)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1905-07147
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-07147
Valentin Wüstholz, Maria Christakis:
Targeted Greybox Fuzzing with Static Lookahead Analysis. CoRR abs/1905.07147 (2019)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1910-06296
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1910-06296
Fuyuan Zhang, Sankalan Pal Chowdhury, Maria Christakis:
DeepSearch: Simple and Effective Blackbox Fuzzing of Deep Neural Networks. CoRR abs/1910.06296 (2019)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-02499
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-02499
Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang:
Perfectly Parallel Fairness Certification of Neural Networks. CoRR abs/1912.02499 (2019)
2018
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/darts/ChristakisHR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/ChristakisHR18
Maria Christakis, Philipp Haller, Marianna Rapoport:
Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee. Dagstuhl Artifacts Ser. 4(3): 00:i-00:xii (2018)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/HenleyMCFB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/HenleyMCFB18
Austin Z. Henley, KIotavanç Muçlu, Maria Christakis, Scott D. Fleming, Christian Bird:
CFar: A Tool to Increase Communication, Productivity, and Review Quality in Collaborative Code Reviews. CHI 2018: 157
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BugariuWC018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BugariuWC018
Alexandra Bugariu, Valentin Wüstholz, Maria Christakis, Peter Müller:
Automatically testing implementations of numerical abstract domains. ASE 2018: 768-778
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-07822
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-07822
Florentin Guth, Valentin Wüstholz, Maria Christakis, Peter Müller:
Specification Mining for Smart Contracts with Automatic Abstraction Tuning. CoRR abs/1807.07822 (2018)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-07875
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-07875
Valentin Wüstholz, Maria Christakis:
Learning Inputs in Greybox Fuzzing. CoRR abs/1807.07875 (2018)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1812-05033
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-05033
Christian Klinger, Maria Christakis, Valentin Wüstholz:
Differentially Testing Soundness and Precision of Program Analyzers. CoRR abs/1812.05033 (2018)
2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/it/Christakis17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/it/Christakis17
Maria Christakis:
On narrowing the gap between verification and systematic testing. it Inf. Technol. 59(4): 197 (2017)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChristakisEG017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChristakisEG017
Maria Christakis, Patrick Emmisberger, Patrice Godefroid, Peter Müller:
A general framework for dynamic stub injection. ICSE 2017: 586-596
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/FerlesWCD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/FerlesWCD17
Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig:
Failure-directed program trimming. ESEC/SIGSOFT FSE 2017: 174-185
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/FerlesWCD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FerlesWCD17
Kostas Ferles, Valentin Wüstholz, Maria Christakis, Isil Dillig:
Failure-Directed Program Trimming (Extended Version). CoRR abs/1706.04468 (2017)
2016
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Christakis0W16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Christakis0W16
Maria Christakis, Peter Müller, Valentin Wüstholz:
Guiding dynamic symbolic execution toward unverified program executions. ICSE 2016: 144-155
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/ChristakisB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/ChristakisB16
Maria Christakis, Christian Bird:
What developers want and need from program analysis: an empirical study. ASE 2016: 332-343
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ChristakisW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ChristakisW16
Maria Christakis, Valentin Wüstholz:
Bounded Abstract Interpretation. SAS 2016: 105-125
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/ChristakisL0W16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ChristakisL0W16
Maria Christakis, K. Rustan M. Leino, Peter Müller, Valentin Wüstholz:
Integrated Environment for Diagnosing Verification Errors. TACAS 2016: 424-441
2015
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/basesearch/Christakis15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/basesearch/Christakis15
Maria Christakis:
Narrowing the gap between verification and systematic testing. ETH Zurich, Zürich, Switzerland, 2015
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/ChristakisG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/ChristakisG15
Maria Christakis, Patrice Godefroid:
IC-Cut: A Compositional Search Strategy for Dynamic Test Generation. SPIN 2015: 300-318
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/Christakis0W15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/Christakis0W15
Maria Christakis, Peter Müller, Valentin Wüstholz:
An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. VMCAI 2015: 336-354
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/ChristakisG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/ChristakisG15
Maria Christakis, Patrice Godefroid:
Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. VMCAI 2015: 373-392
[p1]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/gi/Christakis15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gi/Christakis15
Maria Christakis:
Brückenschlag zwischen Verifikation und systematischem Testen. Ausgezeichnete Informatikdissertationen 2015: 61-70
2014
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ChristakisLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ChristakisLS14
Maria Christakis, K. Rustan M. Leino, Wolfram Schulte:
Formalizing and Verifying a Modern Build Language. FM 2014: 643-657
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ChristakisEM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ChristakisEM14
Maria Christakis, Patrick Emmisberger, Peter Müller:
Dynamic Test Generation with Static Fields and Initializers. RV 2014: 269-284
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ChristakisMW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ChristakisMW14
Maria Christakis, Peter Müller, Valentin Wüstholz:
Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. SEFM 2014: 65-80
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ChristakisGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ChristakisGS13
Maria Christakis, Alkis Gotovos, Konstantinos Sagonas:
Systematic Testing for Detecting Concurrency Errors in Erlang Programs. ICST 2013: 154-163
2012
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ChristakisMW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ChristakisMW12
Maria Christakis, Peter Müller, Valentin Wüstholz:
Collaborative Verification and Testing with Explicit Assumptions. FM 2012: 132-146
2011
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/erlang/GotovosCS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/erlang/GotovosCS11
Alkis Gotovos, Maria Christakis, Konstantinos Sagonas:
Test-driven development of concurrent programs using concuerror. Erlang Workshop 2011: 51-61
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/ChristakisS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ChristakisS11
Maria Christakis, Konstantinos Sagonas:
Detection of Asynchronous Message Passing Errors Using Static Analysis. PADL 2011: 5-18
2010
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/ChristakisS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/ChristakisS10
Maria Christakis, Konstantinos Sagonas:
Static Detection of Race Conditions in Erlang. PADL 2010: 119-133

Coauthor Index

see FAQ

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.