Karl Meinke
Title
Cited by
Cited by
Year
Universal algebra
K Meinke, JV Tucker
University of Wales (Swansea). Mathematics and Computer Science Division, 1991
2661991
Universal algebra in higher types
K Meinke
Theoretical Computer Science 100 (2), 385-417, 1992
991992
Universal algebra in higher types
K Meinke
Theoretical Computer Science 100 (2), 385-417, 1992
941992
Many-sorted Logic and its Applications
K Meinke, JV Tucker
901993
Incremental learning-based testing for reactive systems
K Meinke, MA Sindhu
International Conference on Tests and Proofs, 134-151, 2011
832011
LBTest: a learning-based testing tool for reactive systems
K Meinke, MA Sindhu
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
592013
Automated black-box testing of functional correctness using function approximation
K Meinke
Proceedings of the 2004 ACM SIGSOFT international symposium on Software …, 2004
532004
Learning-based testing of distributed microservice architectures: Correctness and fault injection
K Meinke, P Nycander
SEFM 2015 Collocated Workshops, 3-10, 2015
402015
A learning-based approach to unit testing of numerical software
K Meinke, F Niu
IFIP International Conference on Testing Software and Systems, 221-235, 2010
392010
Learning-based testing of cyber-physical systems-of-systems: a platooning study
K Meinke
European Workshop on Performance Engineering, 135-151, 2017
322017
Learning-based software testing: a tutorial
K Meinke, F Niu, M Sindhu
International Symposium On Leveraging Applications of Formal Methods …, 2011
292011
Case studies in learning-based testing
L Feng, S Lundmark, K Meinke, F Niu, MA Sindhu, PYH Wong
IFIP International Conference on Testing Software and Systems, 164-179, 2013
282013
Cge: A sequential learning algorithm for mealy automata
K Meinke
International Colloquium on Grammatical Inference, 148-162, 2010
282010
Specification and verification in higher order algebra: a case study of convolution
K Meinke, LJ Steggles
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting …, 1993
201993
Testing abstract behavioral specifications
PYH Wong, R Bubel, FS de Boer, M Gómez-Zamalloa, S De Gouw, ...
International Journal on Software Tools for Technology Transfer 17 (1), 107-119, 2015
172015
A recursive second order initial algebra specification of primitive recursion
K Meinke
Acta informatica 31 (4), 329-340, 1994
161994
Machine Learning for Dynamic Software Analysis
A Bennaceur, R Hähnle, K Meinke
Lecture Notes in Computer Science 11026, 2018
152018
Model-based testing and model inference
K Meinke, N Walkinshaw
International Symposium On Leveraging Applications of Formal Methods …, 2012
152012
Topological methods for algebraic specification
K Meinke
Theoretical computer science 166 (1-2), 263-290, 1996
151996
Higher-order equational logic for specification, simulation and testing
K Meinke
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting …, 1995
151995
The system can't perform the operation now. Try again later.
Articles 1–20