@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} }