Number | Name | Date | Kind |
---|---|---|---|
4558413 | Schmidt et al. | Dec 1985 | A |
4809170 | Leblanq et al. | Feb 1989 | A |
5748961 | Hanna et al. | May 1998 | A |
5787280 | Joseph et al. | Jul 1998 | A |
5805889 | Van De Vanter | Sep 1998 | A |
5850554 | Carver | Dec 1998 | A |
5862386 | Joseph et al. | Jan 1999 | A |
6256774 | O'Leary et al. | Jul 2001 | B1 |
Entry |
---|
Aull et al., “Validation Using CASE Tools”, IEEE, pp.: 389-394, May 1992.* |
Heitmeyer et al., “Engineering CASE Tools to Support Formal Methods for Real-Time Software Development”, IEEE, pp.: 110-113, Jul. 1992.* |
Beizer, “Software Testing Techniques”, Van Nostrand Reinhold Company, Chapter 1 -Introduction, pp. 1-14, 1983. |