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]

@inproceedings{YuSSR11,
  title = {Using Property-Based Oracles when Testing Embedded System Applications},
  author = {Tingting Yu and Ahyoung Sung and Witawas Srisa-an and Gregg Rothermel},
  year = {2011},
  doi = {10.1109/ICST.2011.33},
  url = {http://dx.doi.org/10.1109/ICST.2011.33},
  tags = {rule-based, testing},
  researchr = {https://researchr.org/publication/YuSSR11},
  cites = {0},
  citedby = {0},
  pages = {100-109},
  booktitle = {IEEE Fourth International Conference on Software Testing, Verification and Validation, ICST 2011, Berlin, Germany, 21-25 March 2011},
  publisher = {IEEE Computer Society},
}