The Library
Model checking and testing combined
Tools
UNSPECIFIED (2003) Model checking and testing combined. In: 30th International Colloquium on Automata, Languages and Programming (ICALP 2003), EINDHOVEN, NETHERLANDS, JUN 30-JUL 04, 2003. Published in: AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2719 pp. 47-63. ISBN 3-540-40493-7. ISSN 0302-9743.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
Model checking is a technique for automatically checking properties of models of systems. We present here several combinations of model checking with testing techniques. This allows checking systems when no model is given, when the model is inaccurate, or when only a part of its description is given.
Item Type: | Conference Item (UNSPECIFIED) | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Series Name: | LECTURE NOTES IN COMPUTER SCIENCE | ||||
Journal or Publication Title: | AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS | ||||
Publisher: | SPRINGER-VERLAG BERLIN | ||||
ISBN: | 3-540-40493-7 | ||||
ISSN: | 0302-9743 | ||||
Editor: | Baeten, JCM and Parrow, J and Lenstra, JK and Woeginger, GJ | ||||
Official Date: | 2003 | ||||
Dates: |
|
||||
Volume: | 2719 | ||||
Number of Pages: | 17 | ||||
Page Range: | pp. 47-63 | ||||
Publication Status: | Published | ||||
Title of Event: | 30th International Colloquium on Automata, Languages and Programming (ICALP 2003) | ||||
Location of Event: | EINDHOVEN, NETHERLANDS | ||||
Date(s) of Event: | JUN 30-JUL 04, 2003 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |