@inproceedings{FMF+08a,
title = {{j-POST: a Java Toolchain for Property-Oriented Software Testing} },
author = {Falcone, Ylies and Mounier, Laurent and Fernandez, Jean-Claude and Richier, Jean-Luc},
month = {April},
year = {2008},
booktitle = {Model-Based Testing (MBT)},
address = {Budapest, Hungaria},
team = {DCS,PACSS},
}