Karl Meinke

karlm -- at -- csc.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: 1517, Osquars Backe 2, 5th Floor.

I am a full Professor in computer science in the Theoretical Computer Science Department (TCS) at the School of Computer Science and Communication (CSC). I am currently deputy head of the TCS Department.

What's new ...

I have moved room! Please note my new office address 1517, floor 5, E-building.

Recent activities and publications, in historical order ...

Software Reliability Group Research : Papers and Presentations

Below are some recent papers from our research group on software reliability on subjects including:

learning-based software testing
model-based fault prediction
automata learning
model-mining
model-checking and constraint solving

Recent Presentations

Here are the slides from my ISoLA 2016 lectures on : Learning-based Testing for Reactive, Procedural and Hybrid Systems

Lecture 1: LBT for Reactive Systems
Lecture 2: LBT for Procedural and Hybrid Systems

Here are the slides from my HSST 2015 Summer School Lecture Series on : Learning-based Testing for Procedural and Reactive Systems

Lecture 1: Overview of Learning-based Testing
Lecture 2: LBT for Reactive Systems: Basic Theory
Lecture 3: LBT for Reactive Systems: Praxis
Lecture 4: LBT for Procedural Systems

Here is an overview of our research on learning-based testing.

Papers

H. Khosrowjerdi, K. Meinke and A. Rasmusson: Automated Behavioral Requirements Testing of Automotive ECU Applications, submitted for journal publication, 2016.

K. Meinke and P. Nycander: Learning-based Testing of Distributed Microservice Architectures: Correctness and Fault Injection, to appear in: Proc 6th Workship on Automating Test Case Design, Selection and Evaluation, ATSE 2015, York, 2015.

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, to appear in: Int. Journal on Software Tools for Technology Transfer, Springer Verlag, 2014.

M. de Oliveira Oliveira, Combinatorial Slice Theory PhD Thesis, School of Computer Science and Communication, KTH Royal Institute of Technology, Stockholm, Sweden, 2013, ISBN 978-91-7501-933-8. This thesis contains a new efficient approach to automating equational logic.

L. Feng, S. Lundmark, K. Meinke, F. Niu, M.A. Sindhu, P.Y.H. Wong: Case Studies in Learning-based Testing, pp. 164-179 in Proc. 25th IFIP Int. Conf. on Testing Software and Systems (ICTSS 2013), LNCS 8254, Springer Verlag, 2013.

K. Meinke and F. Niu: An Incremental Learning Algorithm for Hybrid Automata, submitted for publication, 2013.

R. Ansin and D. Lundberg: Automated Inference of Excitable Cell Models as Hybrid Automata, Batchelors Thesis, School of Computer Science and Communication, KTH Stockholm, 2013.

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.

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 and Events ...

Here are some conferences and events I'm a PC member for:

Teaching

During the academic session 2013/2014 my courses are:

Bachelor level course: Introduction to Software Engineering (DD1392)

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 research into learning-based testing is focussed around the tool LBTest

My most recent funded project is the ECSEL funded SafeCOP Project (Safe Cooperating Cyber-physical Systems).

I and a PhD student also currently participate in the Vinnova funded VIRTUES (Virtualised Embedded Systems for Testing and Development).

Our group contributes to the EU ARTEMIS funded project MBAT (Model-based Analysis and Testing of Embedded Systems).

I was 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 2016-12-05. email me;