Author:
Schrammel Peter,Melham Tom,Kroening Daniel
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference41 articles.
1. Hierons, R., Ural, H.: Generating a checking sequence with a minimum number of reset transitions. ASE 17, 217–250 (2010)
2. Robert Bosch GmbH: Bosch Automotive Handbook. Bentley, Plochingen (2007)
3. Nuñez, A., Merayo, M., Hierons, R., Núñez, M.: Using genetic algorithms to generate test sequences for complex timed systems. Soft Comput. 17, 301–315 (2013)
4. Petrenko, A., da Silva Simão, A., Yevtushenko, N.: Generating checking sequences for nondeterministic finite state machines. In: ICST, pp. 310–319 (2012)
5. Hierons, R., Ural, H.: Optimizing the length of checking sequences. Trans. Comput. 55, 618–629 (2006)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. BlueCov: Integrating Test Coverage and Model Checking with JBMC;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27
2. Functional Requirements-Based Automated Testing for Avionics;2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS);2017-11
3. Model-based testing for software safety: a systematic mapping study;Software Quality Journal;2017-09-25
4. Test Data Generation Efficiency Prediction Model for EFSM Based on MGGP;Search Based Software Engineering;2016
5. Advances in test generation for testing software and systems;International Journal on Software Tools for Technology Transfer;2015-10-13