@article {847,
	title = {Evaluation of a model-based testing platform for Java applications},
	journal = {IET Software},
	year = {2019},
	doi = {10.1049/iet-sen.2019.0036},
	url = {https://doi.org/10.1049/iet-sen.2019.0036},
	author = {Leonardo Villalobos-Arias and Christian Quesada-L{\'o}pez and Alexandra Martinez and Marcelo Jenkins}
}
