BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × France
1 × Luxembourg
1 × Turkey
2 × Switzerland
Collaborated with:
M.A.Sindhu F.Niu L.Feng S.Lundmark P.Y.H.Wong
Talks about:
test (6) learn (5) base (5) reactiv (3) system (3) technolog (1) increment (1) approach (1) abstract (1) softwar (1)

Person: Karl Meinke

DBLP DBLP: Meinke:Karl

Facilitated 3 volumes:

ALP/PLILP 1998Ed
ALP/HOA 1997Ed
CSL 1993Ed

Contributed to:

ICST 20132013
ICTSS 20132013
ICTSS 20112011
TAP 20112011
ICTSS 20102010
CSL 19911991

Wrote 6 papers:

ICST-2013-MeinkeS #named #testing
LBTest: A Learning-Based Testing Tool for Reactive Systems (KM, MAS), pp. 447–454.
ICTSS-2013-FengLMNSW #case study #testing
Case Studies in Learning-Based Testing (LF, SL, KM, FN, MAS, PYHW), pp. 164–179.
ICTSS-2011-MeinkeN #term rewriting #testing #using
Learning-Based Testing for Reactive Systems Using Term Rewriting Technology (KM, FN), pp. 97–114.
TAP-2011-MeinkeS #incremental #testing
Incremental Learning-Based Testing for Reactive Systems (KM, MAS), pp. 134–151.
ICTSS-2010-MeinkeN #approach #testing
A Learning-Based Approach to Unit Testing of Numerical Software (KM, FN), pp. 221–235.
CSL-1991-Meinke #combinator #data type #equation #specification
Equational Specification of Abstract Types and Combinators (KM), pp. 257–271.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.