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 |
Externí odkaz: |