UNSPECIFIED (2003) Model checking and testing combined. In: 30th International Colloquium on Automata, Languages and Programming (ICALP 2003), JUN 30-JUL 04, 2003, EINDHOVEN, NETHERLANDS.

Full text not available from this repository.

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
Date:	2003
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
URI:	http://wrap.warwick.ac.uk/id/eprint/9359

Data sourced from Thomson Reuters' Web of Knowledge

Request changes to a record

Actions (login required)

View Item