Library-based design and consistency checking of system-level industrial test cases

DOI10.1007/3-540-45314-8_17MaRDI QIDQ2764125zbMATH OpenFDO

Authors Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune

Publication date 22 January 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2029/20290233

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99)

Recommendations

• Demonstration of an automated integrated testing environment for CTI systems
• Testing transition systems: An annotated bibliography
• Model-based testing of reactive systems. Advanced lectures.
• scientific article; zbMATH DE number 2090131
• scientific article; zbMATH DE number 2079855

Cited in

(1)

• Demonstration of an automated integrated testing environment for CTI systems

This page was built for publication: Library-based design and consistency checking of system-level industrial test cases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2764125)