Search results

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

• TACAS 2009
  * Testing and test-case generation;
  4 KB (543 words) - 16:39, 16 July 2020
• JWE
  * Modeling and model-based design and development * Testing automation, methods and tools for Web applications
  6 KB (871 words) - 05:51, 26 August 2008
• ISORC 2009
  specification, design, verification, validation, testing, maintenance,
  5 KB (715 words) - 17:43, 11 September 2008
• CSR 2009
  for design, development, testing, analysis, and verification of correct
  5 KB (614 words) - 17:22, 11 September 2008
• ECOMO 2009
  * Model-based design and testing of e-Business/Web-based systems
  7 KB (872 words) - 13:20, 5 March 2012
• SEA 2011
  Software Design, Software Testing Model-Based Methodologies
  2 KB (293 words) - 10:35, 24 June 2011
• 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:05, 14 October 2008
• CASCON 2008
  testing; reliability engineering; quality assurance environments; testing frameworks; supporting distributed and parallel
  9 KB (1,193 words) - 22:53, 14 October 2008
• ICTAC 09
  * software specification, refinement, verification and testing
  8 KB (1,085 words) - 18:01, 12 February 2009
• MODELS OCL 2008
  * validation, verification, and testing,
  5 KB (746 words) - 23:09, 14 October 2008
• ICWS 2008
  verification, testing, etc.)
  8 KB (1,158 words) - 23:14, 14 October 2008
• IDEAS 2009
  * Testing, Verification and Validation
  8 KB (1,104 words) - 23:18, 14 October 2008
• 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) - 16:46, 27 December 2015
• CBSE 2008
  * Specification, verification and testing of component-based systems;
  8 KB (1,033 words) - 23:18, 14 October 2008
• SEKE 2008
  # model-based software engineering # SOA-based system testing and maintenance
  6 KB (733 words) - 12:48, 27 October 2016
• IWSSE 2008
  · Model-based security · Testing for security
  5 KB (615 words) - 09:55, 29 May 2016
• WOSP 2008
  o software performance testing
  4 KB (449 words) - 23:18, 14 October 2008
• 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) - 23:23, 14 October 2008
• IDAMAP 2008
  pharmacological data, drug design, drug testing, and outcomes analysis.
  7 KB (1,015 words) - 23:19, 14 October 2008
• SAECSIS 2009
  (d) Ontology-based support for Testing:
  6 KB (778 words) - 23:22, 14 October 2008
• 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
• MIS Review - Special Issue 2009
  Software Testing and tools
  5 KB (657 words) - 11:34, 2 August 2009
• ASWEC 2010
  * Testing, Analysis and Verification
  8 KB (1,112 words) - 11:35, 2 August 2009
• DATE 2010
  ...bedded systems, design methodologies, CAD languages, algorithms and tools, testing of electronic circuits and systems, embedded software, applications design • Model-based Design and Test
  5 KB (605 words) - 15:11, 27 December 2015
• ICIMP 2010
  ...; Emergency preparedness for industry and commerce; Updating, auditing and testing plans; Reduce downtime with continuous backup; Global connectivity and inte ...uthentication smart cards and biometric metrics; Performance and assurance testing; Limitations of biometric technologies; Biometric card technologies; Biomet
  14 KB (1,651 words) - 15:56, 15 February 2017
• LDTA 2010
  * Debugging, profiling, and testing
  5 KB (699 words) - 11:19, 12 September 2009
• QSIC 2010
  * Software testing: design tools, testing tools, information systems engineering, quality tools
  4 KB (583 words) - 12:17, 25 November 2009
• ICSOFT
  - Software Testing and Maintenance
  3 KB (392 words) - 13:50, 30 April 2020
• TACAS 2019
  * testing;
  3 KB (369 words) - 06:23, 4 August 2020
• MESA 2011
  * Virtual Prototyping and Hardware-in-the-Loop testing and simulation * Early testing and verification of mechatronics products
  12 KB (1,378 words) - 21:13, 28 November 2010
• WWV 2011
  - Testing and evaluation of Web systems and applications.
  5 KB (650 words) - 14:16, 22 February 2011
• ICTSS 2011
  |Title=The 23th IFIP International Conference on Testing Software and Systems |Field=Testing, model-based Testing
  6 KB (822 words) - 14:44, 18 March 2011
• ESEC/FSE 2020
  ...ocial aspects of software engineering || Programming languages || Software testing
  6 KB (738 words) - 11:21, 6 July 2020
• MODELSWARD
  Model-Based Testing and Validation
  8 KB (1,165 words) - 17:11, 18 July 2012
• ICSOFT-EA 2013
  Software Testing and Maintenance
  6 KB (801 words) - 11:04, 14 April 2020
• MODELSWARD 2014
  • Model-Based Testing and Validation
  3 KB (407 words) - 18:21, 10 April 2013
• ICTSS 2016
  |Title=International Conference on Testing Software and Systems |Series=International Conference on Testing Software and Systems
  3 KB (405 words) - 10:56, 24 April 2016
