Using Property-Based Oracles when Testing Embedded System Applications

Tingting Yu, Ahyoung Sung, Witawas Srisa-an, Gregg Rothermel. Using Property-Based Oracles when Testing Embedded System Applications. In IEEE Fourth International Conference on Software Testing, Verification and Validation, ICST 2011, Berlin, Germany, 21-25 March 2011. pages 100-109, IEEE Computer Society, 2011. [doi]

Authors

Tingting Yu

This author has not been identified. Look up 'Tingting Yu' in Google

Ahyoung Sung

This author has not been identified. Look up 'Ahyoung Sung' in Google

Witawas Srisa-an

This author has not been identified. Look up 'Witawas Srisa-an' in Google

Gregg Rothermel

This author has not been identified. It may be one of the following persons: Look up 'Gregg Rothermel' in Google