 |
 |
|
InfoSys 2023 Congress
March 13, 2023 to March 17, 2023 - Barcelona, Spain
- ICNS 2023, The Nineteenth International Conference on Networking and Services
- ICAS 2023, The Nineteenth International Conference on Autonomic and Autonomous Systems
- ENERGY 2023, The Thirteenth International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies
- WEB 2023, The Eleventh International Conference on Building and Exploring Web Based Environments
- DBKDA 2023, The Fifteenth International Conference on Advances in Databases, Knowledge, and Data Applications
- SIGNAL 2023, The Eighth International Conference on Advances in Signal, Image and Video Processing
- BIOTECHNO 2023, The Fifteenth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies
InfoWare 2023 Congress
March 13, 2023 to March 17, 2023 - Barcelona, Spain
- ICCGI 2023, The Eighteenth International Multi-Conference on Computing in the Global Information Technology
- ICWMC 2023, The Nineteenth International Conference on Wireless and Mobile Communications
- VEHICULAR 2023, The Twelfth International Conference on Advances in Vehicular Systems, Technologies and Applications
- INTERNET 2023, The Fifteenth International Conference on Evolving Internet
- COLLA 2023, The Thirteenth International Conference on Advanced Collaborative Networks, Systems and Applications
- INTELLI 2023, The Twelfth International Conference on Intelligent Systems and Applications
- VISUAL 2023, The Eighth International Conference on Applications and Systems of Visual Paradigms
- HUSO 2023, The Ninth International Conference on Human and Social Analytics
- BRAININFO 2023, The Eighth International Conference on Neuroscience and Cognitive Brain Information
NexComm 2023 Congress
April 24, 2023 to April 28, 2023 - Venice, Italy
- ICDT 2023, The Eighteenth International Conference on Digital Telecommunications
- SPACOMM 2023, The Fifteenth International Conference on Advances in Satellite and Space Communications
- ICN 2023, The Twenty-Second International Conference on Networks
- ICONS 2023, The Eighteenth International Conference on Systems
- MMEDIA 2023, The Fifteenth International Conference on Advances in Multimedia
- PESARO 2023, The Thirteenth International Conference on Performance, Safety and Robustness in Complex Systems and Applications
- CTRQ 2023, The Sixteenth International Conference on Communication Theory, Reliability, and Quality of Service
- ALLDATA 2023, The Ninth International Conference on Big Data, Small Data, Linked Data and Open Data
- SOFTENG 2023, The Ninth International Conference on Advances and Trends in Software Engineering
DigitalWorld 2023 Congress
April 24, 2023 to April 28, 2023 - Venice, Italy
- ICDS 2023, The Seventeenth International Conference on Digital Society
- ACHI 2023, The Sixteenth International Conference on Advances in Computer-Human Interactions
- GEOProcessing 2023, The Fifteenth International Conference on Advanced Geographic Information Systems, Applications, and Services
- eTELEMED 2023, The Fifteenth International Conference on eHealth, Telemedicine, and Social Medicine
- eLmL 2023, The Fifteenth International Conference on Mobile, Hybrid, and On-line Learning
- eKNOW 2023, The Fifteenth International Conference on Information, Process, and Knowledge Management
- ALLSENSORS 2023, The Eighth International Conference on Advances in Sensors, Actuators, Metering and Sensing
- SMART ACCESSIBILITY 2023, The Eighth International Conference on Universal Accessibility in the Internet of Things and Smart Environments
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 2013, The Fifth International Conference on Advances in System Testing and Validation Lifecycle
 Type: conference Download: VALID 2013 cover page Download: VALID 2013 foreword page Download: VALID 2013 committee page Download: VALID 2013 table of contents Download: VALID 2013 full proceedings Notes: IARIA Conference. Editors:
Jos van Rooyen, Bartosz, the Netherlands
Philipp Helle, EADS Innovation Works, Germany
Pascal Lorenz, University on Haute Alsace, France Event editions: - there are 12 editions. ISSN: 2308-4316 ISBN: 978-1-61208-307-0 Location: Venice, Italy Dates: from October 27, 2013 to October 31, 2013 Articles: there are 12 articles Model-Based MCDC Testing of Complex Decisions for the Java Card Applet Firewall
Roderick Bloem, Karin Greimel, Robert Koenighofer, and Franz Roeck
keywords: automatic test case generation; common criteria; java card applet firewall
Enabling Interface Validation through Text Generation
Håkan Burden, Rogardt Heldal, and Peter Ljunglöf
keywords: Natural language processing, Reverse engineering, Software components;
Efficient Elimination of False Positives Using Bounded Model Checking
Tukaram Muske, Advaita Datar, Mayur Khanzode, and Kumar Madhukar
keywords: Abstract Interpretation; Model Checking; False Positives Elimination, Data Flow Analysis
State Space Reconstruction for On-Line Model Checking with UPPAAL
Jonas Rinast, Sibylle Schupp, and Dieter Gollmann
keywords: State Space Reconstruction; On-line Model Checking; UPPAAL
Formal Composition based on Roles within a Model Driven Engineering Approach
Cédrick Lelionnais, Jérôme Delatour, Matthias Brun, Olivier H. Roux, and Charlotte Seidner
keywords: Model Driven Engineering, Real-time operating sys- tems, Behavioral modeling, Transformation, Verification, Time Petri Nets, Application deployment
Preliminary Test Suite Reduction
Vitaly Kozyura and Sebastian Wieczorek
keywords: MBT; test suite reduction; industrial case study
Performance Characterization of TAS-MRAM Architectures in Presence of Capacitive Defects
João Azevedo, Arnaud Virazel, Yuanqing Cheng, Alberto Bosio, Luigi Dilillo, Patrick Girard, Aida Todri, and Jeremy Alvarez Herault
keywords: non-volatile memories; spintronics; TAS-MRAM; capacitive defects; fault modeling; test.
Automatic Linking of Test Cases and Requirements
Thomas Noack
keywords: Reuse, Requirements, Test cases, IBM DOORS
Using Filtering to Improve Value-Level Debugging of Verilog Designs
Bernhard Peischl, Naveed Riaz, and Franz Wotawa
keywords: hardware/software debugging, model-based debugging, source-level debugging, fault localisation
Towards an Integrated Methodology for the Development and Testing of Complex Systems
Philipp Helle and Wladimir Schamai
keywords: Model-based Systems Engineering, Model-based Testing, Monitor-based Testing, SysML
An Evaluation of Client-Side Dependencies of Search Engines by Load Testing
Emine Sefer and Sinem Aykanat
keywords: search engine; load testing; Internet browser; network bandwidth.
Compact Traceable Logging
Wishnu Prasetya, Ales Sturala, Arie Middelkoop, Jurriaan Hage, and Alexander Elyasov
keywords: logging; logging; software tracing; tracing
|
|
SERVICES  CONTACT
2010 - 2022 © ThinkMind. All rights reserved.
Read Terms of Service and Privacy Policy. |
|
|
|
