Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms

Roland Kuhn, Alan Darmasaputra. Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms. In René Just, Gordon Fraser 0001, editors, Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. pages 1475-1478, ACM, 2023. [doi]

@inproceedings{KuhnD23,
  title = {Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms},
  author = {Roland Kuhn and Alan Darmasaputra},
  year = {2023},
  doi = {10.1145/3597926.3604917},
  url = {https://doi.org/10.1145/3597926.3604917},
  researchr = {https://researchr.org/publication/KuhnD23},
  cites = {0},
  citedby = {0},
  pages = {1475-1478},
  booktitle = {Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023},
  editor = {René Just and Gordon Fraser 0001},
  publisher = {ACM},
}