MBT2008

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. j-POST: a Java Toolchain for Property-Oriented Software Testing. In Fourth Workshop on Model-Based Testing (MBT'08), a satellite event of ETAPS'08, March 29 - April 6, 2008, Budapest, Electronic Notes in Theoretical Computer Science, Volume 220(1), Pages 29-41, March 2008.

Contact

Ylies Falcone
Jean-Luc Richier

BibTex Reference

@InProceedings{MBT2008,
   Author = {Falcone, Yliès and Mounier, Laurent and Fernandez, Jean-Claude and Richier, Jean-Luc},
   Title = {{j-POST: a Java Toolchain for Property-Oriented Software Testing}},
   BookTitle = {Fourth Workshop on Model-Based Testing (MBT'08),    a satellite event of ETAPS'08, March 29 - April 6, 2008, Budapest},
   Volume = {220(1)},
   Pages = {29--41},
   Series = {Electronic Notes in Theoretical Computer Science},
   Publisher = {Springer},
   Month = {March},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)