Методы верификации программного обеспечения

последовательностными машинами. В книге Автоматы, стр. 179-210. М.: 
ИЛ, 1956. 
[250] F. C. Hennie. Fault-detecting experiments for sequential circuits. Proc. of 5-th Annual 
Symposium on Switching Theory and Logical Design, pp. 95-110, November 1964. 

---

113 
[251] М. П. Василевский. О распознавании неисправностей автоматов. Кибернетика, 
4:98-108, Киев, 1973. 
[252] ISO 9646. Information Theory — Open System Interconnection — Conformance Testing 
Methodology and Framework. ISO, Geneve, 1991. 
[253] А. К. Петренко. 
Спецификация 
тестов 
на 
основе 
описания 
трасс. 
Программирование, 19(1):66-73, 1993. 
[254] I. Bourdonov, A. Kossatchev, A. Petrenko, D. Galter. KVEST: Automated Generation of 
Test Suites from Formal Specifications. Proc. of Formal Methods’99, LNCS 1708,:608-
621, Springer-Verlag, 1999. 
[255] M. Utting, B. Legeard. Practical Model-Based Testing: A Tools Approach. Morgan-
Kaufmann, 2007. 
[256] F. Ambert, F. Bouquet, S. Chemin, S. Guenaud, B. Legeard, F. Peureux, N. Vacelet, 
M. Utting. BZ-TT: A tool-set for test generation from Z and B using constraint logic 
programming. Proc. of FATES’2002, pp. 105-119, August 2002. 
[257] J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University 
Press, 1996. 
[258] E. Farchi, A. Hartman, S. S. Pinter. Using a model-based test generator to test for 
standard conformance. IBM Systems Journal, 41(1):89-110, 2002. 
[259] D. L. Dill, S. Park, A. G. Nowatzyk. Formal Specification of Abstract Memory Models. 
In G. Borriello, C. Ebeling, eds.: Proc. of the Symposium on Research on Integrated 
Systems, pp. 38-52, MIT Press, 1993. 
[260] 
http://www.agedis.de/
. 
[261] E. Brinksma. A theory for the derivation of tests. Proc. of 8-th International Conference 
on Protocol Specification, Testing and Verification, pp. 63-74, North-Holland, 1988. 
[262] J. Tretmans. A Formal Approach to Conformance Testing. PhD thesis, University of 
Twente, Enschede, The Netherlands, 1992. 
[263] J. Tretmans, A. Belinfante. Automatic testing with formal methods. Proc. of 7-th 
European Conference on Software Testing, Analysis and Review, Barcelona, Spain, 
November 1999. 

---

114 
[264] J.-C. Fernandez, C. Jard, T. Jeron, C. Viho. Using On-the-Fly Verification Techniques 
for the Generation of Test Suites. Proc. of 8-th International Conference on Computer 
Aided Verification, LNCS 1102:348-359, Springer, 1996. 
[265] 
http://www.unitesk.ru
. 
[266] В. В. Кулямин, А. К. Петренко, А. С. Косачев, И. Б. Бурдонов. Подход UniTesK к 
разработке тестов. Программирование, 29(6):25-43, 2003. 
[267] 
http://research.microsoft.com/specexplorer/
. 
[268] A. Hartman. Model Based Test Generation Tools. AGEDIS Consortium, 2002. 
http://www.agedis.de/documents/ModelBasedTestGenerationTools_cs.pdf
. 
[269] P. Ammann, P. E. Black. Abstracting formal specifications to generate software tests 
via model checking. Proc. of 18-th Digital Avionics Systems Conference, 2:10.A.6-1-
10.A.6-10, IEEE, October 1999. 
[270] A. Gargantini, C. Heitmeyer. Using model checking to generate tests from requirements 
specifications. ACM SIGSOFT Software Engineering Notes, 24(6):146-162, 
November 1999. 
[271] W. Visser, C. S. Pasareanu, S. Khurshid. Test input generation with Java PathFinder. 
ACM SIGSOFT Software Engineering Notes, 29(4):97-107, July 2004. 
[272] C. Engel, R. Hahnle. Generating unit tests from formal proofs. Y. Gurevich, B. Meyer, 
eds. Proc. of TAP 2007. LNCS 4454:169–188, Springer-Verlag, 2007. 
[273] A. Gotlieb, B. Botella, M. Rueher. Automatic test data generation using constraint