Property-based testing for LG home appliances using accelerated software-in-the-loop simulation.

Mingyu Park, Hoon Jang, Taejoon Byun, Yunja Choi

Browse the full ICSE paper archive.