-
Computer Science
-
Research
-
Research Profile
Software, security and verification
Research Profile Research Area "Software, Security and Verification" A central topic of computer science is the development of software, especially of extensive software systems, which now permeate almost [...] Outdated Dependencies. ICSE 2023: 1-12. DOI: 10.1109/ICSE48619.2023.00031 Malte Mues, Falk Howar : Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and …