Karl Meinke

karlm@nada.kth.se
Phone: +46-8-790 63 37 (Office)
Phone: +46-(0)76 223 86 79 (Mobile)
Fax: +46-8-790 09 30
Address: Nada, KTH, S-100 44 Stockholm, Sweden
Room: 4539, Osquars Backe 2, 5th Floor (Please note new office number!).

I am a full Professor in computer science in the theoretical computer science group at the School of Computer Science and Communication (CSC).

What's new ...

We now teach software reliability at Masters level! (see course DD2459 below).

Software Reliability Group Research Papers ...

An overview of our research on learning-based testing is now available. Here are some recent papers of our research group on software reliability on subjects including:

learning-based software testing
model-based fault prediction
computational learning
model-mining

M. Sindhu, Algorithms and Tools for Learning-based Testing of Reactive Systems PhD Thesis, School of Computer Science and Communication, KTH Royal Institute of Technology, Stockholm, Sweden, 2013, ISBN 978-91-7501-674-0.

K. Meinke and M. Sindhu: LBTest: A Learning-based testing Tool for Reactive Systems, to appear in Proc. Sixth Int. IEEE Conf. on Software Testing, Verification and Validation (ISCT-2013), 2013.

K. Meinke and N. Walkinshaw: Model-based Testing and Model Inference, pp 440-443 in: B. Steffen and T. Margharia (eds) Proc. 2012 Int. ISoLA workshop on Machine Learning for Software Construction, LNCS 7609, Springer Verlag, 2012.

P. Wong, R. Bubel, F. De Boer, M. Gomez-Zamalloa, S. De Gouw, R. Hähnle, K. Meinke and M. Sindhu: Testing Abstract Behavioural Specifications, submitted for publication, 2012.

K. Meinke and M. Sindhu: An n log n algorithm for Deterministic Kripke Structure Minimization, submitted for journal publication, 2012.

K. Meinke and F. Niu: An Incremental Learning Algorithm for Extended Mealy Automata, pp 488-504 in B. Steffen and T. Margharia (eds) Proc. 2012 Int. ISoLA workshop on Machine Learning for Software Construction, LNCS 7609, Springer Verlag, 2012.

Shaolin Hu, Xiaofeng Wang, Karl Meinke and Huajiang Ouyang: Outlier-Tolerant Fitting and Online Diagnosis of Outliers in Dynamic Process Sampling Data Series, pp 195-203 in: Hepu Deng, Duoqian Miao, Jingsheng Lei, Fu Lee Wang (Eds.): Artificial Intelligence and Computational Intelligence - Third International Conference, AICI 2011, Proceedings, Part III, LNCS 7004, Springer Verlag, 2011, ISBN 978-3-642-23895-6

K. Meinke, F. Niu and M. Sindhu: Learning-Based Software Testing: a Tutorial, invited paper, pp 200-219 in: R. Haehnle et al. (eds) Proc. ISoLA 2011, Int. Symp. on Leveraging Applications of Formal Methods, Verification, Validation, CCIS 336, Springer Verlag, 2012.

F. Niu: Learning-based Software Testing using Symbolic Constraint Solving Methods, Licentiate Thesis, School of Computer Science and Communication, Royal Institute of Technology, Stockholm, Sweden, 2011, ISBN 978-91-7501-117-2.

K. Meinke and M. Sindhu: Correctness and Performance of an Incremental Learning Algorithm for Finite Automata, accepted for poster presentation at Third Asian Conference on Machine Learning (ACML 2011), 13-15 November 2011, Taiwan.

K. Meinke and F. Niu, Learning-Based Testing for Reactive Systems using Term Rewriting Technology, pp 97-114 in B. Wolff and F Zaidi (eds) Proc. 23rd IFIP Int. Conf. on Testing Software and Systems (ICTSS 2011), LNCS 7019, Springer Verlag, 2011.

M. Sindhu, Incremental Learning and Testing of Reactive Systems Licentiate Thesis, School of Computer Science and Communication, Royal Institute of Technology, Stockholm, Sweden, 2011, ISBN 978-91-7501-062-5.

