Search results

Create the page "Model-based Testing" on this wiki! See also the search results found.

• CORCS 2008
  refinement, code synthesis, testing, monitoring, debugging,
  2 KB (254 words) - 23:22, 14 October 2008
• ICTD 2009
  | 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
• EManufacturing 2008
  # Design for Manufacturing/Testing/Yield # Process modeling and model-based control
  5 KB (608 words) - 23:29, 14 October 2008
• ESWEEK 2008
  13) Embedded system integration and testing
  11 KB (1,352 words) - 00:33, 15 October 2008
• MEMOCODE 2008
  * specification-based testing
  4 KB (526 words) - 23:30, 14 October 2008
• ISORC 2008
  ...h integrity applications, specification, design, verification, validation, testing, maintenance, system of systems, etc.
  3 KB (377 words) - 23:31, 14 October 2008
• SOFSEM 2009
  testing and run time analysis, theorem proving, true concurrency
  6 KB (682 words) - 10:18, 14 April 2020
• HASE 2008
  * Formal specification, specification validation, testing, and model checking for high assurance systems
  6 KB (748 words) - 14:43, 27 December 2015
• ICUIMC 2009
  : languages, programming and design methodologies, testing methodology, model-driven architecture, simulation methodology
  2 KB (303 words) - 23:42, 14 October 2008
• QAPL 2009
  Testing, Time-critical systems, Performance analysis, Safety, Embedded systems,
  6 KB (823 words) - 14:28, 14 December 2008
• Francesco Flammini
  ...Validation unit, specializing in model-based dependability evaluation and testing of real-time control systems. During these years, he has been involved in s
  1 KB (186 words) - 17:22, 5 February 2009
• RIVF 2009
  o Software testing and verification o Embedded system testing and verification
  5 KB (567 words) - 12:58, 18 January 2009
• MODELS 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
• SEAFOOD 2009
  ...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
• MOTIP
  |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-inten
  5 KB (693 words) - 01:41, 14 April 2011
• SBMF 2009
  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
• MDPLE 2009
  * Model-based software product line testing
  7 KB (910 words) - 17:06, 27 February 2009
• ISC 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 o
  38 KB (4,832 words) - 17:07, 27 February 2009
• CORCS 2009
  testing, monitoring, debugging, model extraction
  4 KB (504 words) - 16:43, 27 December 2015
• OCL 2009
  * validation, verification, and testing,
  6 KB (870 words) - 11:34, 2 August 2009

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)