Search results
Create the page "Model-based Testing" on this wiki! See also the search results found.
- refinement, code synthesis, testing, monitoring, debugging,2 KB (254 words) - 23:22, 14 October 2008
- | Title = IEEE Circuits and Systems International Conference on Testing and Diagnosis ...nounce that the 2009 IEEE Circuits and Systems International Conference on Testing and Diagnosis (ICTD'09), sponsored by IEEE Circuit and System Society (CAS)2 KB (273 words) - 23:24, 14 October 2008
- # Design for Manufacturing/Testing/Yield # Process modeling and model-based control5 KB (608 words) - 23:29, 14 October 2008
- 13) Embedded system integration and testing11 KB (1,352 words) - 00:33, 15 October 2008
- * specification-based testing4 KB (526 words) - 23:30, 14 October 2008
- ...h integrity applications, specification, design, verification, validation, testing, maintenance, system of systems, etc.3 KB (377 words) - 23:31, 14 October 2008
- testing and run time analysis, theorem proving, true concurrency6 KB (682 words) - 10:18, 14 April 2020
- * Formal specification, specification validation, testing, and model checking for high assurance systems6 KB (748 words) - 14:43, 27 December 2015
- : languages, programming and design methodologies, testing methodology, model-driven architecture, simulation methodology2 KB (303 words) - 23:42, 14 October 2008
- Testing, Time-critical systems, Performance analysis, Safety, Embedded systems,6 KB (823 words) - 14:28, 14 December 2008
- ...Validation unit, specializing in model-based dependability evaluation and testing of real-time control systems. During these years, he has been involved in s1 KB (186 words) - 17:22, 5 February 2009
- o Software testing and verification o Embedded system testing and verification5 KB (567 words) - 12:58, 18 January 2009
- The MODELS Conference Series is devoted to model-based development for software and systems engineering, and testing.2 KB (208 words) - 17:05, 24 February 2016
- ...with TOOLS EUROPE, so the use of object technology, component-based and/or model-based software development in globally distributed settings is a synergistic them ...ystem specification; architecture; configuration management; traceability; testing; maintenance; deployment.6 KB (857 words) - 13:01, 18 January 2009
- |Title=2nd Workshop on MODEL-BASED TESTING IN PRACTICE ...– the effectiveness and the efficiency of testing – can be handled by model-based approaches within integrated system and test development for software-inten5 KB (693 words) - 01:41, 14 April 2011
- Systematic and Automated Software Testing, which will happen in the - Formal techniques for software testing;7 KB (1,094 words) - 11:42, 29 September 2016
- * Model-based software product line testing7 KB (910 words) - 17:06, 27 February 2009
- (Information Processing, Metrology and Testing Technology, Production Methods, Rapid Prototyping) ...tion and design, simulation in support of system assembly, integration and testing. Simulation in support of flight software validation, structural dynamics o38 KB (4,832 words) - 17:07, 27 February 2009
- testing, monitoring, debugging, model extraction4 KB (504 words) - 16:43, 27 December 2015
- * validation, verification, and testing,6 KB (870 words) - 11:34, 2 August 2009