Generating time test cases with oracles for real-time software

DOI10.1016/S0965-9978(01)00021-7MaRDI QIDQ5944319zbMATH OpenOpenAlexFDO

Authors Jin-Cherng Lin, Ian Ho

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

real-time softwaretemporal logictime Petri nets

Mathematics Subject Classification ID

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

Recommendations

• Formal Approaches to Software Testing
• Formal Approaches to Software Testing
• Formal Approaches to Software Testing
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• A local approach to the testing of real-time systems

Cited in

(1)

• Formal Techniques for Networked and Distributed Systems – FORTE 2004

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5944319)