Auto-Generation of Test Cases for Infinite States Reactive Systems Based on Symbolic Execution and Formula Rewriting Donghuo Chen School of Computer Science.
Donghuo Chen School of Computer Science and Technology, Soochow University Present by Junxiang Wu