K. Meinke and M. Sindhu, Incremental Learning-Based testing for Reactive Systems, pp 134-151 in: Proc. Int. Conf. on Tests and Proofs TAP 2011, LNCS 6706, Springer Verlag, 2011.

K. Meinke and F. Niu, A Learning-Based Approach to Unit Testing of Numerical Software, pp 221-235 in A. Petrenko et al. (eds) Proc. 22nd IFIP Int. Conf. on Testing Software and Systems (ICTSS 2010), LNCS 6435, Springer Verlag, 2010.

K. Meinke, CGE: a Sequential Learning Algorithm for Mealy Automata, pp 148-162 in J.M. Sempere and P. Garcia (eds), Proc. 10th Int. Colloquium on Grammatical Inference, (ICGI 2010), LNCS 6339, Springer Verlag, 2010.

Here is a paper on Iterative estimators of parameters in linear models with partially variant coefficients.
using Gauss-Markov assumptions. This paper appeared as: S. Hu, K. Meinke, R Chen, O. Huajiang, Iterative estimators of parameters in linear models with partially variant coefficients, International Journal of Applied Mathematics and Computer Science, Vol 17, No 2, 179-187, 2007.

Here is a paper on online diagnosis of faults in SISO processes. This paper appeared as: S. Hu, K. Meinke, L. Huang and O. Huajiang, Fault-tolerant Fitting and Online Diagnosis of faults in SISO Processes, in: Proc. 6th IFAC Symp. on Fault detection, Supervision and Safety of Technical Processes, 2006.

Here is my original paper on learning-based testing. This paper appeared as: K. Meinke, Automated Black-Box Testing of Functional Correctness using Function Approximation, pp 143-153 in: G. Rothermel (ed) Proc. ACM SIGSOFT Int. Symp. on Software Testing and Analysis, ISSTA 2004, Software Engineering Notes 29 (4), ACM Press, 2004.

Here is a paper that gives a rigorous foundation for probabilistic correctness based on black-box testing.
This has appeared as: K. Meinke, A Stochastic Theory of Black-Box Software Testing, pp.578-595 in K. Futatsugi et al. (eds) Goguen Festschrift, LNCS 4060, Springer Verlag, 2006.

Conferences ...

Teaching

During the academic session 2012/2013 my courses are:

Bachelor level course: Software Engineering MVK (DD1365)

Masters level course: Software Reliability (DD2459)

... and Course Notes

Here are links to some old courses. I am no longer responsible for these courses, but you may not yet have passed this class!

Undergrad Course: Software Engineering MVK (DD1363)

course notes for NA2160 "Object-Oriented Analysis and Design (OAD)".

course notes for NA2050 "Software Engineering" (Mjukvarukonstruktion).

Research

Currently, my main interest is in formal methods for software testing.

Our group contributes to the new EU ARTEMIS funded project MBAT (Model-based Analysis and Testing of Embedded Systems). I am a member of the EU funded research project HATS which will includes research on testing for software product families using an abstract behavioural specification language.

Here is some recent work from our group on the foundations of mutation testing and here is our growing online bibliography

My "docent lecture" (a "test lecture" to obtain the docent title) was held on the 18th March 1999 and discussed the theoretical basis of software testing.

I also work with my PhD students, Mateus de Oliveira Oliveira, Niu Fei, Mudassar Sindhu on learning-based testing for software systems.

In the past I have been involved in various aspects of formal methods, both theoretical and practical. Here is a link to the formal methods sweden homepage.

Here is a link to Prover Technology AB, a Swedish formal methods company where I worked for several years as a senior consultant. Prover Technology is a leading international supplier of tools for formal methods and test case generation.

I have been particularly active in research on higher-order algebra as a specification language for computer systems.

Here is a list of my publications.

Here is an FTP-archive with the papers of the theoretical computer science research group.

Up to Nada's home page.

Latest update 2013-03-13. email me;