# Karl Meinke

According to our database

^{1}, Karl Meinke## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2016

Machine Learning for Dynamic Software Analysis: Potentials and Limits (Dagstuhl Seminar 16172).

Dagstuhl Reports, 2016

Learning Systems: Machine-Learning in Software Products and Learning-Based Analysis of Software Systems - Special Track at ISoLA 2016.

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015

Testing abstract behavioral specifications.

STTT, 2015

Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection.

Proceedings of the Software Engineering and Formal Methods, 2015

2013

Case Studies in Learning-Based Testing.

Proceedings of the Testing Software and Systems, 2013

LBTest: A Learning-Based Testing Tool for Reactive Systems.

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

IDS: An Incremental Learning Algorithm for Finite Automata

CoRR, 2012

An n log n Alogrithm for Deterministic Kripke Structure Minimization

CoRR, 2012

Model-Based Testing and Model Inference.

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

An Incremental Learning Algorithm for Extended Mealy Automata.

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011

Incremental Learning-Based Testing for Reactive Systems.

Proceedings of the Tests and Proofs - 5th International Conference, 2011

Learning-Based Testing for Reactive Systems Using Term Rewriting Technology.

Proceedings of the Testing Software and Systems, 2011

Learning-Based Software Testing: A Tutorial.

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

Outlier-Tolerant Fitting and Online Diagnosis of Outliers in Dynamic Process Sampling Data Series.

Proceedings of the Artificial Intelligence and Computational Intelligence, 2011

2010

A Learning-Based Approach to Unit Testing of Numerical Software.

Proceedings of the Testing Software and Systems, 2010

CGE: A Sequential Learning Algorithm for Mealy Automata.

Proceedings of the Grammatical Inference: Theoretical Results and Applications, 2010

2007

Iterative Estimators of Parameters in Linear Models with Partially Variant Coefficients.

Applied Mathematics and Computer Science, 2007

2006

A Stochastic Theory of Black-Box Software Testing.

Proceedings of the Algebra, Meaning, and Computation, 2006

2004

Automated black-box testing of functional correctness using function approximation.

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

Proof theory of higher-order equations: conservativity, normal forms and term rewriting.

J. Comput. Syst. Sci., 2003

2001

Correctness of dataflow and systolic algorithms using algebras of streams.

Acta Inf., 2001

2000

Validation and Test Case Generations for MSCs Using A Propositional SAT Solver.

Proceedings of the SAM 2000, 2000

1997

A Completeness Theorem for the Expressive Power of Higher-Order Algebraic Specifications.

J. Comput. Syst. Sci., 1997

1996

Topological Methods for Algebraic Specification.

Theor. Comput. Sci., 1996

On the Power of Higher-Order Algebraic Specification Methods.

Inf. Comput., 1996

1995

Higher-Order Equational Logic for Specification, Simulation and Testing.

Proceedings of the Higher-Order Algebra, 1995

1994

A Recursive Second Order Initial Algebra Specification of Primitive Recursion.

Acta Inf., 1994

Topological Methods for Algebraic Specification.

Proceedings of the Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30, 1994

1993

Specification and Verification in Higher-Order Algebra: A Case Study of Convolution.

Proceedings of the Higher-Order Algebra, 1993

ATLAS: A Typed Language for Algebraic Specification.

Proceedings of the Higher-Order Algebra, 1993

1992

Universal Algebra in Higher Types.

Theor. Comput. Sci., 1992

Algebraic Semantics of Rewriting Terms and Types.

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1991

Equational Specification of Abstract Types and Combinators.

Proceedings of the Computer Science Logic, 5th Workshop, 1991

1990

Universal Algebra in Higher Types.

Proceedings of the Recent Trends in Data Type Specification, 1990

1988

The Scope and Limits of Synchronous Concurrent Computation.

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988