cvb.authors: Simone Vuotto
cvb.fail: null
cvb.id: Vol-2457/paper10
cvb.pages: 96-106
cvb.pdf_name: 10.pdf
cvb.title: Automata-Based Generation of Test Cases for Reactive Systems
cvb.vol_number: 2457
dblp.authors:
- dblp_author_id: https://dblp.org/pid/186/9699
  gnd_id: null
  label: Simone Vuotto
  orcid_id: null
  wikidata_id: null
dblp.dblp_proceeding_id: https://dblp.org/rec/conf/cpsschool/2019phd
dblp.dblp_publication_id: https://dblp.org/rec/conf/cpsschool/Vuotto19
dblp.pdf_id: Vol-2457/10
dblp.title: Automata-Based Generation of Test Cases for Reactive Systems.
dblp.volume_number: 2457
spt.description: null
spt.html_url: /Vol-2457/paper10.html
spt.id: Vol-2457/paper10
spt.pdfUrl: !!python/object/new:linkml_runtime.utils.metamodelcore.URI
  args:
  - https://ceur-ws.org/Vol-2457/10.pdf
  state:
    _len: null
    _s: null
spt.session: null
spt.title: Automata-Based Generation of Test Cases for Reactive Systems
spt.volume:
  acronym: CPSWS 2019
  date: '2019-09-28'
  dblp: conf/cpsschool/2019phd
  description: Proceedings of CPSWS 2019 workshop
  k10plus: '1684100828'
  number: 2457
  title: Proceedings of the Cyber-Physical Systems PhD Workshop 2019, an event held
    within the CPS Summer School "Designing Cyber-Physical Systems - From concepts
    to implementation"
  url: http://ceur-ws.org/Vol-2457/
  urn: urn:nbn:de:0074-2457-8
  wikidataid: Q113542812
spt.wikidataid: null
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
