Karl Meinke
Title
Cited by
Cited by
Year
Universal algebra
K Meinke, JV Tucker
University of Wales (Swansea). Mathematics and Computer Science Division, 1991
2551991
Universal algebra, Handbook of logic in computer science (vol. 1): background: mathematical structures
K Meinke, JV Tucker
Oxford University Press, Inc., New York, NY, 1993
1051993
Universal algebra in higher types
K Meinke
Theoretical Computer Science 100 (2), 385-417, 1992
951992
Many-sorted Logic and its Applications
K Meinke, JV Tucker
John Wiley & Sons, Inc., 1993
901993
Universal algebra in higher types
K Meinke
Theoretical Computer Science 100 (2), 385-417, 1992
861992
Incremental learning-based testing for reactive systems
K Meinke, MA Sindhu
International Conference on Tests and Proofs, 134-151, 2011
752011
Automated black-box testing of functional correctness using function approximation
K Meinke
Proceedings of the 2004 ACM SIGSOFT international symposium on Software …, 2004
522004
LBTest: a learning-based testing tool for reactive systems
K Meinke, MA Sindhu
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
492013
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
372010
Learning-based testing of distributed microservice architectures: Correctness and fault injection
K Meinke, P Nycander
SEFM 2015 Collocated Workshops, 3-10, 2015
272015
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
272013
Learning-based testing of cyber-physical systems-of-systems: A platooning study
K Meinke
European Workshop on Performance Engineering, 135-151, 2017
262017
Cge: A sequential learning algorithm for mealy automata
K Meinke
International Colloquium on Grammatical Inference, 148-162, 2010
252010
Learning-based software testing: a tutorial
K Meinke, F Niu, M Sindhu
International Symposium On Leveraging Applications of Formal Methods …, 2011
212011
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
A recursive second order initial algebra specification of primitive recursion
K Meinke
Acta informatica 31 (4), 329-340, 1994
171994
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
152015
Universal algebra, in “Handbook of Logic in Computer Science,”
K Meinke, JV Tucker
ed. S Abramsky, D Gabbay, T Maibaum), Oxford University Press (to appear), 1992
151992
Topological methods for algebraic specification
K Meinke
Theoretical computer science 166 (1-2), 263-290, 1996
141996
Machine Learning for Dynamic Software Analysis
A Bennaceur, R Hähnle, K Meinke
Lecture Notes in Computer Science 11026, 2018
13*2018
The system can't perform the operation now. Try again later.
Articles 1–20