Systematic Testing of Reactive Software with Non-Deterministic Events: A Case Study on LG Electric Oven.

Yongbae Park, Shin Hong, Moonzoo Kim, Dongju Lee, Junhee Cho

Browse the full ICSE paper archive.