• ICSESS 2017
  Testing of Software Systems
  5 KB (673 words) - 09:53, 3 September 2017
• MODELSWARD 2018
  - Model-based Testing and Validation
  5 KB (669 words) - 12:30, 3 September 2017
• ISEC 2018
  - Software Testing
  8 KB (1,150 words) - 10:11, 7 August 2019
• Correctness 2017
  today. While significant advances in verification, testing, and * Frameworks to address the challenges of testing complex HPC
  5 KB (588 words) - 18:00, 18 February 2021
• IEICE Trans D Form Appr 2018 : Special Section on Formal Approaches at IEICE Transactions on Information and Systems
  codes, testing, verification, and maintenance. They are rapidly
  4 KB (593 words) - 13:24, 28 July 2017
• ICPE 2018
  * Tools for performance testing, measurement, profiling and tuning
  11 KB (1,364 words) - 13:23, 3 September 2017
• ZEUS 2018
  - Service lifecycle: analysis, specification, modelling, testing, deployment, execution, monitoring, adaptation
  4 KB (565 words) - 18:34, 4 July 2020
• Querying the Web of Data with Graph Theory-based Techniques
  We perform 10 warm up runs and 50 testing runs for each
  6 KB (889 words) - 21:56, 11 July 2018
• FASE 2019
  ...non-functional software properties using theorem proving, model checking, testing, analysis, simulation, refinement methods, metrics or visualization techniq
  2 KB (301 words) - 14:34, 4 June 2019
• TAMC 2020
  * property testing
  2 KB (192 words) - 08:38, 14 April 2020
• SafeComp 2020
  * Testing, verification and validation methods & tools
  5 KB (617 words) - 11:54, 19 June 2020
• PEPM 2019
  ...ecking, binding-time analysis, constraint solving, type systems, automated testing and test case generation.
  7 KB (1,057 words) - 10:13, 17 April 2020
• PEPM 2018
  ...ecking, binding-time analysis, constraint solving, type systems, automated testing and test case generation.
  8 KB (1,080 words) - 10:43, 17 April 2020
• ICAS 2020
  ...erence, and serving; Trust and security for machine learning applications; Testing, debugging, and monitoring of machine learning applications; Autonomous and ...ance and security in autonomous systems; Management of autonomous systems; Testing autonomous systems; Maintainability of autonomous systems
  16 KB (1,897 words) - 12:31, 18 May 2020
• WEB 2020
  ...es, and tools to support Web accessibility; Best practices for evaluation, testing reviews and repair techniques; Accessibility across the entire system lifec
  11 KB (1,390 words) - 12:35, 18 May 2020
• SafeComp 2019
  * testing, verification and validation methods and tools for safety and security
  3 KB (419 words) - 10:51, 19 June 2020
• DATE 2020
  ...est are: embedded systems, design methodologies, EDA algorithms and tools, testing of electronic circuits and systems, embedded software, application design a * On-Line Testing and Fault Tolerance
  4 KB (508 words) - 17:54, 6 January 2021
• SafeComp 2018
  * Model-based analysis, design, and assessment; * In-the-loop and model-based testing;
  4 KB (475 words) - 10:23, 19 June 2020
• ICIMP 2020
  ...; Emergency preparedness for industry and commerce; Updating, auditing and testing plans; Reduce downtime with continuous backup; Global connectivity and inte ...uthentication smart cards and biometric metrics; Performance and assurance testing; Limitations of biometric technologies; Biometric card technologies; Biomet
  17 KB (2,088 words) - 12:49, 14 June 2020
• SAFECOMP 2017
  * Model-based analysis, design, and assessment * In-the-loop and model-based testing
  4 KB (457 words) - 11:48, 17 June 2020
• ASE 2017
  ...techniques, and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems. ASE 2017 invites high quality c * Testing, verification, and validation
  5 KB (557 words) - 07:07, 13 July 2020
• ICCGI 2020
  ...uthentication smart cards and biometric metrics; Performance and assurance testing; Limitations of biometric technologies; Biometric card technologies; Biomet ...e; Software security, reliability and safety; Software economics; Software testing and debugging; Tracking defects in the OO design; Distributed and parallel
  18 KB (2,036 words) - 02:36, 10 July 2020
