verimag-TR-2007-7

Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier Ylies Falcone. j-POST: a Java Toolchain for Property-Oriented Software Testing. Research Report Verimag, No 0, April 2008.

Download

Download paper: (link)

Copyright notice:

Keyword

[ Test and run-time verification ]

BibTex Reference

@TechReport{verimag-TR-2007-7,
   Author = {Ylies Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier},
   Title = {j-POST: a Java Toolchain for Property-Oriented Software Testing},
   Number = {0},
   Institution = {Verimag},
   Address = {Centre Équation, 38610 Gières},
   Month = {April},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)