Funder
Horizon 2020
Research Council of Norway
National Natural Science Foundation of China
Subject
Hardware and Architecture,Information Systems,Software
Reference75 articles.
1. Abbas, H., Hoxha, B., Fainekos, G., Deshmukh, J.V., Kapinski, J., Ueda, K., “Conformance testing as falsification for cyber-physical systems,” 2014, arXiv:1401.5200.
2. A systematic review of the application and empirical investigation of search-based test case generation;Ali;IEEE Trans. Softw. Eng.,2010
3. A Search-Based OCL Constraint Solver for Model-Based Test Data Generation;Ali,2011
4. Generating test data from OCL constraints with search techniques;Ali;IEEE Trans. Softw. Eng.,2013
5. Introduction to Software Testing;Ammann,2016
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Uncertainty-Wise Model Evolution with Genetic Programming;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22
2. Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09
3. Digital Twin-based Anomaly Detection with Curriculum Learning in Cyber-physical Systems;ACM Transactions on Software Engineering and Methodology;2023-07-22
4. Challenges of Testing an Evolving Cancer Registration Support System in Practice;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05
5. ATM: Black-box Test Case Minimization based on Test Code Similarity and Evolutionary Search;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05