 |
 |
DataSys 2023 Congress June 26, 2023 to June 30, 2023 - Nice, Saint-Laurent-du-Var, France
- AICT 2023, The Nineteenth Advanced International Conference on Telecommunications
- ICIW 2023, The Eighteenth International Conference on Internet and Web Applications and Services
- ICIMP 2023, The Eighteenth International Conference on Internet Monitoring and Protection
- SMART 2023, The Twelfth International Conference on Smart Cities, Systems, Devices and Technologies
- IMMM 2023, The Thirteenth International Conference on Advances in Information Mining and Management
- INFOCOMP 2023, The Thirteenth International Conference on Advanced Communications and Computation
- MOBILITY 2023, The Thirteenth International Conference on Mobile Services, Resources, and Users
- SPWID 2023, The Ninth International Conference on Smart Portable, Wearable, Implantable and Disability-oriented Devices and Systems
- ACCSE 2023, The Eighth International Conference on Advances in Computation, Communications and Services
ComputationWorld 2023 Congress June 26, 2023 to June 30, 2023 - Nice, Saint-Laurent-du-Var, France
- SERVICE COMPUTATION 2023, The Fifteenth International Conference on Advanced Service Computing
- CLOUD COMPUTING 2023, The Fourteenth International Conference on Cloud Computing, GRIDs, and Virtualization
- FUTURE COMPUTING 2023, The Fifteenth International Conference on Future Computational Technologies and Applications
- COGNITIVE 2023, The Fifteenth International Conference on Advanced Cognitive Technologies and Applications
- ADAPTIVE 2023, The Fifteenth International Conference on Adaptive and Self-Adaptive Systems and Applications
- CONTENT 2023, The Fifteenth International Conference on Creative Content Technologies
- PATTERNS 2023, The Fifteenth International Conference on Pervasive Patterns and Applications
- COMPUTATION TOOLS 2023, The Fourteenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
- BUSTECH 2023, The Thirteenth International Conference on Business Intelligence and Technology
NetWare 2023 Congress September 25, 2023 to September 29, 2023 - Porto, Portugal
- SENSORCOMM 2023, The Seventeenth International Conference on Sensor Technologies and Applications
- SENSORDEVICES 2023, The Fourteenth International Conference on Sensor Device Technologies and Applications
- SECURWARE 2023, The Seventeenth International Conference on Emerging Security Information, Systems and Technologies
- AFIN 2023, The Fifteenth International Conference on Advances in Future Internet
- CENICS 2023, The Sixteenth International Conference on Advances in Circuits, Electronics and Micro-electronics
- ICQNM 2023, The Seventeenth International Conference on Quantum, Nano/Bio, and Micro Technologies
- FASSI 2023, The Ninth International Conference on Fundamentals and Advances in Software Systems Integration
- GREEN 2023, The Eighth International Conference on Green Communications, Computing and Technologies
NexTech 2023 Congress September 25, 2023 to September 29, 2023 - Porto, Portugal
- UBICOMM 2023, The Seventeenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies
- ADVCOMP 2023, The Seventeenth International Conference on Advanced Engineering Computing and Applications in Sciences
- SEMAPRO 2023, The Seventeenth International Conference on Advances in Semantic Processing
- AMBIENT 2023, The Thirteenth International Conference on Ambient Computing, Applications, Services and Technologies
- EMERGING 2023, The Fifteenth International Conference on Emerging Networks and Systems Intelligence
- DATA ANALYTICS 2023, The Twelfth International Conference on Data Analytics
- GLOBAL HEALTH 2023, The Twelfth International Conference on Global Health Challenges
- CYBER 2023, The Eighth International Conference on Cyber-Technologies and Cyber-Systems
TrendNews 2023 Congress September 25, 2023 to September 29, 2023 - Porto, Portugal
- CORETA 2023, Advances on Core Technologies and Applications
- DIGITAL 2023, Advances on Societal Digital Transformation
SocSys 2023 Congress November 13, 2023 to November 17, 2023 - Valencia, Spain
SoftNet 2023 Congress November 13, 2023 to November 17, 2023 - Valencia, Spain
- ICSEA 2023, The Eighteenth International Conference on Software Engineering Advances
- ICSNC 2023, The Eighteenth International Conference on Systems and Networks Communications
- CENTRIC 2023, The Sixteenth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services
- VALID 2023, The Fifteenth International Conference on Advances in System Testing and Validation Lifecycle
- SIMUL 2023, The Fifteenth International Conference on Advances in System Simulation
- SOTICS 2023, The Thirteenth International Conference on Social Media Technologies, Communication, and Informatics
- INNOV 2023, The Twelfth International Conference on Communications, Computation, Networks and Technologies
- HEALTHINFO 2023, The Eighth International Conference on Informatics and Assistive Technologies for Health-Care, Medical Support and Wellbeing
IARIA Congress 2023, The 2023 IARIA Annual Congress on Frontiers in Science, Technology, Services, and Applications November 13, 2023 to November 17, 2023 - Valencia, Spain
|
|
|
|
|
ThinkMind // VALID 2014, The Sixth International Conference on Advances in System Testing and Validation Lifecycle
 Type: conference Download: VALID 2014 cover page Download: VALID 2014 foreword page Download: VALID 2014 committee page Download: VALID 2014 table of contents Download: VALID 2014 full proceedings Notes: IARIA Conference. Editors: Teemu Kanstrén, VTT Technical Research Centre of Finland - Oulu, Finland Philipp Helle, Airbus Group Innovations, Germany Event editions: - there are 12 editions. ISSN: 2308-4316 ISBN: 978-1-61208-370-4 Location: Nice, France Dates: from October 12, 2014 to October 16, 2014 Articles: there are 15 articles Adaptive Knowledge-Supported Testing: An Approach for Improving Testing Efficiency Philipp Helle and Wladimir Schamai keywords: Testing, Adaptive Testing, Machine Learning
