Seguir
Karl Meinke
Karl Meinke
Professor of Computer Science KTH Royal Institute of Technology
Dirección de correo verificada de kth.se - Página principal
Título
Citado por
Citado por
Año
Universal algebra
K Meinke, JV Tucker
2881992
Universal algebra in higher types
K Meinke
Theoretical Computer Science 100 (2), 385-417, 1992
1051992
Universal algebra in higher types
K Meinke
Theoretical Computer Science 100 (2), 385-417, 1992
1001992
Many-sorted Logic and its Applications
K Meinke, JV Tucker
991993
Incremental learning-based testing for reactive systems
K Meinke, MA Sindhu
International Conference on Tests and Proofs, 134-151, 2011
982011
LBTest: a learning-based testing tool for reactive systems
K Meinke, MA Sindhu
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
702013
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
562015
Automated black-box testing of functional correctness using function approximation
K Meinke
Proceedings of the 2004 ACM SIGSOFT international symposium on Software …, 2004
542004
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
422010
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
392011
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
342020
Case studies in learning-based testing
L Feng, S Lundmark, K Meinke, F Niu, MA Sindhu, PYH Wong
Testing Software and Systems: 25th IFIP WG 6.1 International Conference …, 2013
332013
Cge: A sequential learning algorithm for mealy automata
K Meinke
International Colloquium on Grammatical Inference, 148-162, 2010
322010
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
282019
Machine learning for software engineering: Models, methods, and applications
K Meinke, A Bennaceur
Proceedings of the 40th International Conference on Software Engineering …, 2018
282018
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
Virtualized-fault injection testing: A machine learning approach
H Khosrowjerdi, K Meinke, A Rasmusson
2018 IEEE 11th International Conference on Software Testing, Verification …, 2018
252018
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
242018
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20