Temporal Multi-View Contracts Help Developing Efficient Test Models

Jishu Guin, Jüri Vain, Leonidas Tsiopoulos, Gert Valdek. Temporal Multi-View Contracts Help Developing Efficient Test Models. Balt. J. Mod. Comput., 10(4), 2022. [doi]

@article{GuinVTV22-0,
  title = {Temporal Multi-View Contracts Help Developing Efficient Test Models},
  author = {Jishu Guin and Jüri Vain and Leonidas Tsiopoulos and Gert Valdek},
  year = {2022},
  doi = {10.22364/bjmc.2022.10.4.07},
  url = {https://doi.org/10.22364/bjmc.2022.10.4.07},
  researchr = {https://researchr.org/publication/GuinVTV22-0},
  cites = {0},
  citedby = {0},
  journal = {Balt. J. Mod. Comput.},
  volume = {10},
  number = {4},
}