Generation of Feasible Test Sequences for EFSM Models

Ali Y. Duale, M. Ümit Uyar. Generation of Feasible Test Sequences for EFSM Models. In Hasan Ural, Robert L. Probert, Gregor von Bochmann, editors, Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13:::th::: International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada. Volume 176 of IFIP Conference Proceedings, pages 91, Kluwer, 2000.

@inproceedings{DualeU00,
  title = {Generation of Feasible Test Sequences for EFSM Models},
  author = {Ali Y. Duale and M. Ümit Uyar},
  year = {2000},
  tags = {testing},
  researchr = {https://researchr.org/publication/DualeU00},
  cites = {0},
  citedby = {0},
  pages = {91},
  booktitle = {Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13:::th::: International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada},
  editor = {Hasan Ural and Robert L. Probert and Gregor von Bochmann},
  volume = {176},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {0-7923-7921-7},
}