( en | de | ru )

 

Disambiguation of "Christakis, Maria"

Author of the publication

copydeleteadd this publication to your clipboard
Detection of Asynchronous Message Passing Errors Using Static Analysis.

, and . PADL, volume 6539 of Lecture Notes in Computer Science, page 5-18. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christakis Chrysanthou

Christakis Charis

Christakis Christoforou

Petra Marialke-Kandaouroff

Manuel Mariadasa

 

Other publications of authors with the same name

DeepSearch: a simple and effective blackbox attack for deep neural networks., , and . ESEC/SIGSOFT FSE, page 800-812. ACM, (2020)Bounded Abstract Interpretation., and . SAS, volume 9837 of Lecture Notes in Computer Science, page 105-125. Springer, (2016)Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations., , and . SEFM, volume 8702 of Lecture Notes in Computer Science, page 65-80. Springer, (2014)Automatically Testing Functional Properties of Code Translation Models., , and . AAAI, page 21055-21062. AAAI Press, (2024)Differentially testing soundness and precision of program analyzers., , and . ISSTA, page 239-250. ACM, (2019)Synthesizing Tasks for Block-based Programming., , , , , , and . NeurIPS, (2020)Test-driven development of concurrent programs using concuerror., , and . Erlang Workshop, page 51-61. ACM, (2011)Brückenschlag zwischen Verifikation und systematischem Testen.. Ausgezeichnete Informatikdissertationen, volume D-16 of LNI, GI, (2015)Dependency-Aware Metamorphic Testing of Datalog Engines., , and . ISSTA, page 236-247. ACM, (2023)Lab Conditions for Research on Explainable Automated Decisions., , , , , , , and . TAILOR, volume 12641 of Lecture Notes in Computer Science, page 83-90. Springer, (2020)