Методы построения конечных автоматов на основе ...

17267. Harman M. Automated Test Data Generation Using Search-Based SoftwareEngineering / Proceedings of 2nd International Workshop Automationof Software Test (AST 07). IEEE CS Press, 2007, p. 2.68. Harman M., Tratt L. Pareto Optimal Search-Based Refactoring at the DesignLevel / Proceedings of 9th Annual Conference on Genetic and EvolutionaryComputation (GECCO 07). ACM Press. 2007, pp. 1106 – 1113.69. Harman M., Mansouri A., Zhang Y. Search-Based Software Engineering:A Comprehensive Analysis and Review of Trends, Techniques, and Applications.Tech. report TR-09-03. Dept. of Computer Science. King’sCollege London, 2009.70. Harman M. Why the Virtual Nature of Software Makes It Ideal forSearch-Based Optimization / Proceeding of 13th International ConferenceFundamental Approaches to Software Engineering (FASE 10). IEEE CSPress. 2010, pp. 1 – 12.71. Harman M. Software Engineering Meets Evolutionary Computation //Computer. 2011. Vol. 44. № 11, pp. 31 – 39.72. Harman M., Clark J. Metrics are fitness functions too / Proceedings of10 th International Symposium on Software Metrics. 2004, pp. 58 – 69.73. Hoffman L. Talking Model-Checking Technology // Communications ofthe ACM. 2008. V. 51. № 7, pp. 110 – 112.74. Holland J. Adaptation in Natural and Artificial Systems. University ofMichigan Press, 1975.75. Holland J. ECHO: Explorations of Evolution in a Miniature World /Proceedings of the Second Conference on Artificial Life. Redwood City.CA: Addison-Wesley, 1990.76. Holzmann G. J. The Model Checker SPIN // IEEE Transactions onsoftware engineering. 1997. Vol. 23. Issue 5, pp. 279 – 295.