PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Christakis, Maria"

Author of the publication

copydeleteadd this publication to your clipboard
Guiding dynamic symbolic execution toward unverified program executions.

, , and . ICSE, page 144-155. ACM, (2016)

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.

Claudia Marianowski University of Stuttgart

apl. Prof. Dr. Maria Fyta University of Stuttgart

Maria Papadimitraki University of Stuttgart

Maria Hammer University of Stuttgart

Maria Barnhart University of Stuttgart

 

Other publications of authors with the same name

Differentially Testing Soundness and Precision of Program Analyzers., , and . CoRR, (2018)What developers want and need from program analysis: an empirical study., and . ASE, page 332-343. ACM, (2016)Test-driven development of concurrent programs using concuerror., , and . Erlang Workshop, page 51-61. ACM, (2011)Systematic Testing for Detecting Concurrency Errors in Erlang Programs., , and . ICST, page 154-163. IEEE Computer Society, (2013)Brückenschlag zwischen Verifikation und systematischem Testen.. Ausgezeichnete Informatikdissertationen, volume D-16 of LNI, GI, (2015)Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE., , , , , and . VMCAI, volume 13182 of Lecture Notes in Computer Science, page 425-449. Springer, (2022)Differentially testing soundness and precision of program analyzers., , and . ISSTA, page 239-250. ACM, (2019)Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations., , and . SEFM, volume 8702 of Lecture Notes in Computer Science, page 65-80. Springer, (2014)Formalizing and Verifying a Modern Build Language., , and . FM, volume 8442 of Lecture Notes in Computer Science, page 643-657. Springer, (2014)Bounded Abstract Interpretation., and . SAS, volume 9837 of Lecture Notes in Computer Science, page 105-125. Springer, (2016)