Author:
Becker Bernd,Sauer Matthias,Scholl Christoph,Wimmer Ralf
Publisher
Springer Fachmedien Wiesbaden
Reference58 articles.
1. Roth, J.P.: Diagnosis of automata failures: A calculus and a method. IBM J. Res. Dev. 10(4) (1966) 278–291
2. Goel, P.: An implicit enumeration algorithm to generate tests for combinational logic circuits. In: Proc. Fault Tolerant Computing Symposium. (1980) 145–151
3. Fujiwara, H., Shimono, T.: On the acceleration of test generation algorithms. IEEE Trans. on Computers C-32(12) (1983) 1137 -1144
4. Larrabee, T.: Test pattern generation using Boolean satisfiability. IEEE Trans. on Computer-Aided Design 11(1) (1992) 4–15
5. Stephan, P., Brayton, R., Sangiovanni-Vincentelli, A.: Combinational test generation using satisfiability. IEEE Trans. on CAD of Integrated Circuits and Systems 15(9) (1996) 1167–1176