Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Conference or workshop item
Number of items: 6.
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) |
|
| 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) |
|
| 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) |
|
| 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) |
|
| 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) |
|
| 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) |
|
