Context: The testing phase is an important but very expensive part of development process. Model-Based Testing (MBT) allows the automation of the generation of test cases to decrease part of this high cost by using software conceptual models. Indeed, JMermaid is a tool that allows the automatic generation of software applications from the conceptual models. Objective: The main objective of this investigation is to develop a module to visualize the coverage of test cases of the applications generated by the JMermaid tool. Method: Model-based testing technique was used to generate test cases from the JMermaid conceptual models, and a tool called TesCaV was implemented for the automatic generation of test cases. Results: TesCaV was integrated with JMermaid allowing the visualization of the coverage of test cases on the generated Java applications. Conclusions: The visualization of test cases improves the understanding of the testing phase in the development process.