Skip to main content
Kent Academic Repository

Items where Author, Editor or other role is "Christaki, M."

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: C | G
Number of items: 15.

C

Christakis, Maria and Müller, Peter and Wüstholz, Valentin (2016) Guiding Dynamic Symbolic Execution Toward Unverified Program Executions. In: Proceedings of the 38th International Conference on Software Engineering. ICSE International Conference on Software Engineering . ACM, New York, USA, pp. 144-155. ISBN 978-1-4503-3900-1. (doi:10.1145/2884781.2884843) (KAR id:58937)
Format: PDF

Christakis, Maria, Wüstholz, Valentin (2016) Bounded Abstract Interpretation. In: Static Analysis 23rd International Symposium, SAS 2016, Proceedings. Lecture Notes in Computer Science (LNCS) , 9837. pp. 105-125. Springer ISBN 978-3-662-53412-0. E-ISBN 978-3-662-53413-7. (doi:10.1007/978-3-662-53413-7_6) (KAR id:58939)
Format: PDF

Christakis, Maria, Leino, K. Rustan M., Müller, Peter, Wüstholz, Valentin (2016) Integrated Environment for Diagnosing Verification Errors. In: Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Lecture Notes in Computer Science (LNCS) , 9636. pp. 424-441. Springer ISBN 978-3-662-49673-2. E-ISBN 978-3-662-49674-9. (doi:10.1007/978-3-662-49674-9_25) (KAR id:58940)
Format: PDF

Christakis, Maria and Bird, Christian (2016) What Developers Want and Need from Program Analysis: An Empirical Study. In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. ASE Automated Software Engineering . ACM, New York, USA, pp. 332-343. ISBN 978-1-4503-3845-5. (doi:10.1145/2970276.2970347) (KAR id:58938)
Format: PDF

Christakis, Maria, Müller, Peter, Wüstholz, Valentin (2015) An Experimental Evaluation of Deliberate Unsoundness in a Static Program Analyzer. In: Verification, Model Checking, and Abstract Interpretation 16th International Conference Proceedings. Lecture Notes in Computer Science (LNCS) , 8931. pp. 336-354. Springer ISBN 978-3-662-46080-1. E-ISBN 978-3-662-46081-8. (doi:10.1007/978-3-662-46081-8_19) (KAR id:58942)
Format: PDF

Christakis, Maria, Godefroid, Patrice (2015) IC-Cut: A Compositional Search Strategy for Dynamic Test Generation. In: Model Checking Software. 22nd International Symposium, SPIN 2015, Proceedings. Lecture Notes in Computer Science , 9232. pp. 300-318. Springer ISBN 978-3-319-23403-8. E-ISBN 978-3-319-23404-5. (doi:10.1007/978-3-319-23404-5_19) (KAR id:58941)
Format: PDF

Christakis, Maria, Godefroid, Patrice (2015) Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing. In: Verification, Model Checking, and Abstract Interpretation. Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015 Proceedings. Lecture Notes in Computer Science (LNCS) , 8931. pp. 373-392. Springer ISBN 978-3-662-46080-1. E-ISBN 978-3-662-46081-8. (doi:10.1007/978-3-662-46081-8_21) (KAR id:58943)
Format: PDF

Christakis, Maria, Emmisberger, Patrick, Müller, Peter (2014) Dynamic Test Generation with Static Fields and Initializers. In: Runtime Verification. 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings. Lecture Notes in Computer Science (LNCS) , 8734. pp. 269-284. ISBN 978-3-319-11163-6. E-ISBN 978-3-319-11164-3. (doi:10.1007/978-3-319-11164-3_23) (KAR id:58945)
Format: PDF

Christakis, Maria, Leino, K. Rustan M., Schulte, Wolfram (2014) Formalizing and Verifying a Modern Build Language. In: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science (LNCS) , 8442. pp. 643-657. ISBN 978-3-319-06409-3. E-ISBN 978-3-319-06410-9. (doi:10.1007/978-3-319-06410-9_43) (KAR id:58944)
Format: PDF

Christakis, Maria, Müller, Peter, Wüstholz, Valentin (2014) Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations. In: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Lecture Notes in Computer Science , 8702. pp. 65-80. Springer ISBN 978-3-319-10430-0. E-ISBN 978-3-319-10431-7. (doi:10.1007/978-3-319-10431-7_6) (KAR id:58946)
Format: PDF

Christakis, Maria, Gotovos, Alkis, Sagonas, Konstantinos (2013) Systematic Testing for Detecting Concurrency Errors in Erlang Programs. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST). . pp. 154-163. IEEE (doi:10.1109/ICST.2013.50) (KAR id:58947)
Format: PDF

Christakis, Maria, Müller, Peter, Wüstholz, Valentin (2012) Collaborative Verification and Testing with Explicit Assumptions. In: 18th International Symposium on Formal Methods, August 27-31, 2012, Paris, France. (doi:10.1007/978-3-642-32759-9_13) (KAR id:58948)
Format: PDF

Christakis, Maria, Sagonas, Konstantinos (2011) Detection of Asynchronous Message Passing Errors Using Static Analysis. In: Practical Aspects of Declarative Languages. Lecture Notes in Computer Science . pp. 5-18. ISBN 978-3-642-18377-5. E-ISBN 978-3-642-18378-2. (doi:10.1007/978-3-642-18378-2_3) (KAR id:58950)
Format: PDF

Christakis, Maria, Sagonas, Konstantinos (2010) Static Detection of Race Conditions in Erlang. In: Practical Aspects of Declarative Languages. Lecture Notes in Computer Science . pp. 119-133. ISBN 978-3-642-11502-8. E-ISBN 978-3-642-11503-5. (doi:10.1007/978-3-642-11503-5_11) (KAR id:58951)
Format: PDF

G

Gotovos, Alkis and Christakis, Maria and Sagonas, Konstantinos (2011) Test-Driven Development of Concurrent Programs using Concuerror. In: Proceedings of the 10th ACM SIGPLAN workshop on Erlang. ACM, pp. 51-61. ISBN 978-1-4503-0859-5. (doi:10.1145/2034654.2034664) (KAR id:58949)
Format: PDF

This list was generated on Wed Mar 27 20:21:26 2024 GMT.