Embedded System Applications

Using Property-Based Oracles when Testing Embedded System Applications

FREE-DOWNLOAD [PDF] T Yu, A Sung, W Srisa-an… – … Testing, Verification and …, 2011
Using Property-Based Oracles when Testing Embedded System Applications .
In prior work we presented an approach for testing embedded systems, focusing on
embedded system applications and the tasks that comprise them.