Следене
Karl Meinke
Karl Meinke
Professor of Computer Science KTH Royal Institute of Technology
Потвърден имейл адрес: kth.se - Начална страница
Заглавие
Позовавания
Позовавания
Година
Universal algebra
K Meinke, JV Tucker
2891992
Universal algebra in higher types
K Meinke
Theoretical Computer Science 100 (2), 385-417, 1992
1041992
Many-sorted Logic and its Applications
K Meinke, JV Tucker
1011993
Incremental learning-based testing for reactive systems
K Meinke, MA Sindhu
International Conference on Tests and Proofs, 134-151, 2011
1002011
LBTest: a learning-based testing tool for reactive systems
K Meinke, MA Sindhu
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
742013
Learning-based testing of distributed microservice architectures: Correctness and fault injection
K Meinke, P Nycander
Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops …, 2015
582015
Automated black-box testing of functional correctness using function approximation
K Meinke
Proceedings of the 2004 ACM SIGSOFT international symposium on Software …, 2004
562004
funcgnn: A graph neural network approach to program similarity
A Nair, A Roy, K Meinke
Proceedings of the 14th ACM/IEEE International Symposium on Empirical …, 2020
472020
A learning-based approach to unit testing of numerical software
K Meinke, F Niu
IFIP International Conference on Testing Software and Systems, 221-235, 2010
442010
Learning-based testing of cyber-physical systems-of-systems: a platooning study
K Meinke
Computer Performance Engineering: 14th European Workshop, EPEW 2017, Berlin …, 2017
412017
Learning-based software testing: a tutorial
K Meinke, F Niu, M Sindhu
International Symposium On Leveraging Applications of Formal Methods …, 2011
412011
Machine learning for software engineering: Models, methods, and applications
K Meinke, A Bennaceur
Proceedings of the 40th International Conference on Software Engineering …, 2018
342018
Case studies in learning-based testing
L Feng, S Lundmark, K Meinke, F Niu, MA Sindhu, PYH Wong
IFIP International Conference on Testing Software and Systems, 164-179, 2013
342013
Cge: A sequential learning algorithm for mealy automata
K Meinke
International Colloquium on Grammatical Inference, 148-162, 2010
342010
Leveraging mutants for automatic prediction of metamorphic relations using machine learning
A Nair, K Meinke, S Eldh
Proceedings of the 3rd ACM SIGSOFT International Workshop on Machine …, 2019
322019
Virtualized-fault injection testing: A machine learning approach
H Khosrowjerdi, K Meinke, A Rasmusson
2018 IEEE 11th International Conference on Software Testing, Verification …, 2018
312018
Learning-based testing for autonomous systems using spatial and temporal requirements
H Khosrowjerdi, K Meinke
Proceedings of the 1st International Workshop on Machine Learning and …, 2018
262018
Quantitative safety analysis of a coordinated emergency brake protocol for vehicle platoons
C Bergenhem, K Meinke, F Ström
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
262018
Specification and verification in higher order algebra: a case study of convolution
K Meinke, LJ Steggles
International Workshop on Higher-Order Algebra, Logic, and Term Rewriting …, 1993
221993
Model-based testing and model inference
K Meinke, N Walkinshaw
International Symposium On Leveraging Applications of Formal Methods …, 2012
212012
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20