Documents Auto-Generation of Test Cases for Infinite States Reactive Systems Based on Symbolic Execution and.....

Slide 1Auto-Generation of Test Cases for Infinite States Reactive Systems Based on Symbolic Execution and Formula Rewriting Donghuo Chen School of Computer Science and Technology,…

Documents Donghuo Chen School of Computer Science and Technology, Soochow University Present by Junxiang Wu

Auto-Generation of Test Cases for Infinite States Reactive Systems Based on Symbolic Execution and Formula Rewriting Donghuo Chen School of Computer Science and Technology,…