Search results

• MODELS 2009
  The MODELS Conference Series is devoted to model-based development for software and systems engineering, and testing.
  2 KB (208 words) - 13:18, 17 February 2021
• MOTIP
  |Title=2nd Workshop on MODEL-BASED TESTING IN PRACTICE ...Both – 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) - 13:12, 17 February 2021
• ICTSS 2016
  |Title=International Conference on Testing Software and Systems |Series=International Conference on Testing Software and Systems
  3 KB (405 words) - 13:18, 17 February 2021
• Tools Europe 2009
  ...on all aspects of object technology and neighbouring fields, in particular model-based development, component-based development, and patterns (design, analysis an * Testing of object-oriented systems
  3 KB (328 words) - 12:37, 17 February 2021
• MODELSWARD 2014
  • Model-Based Testing and Validation
  3 KB (407 words) - 13:17, 17 February 2021
• SEA 2011
  Software Design, Software Testing Model-Based Methodologies
  2 KB (293 words) - 13:12, 17 February 2021
• CORCS 2008
  refinement, code synthesis, testing, monitoring, debugging,
  2 KB (254 words) - 12:20, 17 February 2021
• 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) - 12:59, 17 February 2021
• MODELSWARD 2018
  - Model-based Testing and Validation
  5 KB (669 words) - 13:42, 17 February 2021
• CCBS 09
  ...mentioned industries with special emphasis on using model-based design and testing paradigms. Papers reporting industrial experiences using methodologies and * Model-based software testing and formal methods (model checking, theorem proving)
  5 KB (660 words) - 13:17, 17 February 2021
• FASE 2019
  ...non-functional software properties using theorem proving, model checking, testing, analysis, simulation, refinement methods, metrics or visualization techniq
  2 KB (301 words) - 13:48, 17 February 2021
• ICTSS 2011
  |Title=The 23th IFIP International Conference on Testing Software and Systems |Field=Testing, model-based Testing
  6 KB (822 words) - 13:12, 17 February 2021
• 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) - 12:26, 17 February 2021
• SEKE 2008
  # model-based software engineering # SOA-based system testing and maintenance
  6 KB (733 words) - 13:34, 17 February 2021
• SOFTENG 2021
  Testing large-scale software smart systems; Dedicated apps for smart reuse aspects; Weak and strong reuse; Testing and validating reuse-based
  12 KB (1,505 words) - 14:12, 17 February 2021
• ICSESS 2017
  Testing of Software Systems
  5 KB (673 words) - 13:42, 17 February 2021
• TACAS 2021
  * testing;
  2 KB (293 words) - 14:08, 17 February 2021
• MDPLE 2009
  * Model-based software product line testing
  7 KB (910 words) - 13:04, 17 February 2021
• CORCS 2009
  testing, monitoring, debugging, model extraction
  4 KB (504 words) - 13:17, 17 February 2021
• ADCSS 2008
  The goal of the round table is to review the state-of-the-art in model-based software engineering and to facilitate and promote the adoption of this par * What is blocking us from a wider use of model-based approaches? (maturity, coverage, cost...)
  18 KB (2,714 words) - 12:18, 17 February 2021

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