FalconeFJMM10

Ylies Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More Testable Properties. In Proceedings of ICTSS - 22nd IFIP WG 6.1 International Conference, Alexandre Petrenko, Adenilso da Silva Sim\ ao, José Carlos Maldonado (eds.), Lecture Notes in Computer Science, (best paper award), Volume 6435, Pages 30-46, Natal, Brazil, November 2010.

Download

Download paper: Adobe portable document (pdf)

Copyright notice:

Keyword

[ Test and run-time verification ]

BibTex Reference

@InProceedings{FalconeFJMM10,
   Author = {Falcone, Ylies and Fernandez, Jean-Claude and Jéron, Thierry and Marchand, Hervé and Mounier, Laurent},
   Title = {More Testable Properties},
   BookTitle = {Proceedings of ICTSS - 22nd IFIP WG 6.1 International Conference},
   editor = {Petrenko, Alexandre and Sim\ ao, Adenilso da Silva and Maldonado, José Carlos},
   Volume = {6435},
   Pages = {30--46},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer},
   Address = {Natal, Brazil},
   Month = {November},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)