@conference {985,
	title = {MBT4J: Automating the Model-Based Testing Process for Java Applications},
	booktitle = {Advances in Intelligent Systems and Computing},
	year = {2018},
	publisher = {Springer International Publishing},
	organization = {Springer International Publishing},
	doi = {10.1007/978-3-030-01171-0_15},
	url = {https://doi.org/10.1007/978-3-030-01171-0_15},
	author = {Leonardo Villalobos-Arias and Christian Quesada-L{\'o}pez and Alexandra Martinez and Marcelo Jenkins}
}
