Concepedia

Karl Meinke

KM

11

Publications

292

Citations

11

H-Index

1992

Active since

Affiliations

KTH Royal Institute of Technology(Current)

Swansea University

Karl Meinke is an author at KTH Royal Institute of Technology specializing in computer science, software testing, and engineering.

Top concepts

EngineeringComputer ScienceSoftware TestingProgram AnalysisSoftware AnalysisFormal MethodsFormal VerificationVerificationSoftware DesignAutomated Reasoning

Publications per year

1992–2022

11

Publications

11

Universal algebra in higher types

Karl Meinke · Theoretical Computer Science · 1992 · 58 citations

Higher Types, Abstract Algebra, Universal Algebra +1

LBTest: A Learning-Based Testing Tool for Reactive Systems

Karl Meinke, Muddassar Azam Sindhu · 2013 · 49 citations

Engineering, Verification, Software Engineering +20

Automated black-box testing of functional correctness using function approximation

Karl Meinke · 2004 · 40 citations

Mathematical Programming, Engineering, Verification +19

Leveraging mutants for automatic prediction of metamorphic relations using machine learning

Aravind Nair, Karl Meinke, Sigrid Eldh · 2019 · 25 citations

Software Maintenance, Automatic Prediction, Engineering +27

Machine learning for software engineering

Karl Meinke, Amel Bennaceur · 2018 · 24 citations

Software Maintenance, Engineering, Machine Learning +16

Rows per page

1–5 of 11