Abstract
This special section is devoted to a selection of papers that originally appeared in two thematic sessions on high-level testing of complex systems at IDPT 2002 and 2003, the 6th and 7th World Conference on Integrated Design and Process Technology, which took place in Pasadena, CA in June 2002 and in Austin, TX in December 2003, respectively. This collection of papers spans a wide panoramic view on the development of testing and validation technology along several dimmensions. It touches on issues such as - Kinds of systems - Kinds of testing or validation - Practical difficulties (in the application area) - Technical difficulties, e.g., state explosion, heterogeneity, etc. - Particular approaches, i.e., methods tools and whether or not they are linked to other areas such as formal verification, simulation, abstract interpretation, etc. - Current state of advancement and uptake (conceptual, implemented, industrial product, etc.) All seven papers methods, tools, and case studies that aim at using diverse formal techniques for testing complex systems.
| Original language | English |
|---|---|
| Pages (from-to) | 293-296 |
| Number of pages | 4 |
| Journal | International Journal on Software Tools for Technology Transfer |
| Volume | 7 |
| Issue number | 4 |
| DOIs | |
| Publication status | Published - Aug 2005 |
| Externally published | Yes |