• ICSEA 2020
  ...s and workflow; Software validation and verification; Software testing and testing tools; Software implementation; Software project management (risk analysis, ...techniques; Service computing paradigm; QoS models for service computing; Testing methods for service computing; Approaches to service process improvement; A
  13 KB (1,573 words) - 12:00, 10 July 2020
• FASSI 2020
  ...ement; Software Migration; Third Party Software; Legacy Software; Software Testing; Software Architecture and Standards; Software Project Organization; Team,
  6 KB (769 words) - 14:09, 24 August 2020
• TACAS 2021
  * testing;
  2 KB (293 words) - 14:54, 3 August 2020
• ICSME 2019
  * Maintenance and evolution of model-based methods * Software testing theory and practice
  3 KB (345 words) - 11:06, 5 August 2020
• ICSME 2018
  * Maintenance and evolution of model-based methods * Software testing
  3 KB (366 words) - 11:49, 5 August 2020
• ACHI 2020
  ...sers; Interface specification and design; Interface prototyping; Interface testing; Interface evaluation; Interface generators and other tools for developing Cognitive models; Conceptual models; Mental models; Frameworks for cognition; Model-based design of interactive systems; Formal methods in human-computer interaction
  16 KB (1,964 words) - 13:34, 7 January 2021
• SMART ACCESSIBILITY 2020
  Accessibility testing Criteria and procedures for automated accessibility testing of intelligent user interfaces and Smart Environments; Design guidelines fo
  10 KB (1,232 words) - 13:26, 24 August 2020
• ICONS 2021
  field operational testing; Recent standardization efforts and problems systems; Wireless/wired design of systems-on-the-chip; Testing embedded
  10 KB (1,210 words) - 20:17, 22 November 2020
• ALLDATA 2021
  learning applications; Testing, debugging, and monitoring of machine and testing; Validation and verification of regression in small data
  9 KB (1,239 words) - 14:37, 29 December 2020
• 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) - 20:38, 22 November 2020
• ICAS 2021
  ...erence, and serving; Trust and security for machine learning applications; Testing, debugging, and monitoring of machine learning applications; Autonomous an ...ance and security in autonomous systems; Management of autonomous systems; Testing autonomous systems; Maintainability of autonomous systems
  16 KB (1,874 words) - 12:15, 24 November 2020
• ICIMP 2021
  ...; Emergency preparedness for industry and commerce; Updating, auditing and testing plans; Reduce downtime with continuous backup; Global connectivity and inte ...uthentication smart cards and biometric metrics; Performance and assurance testing; Limitations of biometric technologies; Biometric card technologies; Biomet
  17 KB (2,035 words) - 14:45, 18 February 2021
• COGNITIVE 2021
  ...erence, and serving; Trust and security for machine learning applications; Testing, debugging, and monitoring of machine learning applications; Machine learn
  8 KB (972 words) - 18:55, 8 December 2020
• 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) - 18:57, 8 December 2020
• ICDT 2021
  Model-based progressive image transmission; Wireless image transmission; Media support platforms; VoIP Quality for Triple Play; Testing
  19 KB (2,346 words) - 10:51, 9 December 2020
• ICIW 2021
  ...l applications and demos; Accessories and wearable technologies; Smart web testing
  15 KB (1,921 words) - 01:00, 12 December 2020
• ALLDATA
  ...erence, and serving; Trust and security for machine learning applications; Testing, debugging, and monitoring of machine learning applications; Machine learni ...ta sets; Deep Web and Small data sets; Small datasets for benchmarking and testing; Validation and verification of regression in small data sets; Small data t
  9 KB (1,229 words) - 03:37, 3 December 2021
• "ICAS 2021"
  ...erence, and serving; Trust and security for machine learning applications; Testing, debugging, and monitoring of machine learning applications; Autonomous an ...ance and security in autonomous systems; Management of autonomous systems; Testing autonomous systems; Maintainability of autonomous systems
  16 KB (1,874 words) - 14:47, 10 February 2021
• SERVICES 2021
  ...modeling, development, publishing, discovery, recommendation, composition, testing, adaptation, and delivery, and Web services applications and standards.''
  2 KB (197 words) - 17:22, 25 February 2021
• ICAS
  ...erence, and serving; Trust and security for machine learning applications; Testing, debugging, and monitoring of machine learning applications; Autonomous an ...ance and security in autonomous systems; Management of autonomous systems; Testing autonomous systems; Maintainability of autonomous systems
  16 KB (1,956 words) - 11:50, 3 March 2021
• ICCS 2021
  Verification, validation, and testing
  2 KB (273 words) - 04:32, 17 March 2021
• CONCUR 2021
  ...un-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis;
  2 KB (262 words) - 16:45, 8 April 2021
• ICDT 2022
  Model-based progressive image transmission; Wireless image transmission; Computer gener ...rmat compatibility; Media support platforms; VoIP Quality for Triple Play; Testing triple-play services; Triple-play data encryption; Triple-play services
  19 KB (2,317 words) - 02:40, 26 November 2021
• ICONS 2022,
  ...ical and simulation techniques; Experimental systems and field operational testing; Recent standardization efforts and problems ...; Updating embedded systems; Wireless/wired design of systems-on-the-chip; Testing embedded systems; Technologies for systems processors; Migration to single-
  10 KB (1,228 words) - 02:46, 26 November 2021
• SOFTENG
  ...; Apps exploiting social context in personalized web-tasking applications; Testing large-scale software smart systems; Dedicated apps for smart cyber-physical ..., frameworks, and templates); Online reuse aspects; Weak and strong reuse; Testing and validating reuse-based software; Duplication and reuse; Code clones; De
  13 KB (1,522 words) - 03:32, 3 December 2021