Using Property-Based Oracles when Testing Embedded System Applications.

Tingting Yu, Ahyoung Sung, Witawas Srisa-an, Gregg Rothermel

Browse the full ICST paper archive.