Using Squeeziness to test component-based systems defined as Finite State Machines

Alfredo Ibias, Robert M. Hierons, Manuel Núñez 0001. Using Squeeziness to test component-based systems defined as Finite State Machines. Information \& Software Technology, 112:132-147, 2019. [doi]

@article{IbiasHN19,
  title = {Using Squeeziness to test component-based systems defined as Finite State Machines},
  author = {Alfredo Ibias and Robert M. Hierons and Manuel Núñez 0001},
  year = {2019},
  doi = {10.1016/j.infsof.2019.04.012},
  url = {https://doi.org/10.1016/j.infsof.2019.04.012},
  researchr = {https://researchr.org/publication/IbiasHN19},
  cites = {0},
  citedby = {0},
  journal = {Information \& Software Technology},
  volume = {112},
  pages = {132-147},
}