Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification.

Autor: Zhou, Yuqin, Sugihara, Taku, Sato, Yuji
Zdroj: Structured Object-Oriented Formal Language & Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers; 2015, p17-31, 15p
Databáze: Complementary Index