I am a full Professor in computer science in the theoretical computer science group at Nada.
Here is a recent 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 a 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 recent 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.
Here are some conferences I'm involved with:
International Conference on Software and Data Technologies, ICSOFT 2010 22-24 July, 2010 in Athen, Greece.
The Fourth International Conference on Tests and Proofs, TAP 2010 Malaga, Spain.
The Fifth International Conference on Software Engineering Advances, ICSEA-09 August 22 - 27, 2010 Nice, France.
International Conference on Software and Data Technologies, ICSOFT 2009 26-29 July, 2009 in Sofia, Bulgaria.
The Third International Conference on Tests and Proofs, TAP 2009 2-3 July 2009, Zurich, Switzerland.
The Fourth International Conference on Software Engineering Advances, ICSEA-09 September 20 - 25, 2009 in Porto, Portugal.
The Third International Conference on Software Engineering Advances, ICSEA-08 October 26 - 31, 2008 in Sliema, Malta.
International Conference on Software and Data Technologies, ICSOFT 2008 5-8 July, 2008 in Porto, Portugal.
The Second International Conference on Tests and Proofs, TAP 2008 April 9-11, 2008, Prato, Italy.
International Conference on Software and Data Technologies, ICSOFT 2007 22-25 July, 2007 in Barcelona.
The International Conference on Software Engineering Advances, ICSEA-06 October 29 - November 1, 2006 in Tahiti.
Undergrad Course: Software Engineering MVK (DD1365)
Undergrad Course: Advanced Object-oriented Systems (DD2456)
Grad Course: Algebras + Coalgebras = Data Types + Systems (2D5377) This course will run again in autumn 2009 during period 1. Come back again soon for precise details of dates and times.
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)
Undergrad Course: Computer Programming (2D1343) *NOTE* This course went for the last time in autumn 2007!,
Undergrad Course: Program Development Techniques DD2385 (formerly 2D1385),
Undergrad Course: Theoretical Foundations of Object Orientation DD2455 (formerly 2D1455),
Undergrad Course: Fundamentals of Computer Science DD1344 (formerly 2D1344),
course notes for NA2160 "Object-Oriented Analysis and Design (OAD)".
course notes for NA2050 "Software Engineering" (Mjukvarukonstruktion).
I am a member of the new EU funded research project HATS which will includes research on testing for software product families using an abstract behavioural specification language.
Here is more information on my Software Test Bench Project .
Here is some recent work from our group on the foundations of mutation testing and here is our growing online bibliography
Here is the abstract from a seminar on testing at Front Capital Systems
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, Niu Fei and 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.