RERS 2019: combining synthesis with real-world models M Jasper, M Mues, A Murtovi, M Schlüter, F Howar, B Steffen, M Schordan, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 33 | 2019 |
GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) M Mues, F Howar International Conference on Tools and Algorithms for the Construction and …, 2022 | 21 | 2022 |
Rers 2018: Ctl, ltl, and reachability M Jasper, M Mues, M Schlüter, B Steffen, F Howar Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 20 | 2018 |
JConstraints: A library for working with logic expressions in Java F Howar, F Jabbour, M Mues Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated …, 2019 | 16 | 2019 |
The RERS challenge: towards controllable and scalable benchmark synthesis F Howar, M Jasper, M Mues, D Schmidt, B Steffen International Journal on Software Tools for Technology Transfer 23 (6), 917-930, 2021 | 14 | 2021 |
JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) M Mues, F Howar Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021 | 13 | 2021 |
Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs M Mues, T Schallau, F Howar International Conference on Integrated Formal Methods, 123-140, 2020 | 12 | 2020 |
JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution) M Mues, F Howar International Conference on Tools and Algorithms for the Construction and …, 2020 | 11 | 2020 |
GWit: A Witness Validator for Java based on GraalVM (Competition Contribution) F Howar, M Mues International Conference on Tools and Algorithms for the Construction and …, 2022 | 9 | 2022 |
Data-driven design and evaluation of SMT meta-solving strategies: Balancing performance, accuracy, and cost M Mues, F Howar 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 7 | 2021 |
Releasing the PSYCO: using symbolic search in interface generation for java M Mues, F Howar, K Luckow, T Kahsai, Z Rakamarić ACM SIGSOFT Software Engineering Notes 41 (6), 1-5, 2017 | 7 | 2017 |
Teaching a project-based course at a safe distance: an experience report M Mues, F Howar 2020 IEEE 32nd Conference on Software Engineering Education and Training …, 2020 | 6 | 2020 |
Identification of spurious labels in machine learning data sets using N-version validation M Mues, S Gerard, F Howar 2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020 | 4 | 2020 |
Gwit artifact for sv-comp 2022 (Feb 2022) F Howar, M Mues DOI: https://doi. org/10.5281/zenodo 5956885, 0 | 4 | |
SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM M Mues, F Howar, S Dierl International Conference on Software Engineering and Formal Methods, 91-107, 2022 | 2 | 2022 |
Do away with the frankensteinian programs! a proposal for a genuine se education S Dierl, F Howar, M Mues, S Naujokat, T Schallau 2021 Third International Workshop on Software Engineering Education for the …, 2021 | 2 | 2021 |
Thoughts about using Constraint Solvers in Action M Mues, M Fitzke, F Howar Electronic Communications of the EASST 78, 2019 | 2 | 2019 |
Generating component interfaces by integrating static and symbolic analysis, learning, and runtime monitoring F Howar, D Giannakopoulou, M Mues, JA Navas Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 2 | 2018 |
Can We Trust Theorem Provers for Industrial AI? F Howar, M Mues IEEE Software 38 (6), 104-108, 2021 | 1 | 2021 |
Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM M Mues, J Rüschoff, B Hermann International Conference on Tests and Proofs, 168-175, 2024 | | 2024 |