Maria Christakis

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Automated Safety Verification of Programs Invoking Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Perfectly parallel fairness certification of neural networks.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Automatically Tailoring Static Analysis to Custom Usage Scenarios.

[BibT_eX]

[DOI]

CoRR, 2020

RAID: Randomized Adversarial-Input Detection for Neural Networks.

[BibT_eX]

[DOI]

Hasan Ferit Eniser

CoRR, 2020

Lab Conditions for Research on Explainable Automated Decisions.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy AI - Integrating Learning, Optimization and Reasoning, 2020

DeepSearch: a simple and effective blackbox attack for deep neural networks.

[BibT_eX]

[DOI]

Fuyuan Zhang

Sankalan Pal Chowdhury

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Harvey: a greybox fuzzer for smart contracts.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Detecting critical bugs in SMT solvers using blackbox mutational fuzzing.

[BibT_eX]

[DOI]

Fuyuan Zhang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Synthesizing Tasks for Block-based Programming.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Targeted greybox fuzzing with static lookahead analysis.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.

[BibT_eX]

[DOI]

Manuel Rigger

Dagstuhl Artifacts Ser., 2019

DeepSearch: Simple and Effective Blackbox Fuzzing of Deep Neural Networks.

[BibT_eX]

[DOI]

Fuyuan Zhang

Sankalan Pal Chowdhury

CoRR, 2019

Semantic Fault Localization and Suspiciousness Ranking.

[BibT_eX]

[DOI]

Matthias Heizmann

Christian Schilling

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Differentially testing soundness and precision of program analyzers.

[BibT_eX]

[DOI]

Christian Klinger

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018

Front Matter - ECOOP 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee.

[BibT_eX]

[DOI]

Philipp Haller

Marianna Rapoport

Dagstuhl Artifacts Ser., 2018

Learning Inputs in Greybox Fuzzing.

[BibT_eX]

[DOI]

CoRR, 2018

Specification Mining for Smart Contracts with Automatic Abstraction Tuning.

[BibT_eX]

[DOI]

CoRR, 2018

Automatically testing implementations of numerical abstract domains.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

CFar: A Tool to Increase Communication, Productivity, and Review Quality in Collaborative Code Reviews.

[BibT_eX]

[DOI]

Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

2017

On narrowing the gap between verification and systematic testing.

[BibT_eX]

[DOI]

it Inf. Technol., 2017

Failure-Directed Program Trimming (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2017

Failure-directed program trimming.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

A general framework for dynamic stub injection.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Integrated Environment for Diagnosing Verification Errors.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Bounded Abstract Interpretation.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 23rd International Symposium, 2016

What developers want and need from program analysis: an empirical study.

[BibT_eX]

[DOI]

Christian Bird

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Guiding dynamic symbolic execution toward unverified program executions.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Narrowing the gap between verification and systematic testing.

[BibT_eX]

[DOI]

PhD thesis, 2015

Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing.

[BibT_eX]

[DOI]

Patrice Godefroid

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

IC-Cut: A Compositional Search Strategy for Dynamic Test Generation.

[BibT_eX]

[DOI]

Patrice Godefroid

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Brückenschlag zwischen Verifikation und systematischem Testen.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2015, 2015

2014

Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Dynamic Test Generation with Static Fields and Initializers.

[BibT_eX]

[DOI]

Patrick Emmisberger

Proceedings of the Runtime Verification - 5th International Conference, 2014

Formalizing and Verifying a Modern Build Language.

[BibT_eX]

[DOI]

K. Rustan M. Leino

Wolfram Schulte

Proceedings of the FM 2014: Formal Methods, 2014

2013

Systematic Testing for Detecting Concurrency Errors in Erlang Programs.

[BibT_eX]

[DOI]

Alkis Gotovos

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Collaborative Verification and Testing with Explicit Assumptions.

[BibT_eX]

[DOI]

Proceedings of the FM 2012: Formal Methods, 2012

2011

Detection of Asynchronous Message Passing Errors Using Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2011

Test-driven development of concurrent programs using concuerror.

[BibT_eX]

[DOI]

Alkis Gotovos

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

2010

Static Detection of Race Conditions in Erlang.

[BibT_eX]

[DOI]