Search results

• 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 (698 words) - 19:05, 1 April 2022
• MODELS 2009
  The MODELS Conference Series is devoted to model-based development for software and systems engineering, and testing.
  2 KB (212 words) - 19:08, 1 April 2022
• ICTSS 2016
  |Title=International Conference on Testing Software and Systems |Series=International Conference on Testing Software and Systems
  3 KB (410 words) - 19:08, 1 April 2022
• 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
• 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 (331 words) - 21:04, 1 April 2022
• MODELSWARD 2014
  • Model-Based Testing and Validation
  3 KB (409 words) - 19:07, 1 April 2022
• SEA 2011
  Software Design, Software Testing Model-Based Methodologies
  2 KB (295 words) - 19:05, 1 April 2022
• CORCS 2008
  refinement, code synthesis, testing, monitoring, debugging,
  2 KB (257 words) - 20:36, 1 April 2022
• SERVICES 2021
  ...modeling, development, publishing, discovery, recommendation, composition, testing, adaptation, and delivery, and Web services applications and standards.''
  2 KB (204 words) - 20:12, 1 April 2022
• TACAS 2003
  *Testing and test-case generation ...the above application areas (e.g., system construction and transformation, testing, analysis of real-time and hybrid systems, etc.). Tool demonstration papers
  3 KB (394 words) - 20:25, 1 April 2022
• MODELSWARD 2018
  - Model-based Testing and Validation
  5 KB (676 words) - 19:35, 1 April 2022
• ICTSS 2011
  |Title=The 23th IFIP International Conference on Testing Software and Systems |Field=Testing, model-based Testing
  6 KB (824 words) - 19:04, 1 April 2022
• 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 (276 words) - 20:47, 1 April 2022
• FASE 2013
  ...dation and verification of software using theorem proving, model checking, testing, analysis, refinement methods, metrics or visualisation techniques;
  2 KB (251 words) - 20:24, 1 April 2022
• SEKE 2008
  # model-based software engineering # SOA-based system testing and maintenance
  6 KB (738 words) - 21:01, 1 April 2022
• 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,509 words) - 20:09, 1 April 2022
• TACAS 2008
  *Testing and test-case generation
  2 KB (204 words) - 20:25, 1 April 2022
• TACAS 2011
  *Testing and test-case generation
  2 KB (210 words) - 20:25, 1 April 2022
• FSE 2003
  *Testing and Test Tools
  2 KB (293 words) - 20:19, 1 April 2022

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