Fei He, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun. Integrating Evolutionary Computation with Abstraction Refinement for Model Checking. IEEE Transactions on Computers, 59(1):116-126, 2010. [doi]
@article{HeSHGS10, title = {Integrating Evolutionary Computation with Abstraction Refinement for Model Checking}, author = {Fei He and Xiaoyu Song and William N. N. Hung and Ming Gu and Jiaguang Sun}, year = {2010}, doi = {10.1109/TC.2009.105}, url = {http://doi.ieeecomputersociety.org/10.1109/TC.2009.105}, tags = {model checking, meta-model, refinement, abstraction, Meta-Environment}, researchr = {https://researchr.org/publication/HeSHGS10}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Computers}, volume = {59}, number = {1}, pages = {116-126}, }