Test-Driven Agile Simulation for Design of Image Processing Systems Anna Yupatova, Vitali Schneider, Winfried Dulz, and Reinhard German keywords: Test-driven agile simulation, model-based engineering, UML, SysML, MARTE, UTP, image processing systems
A Testability Transformation Approach for Programs with Assertions Ali Alakeel keywords: assertion-based software testing; testability transformation; software testing; data dependency analysis
Investigation of Opportunities for Test Case Selection Optimisation Based on Similarity Computation and Search-Based Minimisation Algorithms Eike Steffen Reetz, Daniel Kuemper, Klaus Moessner, and Ralf Tönjes keywords: Model-based testing; Test Case Diversity, Data Analysis, Hill Climbing, Optimisation Problem
Algebraic Analysis of Branching Processes David Delfieu, Maurice Comlan, and Médésu Sogbohossou keywords: Petri Nets; Unfolding; Branching process; Algebra
From Semantic IoT-Service Descriptions to Executable Test Cases - Information Flow of an Implemented Test Framework Daniel Kuemper, Eike Reetz, Marten Fischer, Ralf Toenjes, and Elke Pulvermueller keywords: IoT; Model Based Testing; Test Derivation; Semantic Annotation; RESTful; TTCN-3; WADL
A Novel Approach for Environment Model-Based Functional Testing of Reactive Systems Annamária Szenkovits and Hunor Jakab keywords: Reactive systems; Environment model-based testing; Evolutionary testing.
Inconsistencies-based Multi-Region Protocol Verification Tukaram Muske and Amey Zare keywords: Embedded Systems; Validation and Verification; Protocols Verification; Coding Inconsistencies
Towards a Holistic Architecture for a SIP Test Framework Teemu Kanstrén and Pekka Aho keywords: Test automation, framework, sip, protocol testing
Performance Impact of Correctable Errors on High Speed Buses Daniel Ballegeer, David Blankenbeckler, Subhasish Chakraborty, and Tal Israeli keywords: high speed bus;interconnect;bus errors;performance;BER;I/O;bus
Functional Testing - A SOA & BPM Approach William Gontier, Franck Hennequin, and Fabien Lloansi keywords: Functional Testing; Test Automation; Zero Code; Cost Optimization; Service Oriented Architecture; Business Process Modeling
A Model-Based Testing Methodology for the Systematic Validation of Highly Configurable Cyber-Physical Systems Aitor Arrieta, Goiuria Sagardui, and Leire Etxeberria keywords: Model Based Testing; Test Methodology; Variability Modelling; Cyber-Physical Systems
Aspect-Oriented Testing of a Rehabilitation System Külli Sarna and Jüri Vain keywords: aspect-oriented testing; model-based testing; test model design; test generation.
A Configurable Test Architecture for the Automatic Validation of Variability-Intensive Cyber-Physical Systems Aitor Arrieta, Goiuria Sagardui, and Leire Etxeberria keywords: Model Based Testing; Test Architecture; Variability; Configurable Systems
IBM SAN Distance Matrix Project Yoram Adler, Tara Astigarraga, Sheri Jackson, Jose Roberto Mosqueda Mejia, and Orna Raz keywords: Software Test; Software Engineering; SAN Test; System Test; Distance Matrix; Trace Coverage Models; SAN Hardware Test Coverage
|
|
SERVICES CONTACT
2010 - 2022 © ThinkMind. All rights reserved.
Read Terms of Service and Privacy Policy. |
|
|
 |