Generating time test cases with oracles for real-time software

DOI10.1016/S0965-9978(01)00021-7zbMath0972.68538OpenAlexW2013449241MaRDI QIDQ5944319

Ian Ho, Jin-Cherng Lin

Publication date: 18 November 2001

Published in: Advances in Engineering Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0965-9978(01)00021-7

zbMATH Keywords

time Petri netstemporal logicreal-time software

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Generating time test cases with oracles for real-time software