Rajan:2010:ATO:1865875.1865882

Ajitha Rajan, Lydie du Bousquet, Yves Ledru, German Vega, Jean-Luc Richier. Assertion-based test oracles for home automation systems. In Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES'10, Pages 45-52, New York, NY, USA, 2010.

Download

Download paper: (link)

Download paper: (link)

Copyright notice:

Contact

Ajitha Rajan
Yves Ledru
German Vega
Jean-Luc Richier

BibTex Reference

@InProceedings{Rajan:2010:ATO:1865875.1865882,
   Author = {Rajan, Ajitha and du Bousquet, Lydie and Ledru, Yves and Vega, German and Richier, Jean-Luc},
   Title = {Assertion-based test oracles for home automation systems},
   BookTitle = {Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software},
   Pages = {45--52},
   Series = {MOMPES'10},
   Publisher = {ACM},
   Address = {New York, NY, USA},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)