Maria Christakis
Title
Cited by
Cited by
Year
What developers want and need from program analysis: an empirical study
M Christakis, C Bird
Proceedings of the 31st IEEE/ACM international conference on automated …, 2016
1402016
Guiding Dynamic Symbolic Execution toward Unverified Program Executions
M Christakis, P Müller, V Wüstholz
862015
Collaborative verification and testing with explicit assumptions
M Christakis, P Müller, V Wüstholz
International Symposium on Formal Methods, 132-146, 2012
632012
Systematic Testing for Detecting Concurrency Errors in Erlang Programs
M Christakis, A Gotovos, K Sagonas
552013
Static detection of race conditions in Erlang
M Christakis, K Sagonas
International Symposium on Practical Aspects of Declarative Languages, 119-133, 2010
422010
Harvey: A greybox fuzzer for smart contracts
V Wüstholz, M Christakis
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
402020
Detection of asynchronous message passing errors using static analysis
M Christakis, K Sagonas
International Symposium on Practical Aspects of Declarative Languages, 5-18, 2011
402011
An experimental evaluation of deliberate unsoundness in a static program analyzer
M Christakis, P Müller, V Wüstholz
International Workshop on Verification, Model Checking, and Abstract …, 2015
372015
Test-driven development of concurrent programs using Concuerror
A Gotovos, M Christakis, K Sagonas
Proceedings of the 10th ACM SIGPLAN workshop on Erlang, 51-61, 2011
282011
Proving memory safety of the ANI Windows image parser using compositional exhaustive testing
M Christakis, P Godefroid
International Workshop on Verification, Model Checking, and Abstract …, 2015
262015
Formalizing and verifying a modern build language
M Christakis, KRM Leino, W Schulte
International Symposium on Formal Methods, 643-657, 2014
232014
Targeted greybox fuzzing with static lookahead analysis
V Wüstholz, M Christakis
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE …, 2020
212020
Integrated environment for diagnosing verification errors
M Christakis, KRM Leino, P Müller, V Wüstholz
International Conference on Tools and Algorithms for the Construction and …, 2016
212016
Differentially testing soundness and precision of program analyzers
C Klinger, M Christakis, V Wüstholz
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
202019
IC-Cut: A compositional search strategy for dynamic test generation
M Christakis, P Godefroid
International SPIN Workshop on Model Checking of Software, 300-318, 2015
192015
Automatically testing implementations of numerical abstract domains
A Bugariu, V Wüstholz, M Christakis, P Müller
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
172018
Failure-directed program trimming
K Ferles, V Wüstholz, M Christakis, I Dillig
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
162017
Narrowing the gap between verification and systematic testing
M Christakis
ETH Zurich, 2015
162015
Cfar: A tool to increase communication, productivity, and review quality in collaborative code reviews
AZ Henley, KΙ Muçlu, M Christakis, SD Fleming, C Bird
Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems …, 2018
142018
Detecting critical bugs in SMT solvers using blackbox mutational fuzzing
MN Mansur, M Christakis, V Wüstholz, F Zhang
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
132020
The system can't perform the operation now. Try again later.
Articles 1–20