Search results

• MODELS 2009
  The MODELS Conference Series is devoted to model-based development for software and systems engineering, and testing.
  2 KB (209 words) - 11:10, 8 March 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 (694 words) - 11:10, 8 March 2021
• ICTSS 2016
  |Title=International Conference on Testing Software and Systems |Series=International Conference on Testing Software and Systems
  3 KB (406 words) - 10:57, 8 March 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) - 20:20, 17 February 2021
• MODELSWARD 2014
  • Model-Based Testing and Validation
  3 KB (408 words) - 11:10, 8 March 2021
• SEA 2011
  Software Design, Software Testing Model-Based Methodologies
  2 KB (294 words) - 11:18, 8 March 2021
• CORCS 2008
  refinement, code synthesis, testing, monitoring, debugging,
  2 KB (254 words) - 12:13, 28 January 2021
• MODELSWARD 2018
  - Model-based Testing and Validation
  5 KB (670 words) - 11:10, 8 March 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 (661 words) - 10:33, 8 March 2021
• FASE 2019
  ...non-functional software properties using theorem proving, model checking, testing, analysis, simulation, refinement methods, metrics or visualization techniq
  2 KB (302 words) - 10:44, 8 March 2021
• ICTSS 2011
  |Title=The 23th IFIP International Conference on Testing Software and Systems |Field=Testing, model-based Testing
  6 KB (823 words) - 10:57, 8 March 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:42, 28 January 2021
• SEKE 2008
  # model-based software engineering # SOA-based system testing and maintenance
  6 KB (734 words) - 11:19, 8 March 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,506 words) - 11:21, 8 March 2021
• TACAS 2021
  * testing;
  2 KB (294 words) - 11:23, 8 March 2021
• ICSESS 2017
  Testing of Software Systems
  5 KB (674 words) - 10:56, 8 March 2021
• CORCS 2009
  testing, monitoring, debugging, model extraction
  4 KB (505 words) - 10:36, 8 March 2021
• MDPLE 2009
  * Model-based software product line testing
  7 KB (910 words) - 20:01, 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:02, 28 January 2021
• SERVICE COMPUTATION 2021
  ...process in distributed environments; Contract monitoring service; Dynamic testing; Prediction-as-a-Service; Scalable QoE prediction for service composition; ...wledge-intensive services; Risk management in services management; Service testing and validation; Service consumption and delivery outcome; Quality of servic
  10 KB (1,221 words) - 11:59, 8 March 2021

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