共 50 条
- [21] MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors PERSPECTIVES OF SYSTEM INFORMATICS, PSI 2017, 2018, 10742 : 387 - 393
- [23] Interoperability for opc ua specifications – test generation and certification for companion specifications for machine tool builders WT Werkstattstechnik, 2021, 111 (05): : 324 - 328
- [27] The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging TESTS AND PROOFS, TAP 2011, 2011, 6706 : 78 - 83
- [28] A software testing tool with the facilities to restore the state at program execution of a program under test Recent Adv. Appl. Biomed. Informatics Comput. Eng. Syst. Appl., (154-159):
- [29] A Software Testing Tool with the Function to Restore the State at Program Execution of a Program under Test INTERNATIONAL JOURNAL OF EDUCATION AND INFORMATION TECHNOLOGIES, 2012, 6 (01): : 71 - 78