Test Case Minimization for Real-Time Systems Using Timed Bound Traces

DOI10.1007/11754008_19zbMath1185.68083OpenAlexW1563893834MaRDI QIDQ3434668

Patrick Félix, Aziz Salah, Richard Castanet, Ismail Berrada

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11754008_19

zbMATH Keywords

conformance testingblack-box testingtrace inclusiontimed input output automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

Introducing complexity to formal testing

This page was built for publication: Test Case Minimization for Real-Time Systems Using Timed Bound Traces