| 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 | 31 | 2019 |
| 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 | 19 | 2018 |
| 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 | 17 | 2022 |
| 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 | 17 | 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 | 12 | 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: 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 | 10 | 2021 |
| JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution) M Mues, F Howar International Conference on Tools and Algorithms for the Construction and …, 2020 | 9 | 2020 |
| 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 |
| 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 | 6 | 2022 |
| 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 |
| Gwit artifact for sv-comp 2022 (Feb 2022) F Howar, M Mues DOI: https://doi. org/10.5281/zenodo 5956885, 0 | 5 | |
| 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 | 3 | 2020 |
| 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, 2020 | 2 | 2020 |
| 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 |
| 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 | 1 | 2022 |
| Can We Trust Theorem Provers for Industrial AI? F Howar, M Mues IEEE Software 38 (6), 104-108, 2021 | 1 | 2021 |
| The integration of multi-color taint-analysis with dynamic symbolic execution for Java web application security analysis M Mues | | 2023 |
Falk HowarTU DortmundVerified email at tu-dortmund.de
