受强制性开放获取政策约束的文章 - Muddassar Azam Sindhu了解详情
无法在其他位置公开访问的文章：1 篇
LBTest: a learning-based testing tool for reactive systems
K Meinke, MA Sindhu
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
强制性开放获取政策： Swedish Research Council
可在其他位置公开访问的文章：6 篇
Incremental learning-based testing for reactive systems
K Meinke, MA Sindhu
International Conference on Tests and Proofs, 134-151, 2011
强制性开放获取政策： Swedish Research Council
Learning-based software testing: a tutorial
K Meinke, F Niu, M Sindhu
International Symposium On Leveraging Applications of Formal Methods …, 2011
强制性开放获取政策： Swedish Research Council
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
强制性开放获取政策： Swedish Research Council
Testing abstract behavioral specifications
PYH Wong, R Bubel, FS de Boer, M Gómez-Zamalloa, S De Gouw, ...
International Journal on Software Tools for Technology Transfer 17, 107-119, 2015
强制性开放获取政策： European Commission
Correctness and performance of an incremental learning algorithm for finite automata
K Meinke, M Sindhu
KTH Royal Institute of Technology, 2010
强制性开放获取政策： Swedish Research Council
An n log n Alogrithm for Deterministic Kripke Structure Minimization
K Meinke, MA Sindhu
arXiv preprint arXiv:1205.5928, 2012
强制性开放获取政策： Swedish Research Council
出版信息和资助信息由计算机程序自动确定