Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 15.

Conference or workshop item

Christakis, Maria and Müller, Peter and Wüstholz, Valentin (2016) Guiding Dynamic Symbolic Execution Toward Unverified Program Executions. In: ICSE '16 Proceedings of the 38th International Conference on Software Engineering. ACM pp. 144-155. ISBN 978-1-4503-3900-1. (doi:https://doi.org/10.1145/2884781.2884843) (Full text available)
[img]
Preview

Christakis, Maria and Wüstholz, Valentin (2016) Bounded Abstract Interpretation. In: Static Analysis 23rd International Symposium, SAS 2016, Proceedings. Lecture Notes in Computer Science (LNCS), 9837. Springer pp. 105-125. ISBN 978-3-662-53412-0. E-ISBN 978-3-662-53413-7. (doi:https://doi.org/10.1007/978-3-662-53413-7_6) (Full text available)
[img]
Preview

Christakis, Maria and Leino, K. Rustan M. and Müller, Peter and 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. Springer pp. 424-441. ISBN 978-3-662-49673-2. E-ISBN 978-3-662-49674-9. (doi:https://doi.org/10.1007/978-3-662-49674-9_25) (Full text available)
[img]
Preview

Christakis, Maria and Bird, Christian (2016) What Developers Want and Need from Program Analysis: An Empirical Study. In: ASE 2016 Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. ACM pp. 332-343. ISBN 978-1-4503-3845-5. (doi:https://doi.org/10.1145/2970276.2970347) (Full text available)
[img]
Preview

Christakis, Maria and Müller, Peter and 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. Springer pp. 336-354. ISBN 978-3-662-46080-1. E-ISBN 978-3-662-46081-8. (doi:https://doi.org/10.1007/978-3-662-46081-8_19) (Full text available)
[img]
Preview

Christakis, Maria and 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. Springer pp. 300-318. ISBN 978-3-319-23403-8. E-ISBN 978-3-319-23404-5. (doi:https://doi.org/10.1007/978-3-319-23404-5_19) (Full text available)
[img]
Preview

Christakis, Maria and 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. Springer pp. 373-392. ISBN 978-3-662-46080-1. E-ISBN 978-3-662-46081-8. (doi:https://doi.org/10.1007/978-3-662-46081-8_21) (Full text available)
[img]
Preview

Christakis, Maria and Emmisberger, Patrick and 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:https://doi.org/10.1007/978-3-319-11164-3_23) (Full text available)
[img]
Preview

Christakis, Maria and Leino, K. Rustan M. and 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:https://doi.org/10.1007/978-3-319-06410-9_43) (Full text available)
[img]
Preview

Christakis, Maria and Müller, Peter and 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. Springer pp. 65-80. ISBN 978-3-319-10430-0. E-ISBN 978-3-319-10431-7. (doi:https://doi.org/10.1007/978-3-319-10431-7_6) (Full text available)
[img]
Preview

Christakis, Maria and Gotovos, Alkis and 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). IEEE pp. 154-163. (doi:https://doi.org/10.1109/ICST.2013.50) (Full text available)
[img]
Preview

Christakis, Maria and Müller, Peter and 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:https://doi.org/10.1007/978-3-642-32759-9_13) (Full text available)
[img]
Preview

Gotovos, Alkis and Christakis, Maria and Sagonas, Konstantinos (2011) Test-Driven Development of Concurrent Programs using Concuerror. In: Erlang '11 Proceedings of the 10th ACM SIGPLAN workshop on Erlang. ACM p. 51. ISBN 978-1-4503-0859-5. (doi:https://doi.org/10.1145/2034654.2034664) (Full text available)
[img]
Preview

Christakis, Maria and 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:https://doi.org/10.1007/978-3-642-18378-2_3) (Full text available)
[img]
Preview

Christakis, Maria and 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:https://doi.org/10.1007/978-3-642-11503-5_11) (Full text available)
[img]
Preview

This list was generated on Sun Apr 7 10:39:04 2019 BST.