Author:
Petrenko Alexandre,Nguena Timo Omer,Ramesh S.
Publisher
Springer International Publishing
Reference30 articles.
1. Pomeranz, I., Sudhakar, M.R.: Test generation for multiple state-table faults in finite-state machines. IEEE Trans. Comput. 46(7), 783–794 (1997)
2. Poage, J.F., McCluskey, Jr., E.J.: Derivation of optimal test sequences for sequential machines. In: Proceedings of the IEEE 5th Symposium on Switching Circuits Theory and Logical Design, pp. 121–132 (1964)
3. DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: help for the practicing programmer. IEEE Comput. 11(4), 34–41 (1978)
4. DeMilli, R.A., Offutt, J.A.: Constraint-based automatic test data generation. IEEE Trans. Softw. Eng. 17(9), 900–910 (1991)
5. Grunsky, I.S., Petrenko, A.: Design of checking experiments with automata describing protocols. Automatic Control and Computer Sciences. Allerton Press Inc. USA. No. 4 (1988)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Mining Precise Test Oracle Modelled by FSM;Testing Software and Systems;2022
2. Mutant selection by using Fourier expansion;TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES;2020-09-25
3. Modeling Protein Synthesis and DNA Mutations using Finite State Machines;Proceedings of the 6th International Conference on Engineering & MIS 2020;2020-08-23
4. Using Imprecise Test Oracles Modelled by FSM;2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2019-04
5. Fault model-driven testing from FSM with symbolic inputs;Software Quality Journal;2019-01-29