j-POST: a Java Toolchain for Property-Oriented Software Testing. Falcone, Y., Mounier, L., Fernandez, J.C, & Richier, J. In Fourth Workshop on Model-Based Testing (MBT'08), a satellite event of ETAPS'08, March 29 - April 6, 2008, Budapest, volume 220(1), of Electronic Notes in Theoretical Computer Science, pages 29--41, March, 2008. Springer. 00004
bibtex   
@inproceedings{ falcone_j-post:_2008,
  series = {Electronic {Notes} in {Theoretical} {Computer} {Science}},
  title = {j-{POST}: a {Java} {Toolchain} for {Property}-{Oriented} {Software} {Testing}},
  volume = {220(1)},
  shorttitle = {j-{POST}},
  booktitle = {Fourth {Workshop} on {Model}-{Based} {Testing} ({MBT}'08), a satellite event of {ETAPS}'08, {March} 29 - {April} 6, 2008, {Budapest}},
  publisher = {Springer},
  author = {Falcone, Yliès and Mounier, Laurent and Fernandez, Jean-Claude and Richier, Jean-Luc},
  month = {March},
  year = {2008},
  note = {00004},
  pages = {29--41}
}
Downloads: 0