Conference , Workshops Proceedings

Generating Checking Sequences for Nondeterministic Finite State Machines

Petrenko, A., Simao, A. and Yevtushenko, N. "Generating Checking Sequences for Nondeterministic Finite State Machines" in Proceedings of the IEEE Fifth International Conference on Software Testing, Verification and Validation. The Best Paper Award (ICST 2012). Hôtel Omni, Québec, Montréal, Canada, 17 to 21 April 2012

  • LLNL Computation RT @Livermore_Comp: 7th Annual ESGF Conference participants, including several familiar faces from @Livermore_Comp Congras on their recent…
  • LLNL Computation RT @Livermore_Comp: The annual #ESGF conference highlights important work from LLNL’s international collaborators, like the Computer Resear…