### Abstract

Language | Undefined |
---|---|

Title of host publication | Formal Approaches to Software Testing: 4th International Workshop, FATES 2004 |

Editors | J. Grabowski, B. Nielsen |

Place of Publication | Berlin |

Publisher | Springer Verlag |

Pages | 64-78 |

Number of pages | 15 |

ISBN (Print) | 978-3-540-25109-5 |

DOIs | |

State | Published - Sep 2004 |

### Publication series

Name | Lecture Notes in Computer Science |
---|---|

Publisher | Springer Verlag |

No. | X |

Volume | 3395 |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Keywords

- METIS-220424
- IR-48707
- EWI-1630

### Cite this

*Formal Approaches to Software Testing: 4th International Workshop, FATES 2004*(pp. 64-78). (Lecture Notes in Computer Science; Vol. 3395, No. X). Berlin: Springer Verlag. DOI: 10.1007/978-3-540-31848-4_5, 10.1007/b106767

}

*Formal Approaches to Software Testing: 4th International Workshop, FATES 2004.*Lecture Notes in Computer Science, no. X, vol. 3395, Springer Verlag, Berlin, pp. 64-78. DOI: 10.1007/978-3-540-31848-4_5, 10.1007/b106767

**A test generation framework for quiescent real-time systems.** / Brandan Briones, L.; Brinksma, Hendrik.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A test generation framework for quiescent real-time systems

AU - Brandan Briones,L.

AU - Brinksma,Hendrik

PY - 2004/9

Y1 - 2004/9

N2 - A real-time system is a discrete system whose state changes occur in real-numbered time [AH97]. For testing real-time systems, specification languages must be extended with constructs for expressing real-time constraints, the implementation relation must be generalized to consider the temporal dimension, and the data structures and algorithms used to generate tests must be revised to operate on a potentially infinite set of states.

AB - A real-time system is a discrete system whose state changes occur in real-numbered time [AH97]. For testing real-time systems, specification languages must be extended with constructs for expressing real-time constraints, the implementation relation must be generalized to consider the temporal dimension, and the data structures and algorithms used to generate tests must be revised to operate on a potentially infinite set of states.

KW - METIS-220424

KW - IR-48707

KW - EWI-1630

U2 - 10.1007/978-3-540-31848-4_5

DO - 10.1007/978-3-540-31848-4_5

M3 - Conference contribution

SN - 978-3-540-25109-5

T3 - Lecture Notes in Computer Science

SP - 64

EP - 78

BT - Formal Approaches to Software Testing: 4th International Workshop, FATES 2004

PB - Springer Verlag

CY - Berlin

ER -