FalconeFJMM12

Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More testable properties. STTT, 14(4):407-437, 2012.

Download

Download paper: (link)

Copyright notice:

Keyword

[ Test and run-time verification ]

BibTex Reference

@article{FalconeFJMM12,
   Author = {Falcone, Yliès and Fernandez, Jean-Claude and Jéron, Thierry and Marchand, Hervé and Mounier, Laurent},
   Title = {More testable properties},
   Journal = {STTT},
   Volume = {14},
   Number = {4},
   Pages = {407--437},
   Year = {2012}
}

EndNote Reference [help]

Get EndNote Reference (.ref)