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 2011, The Third International Conference on Advances in System Testing and Validation Lifecycle

Type: conference

Download: VALID 2011 cover page

Download: VALID 2011 foreword page

Download: VALID 2011 committee page

Download: VALID 2011 table of contents

Download: VALID 2011 full proceedings

Notes: IARIA Conference.

Editors:
Teemu Kanstrén, VTT Technical Research Centre of Finland - Oulu, Finland

Event editions: - there are 11 editions.

ISSN: 2308-4316

ISBN: 978-1-61208-168-7

Location: Barcelona, Spain

Dates: from October 23, 2011 to October 29, 2011

Articles: there are 21 articles

Using Assertion-Based Testing in String Search Algorithms
Ali Alakeel and Mahmoud Mhashi
keywords: Software testing; Assertion-Based Testing; Program Assertions; String Search Algorithms

An Approach to Modularization in Model-Based Testing
Teemu Kanstrén, Olli-Pekka Puolitaival, and Juho Perälä
keywords: model based testing, test automation, modularization

Dealing with Challenges of Automating Test Execution
Vitalina Turlo and Valery Safronau
keywords: Desktop application testing; survey; industrial experience; integration of testing tools; automated testing control solution.

Detecting Equivalent Mutants by Means of Constraint Systems
Simona Nica, Mihai Nica, and Franz Wotawa
keywords: Mutation Testing; Equivalent Mutants; Mutation Score; Constraint Satisfaction Problem; Distinguishing Test Case.

Answer-Set Programming as a new Approach to Event-Sequence Testing
Esra Erdem, Katsumi Inoue, Johannes Oetsch, Jörg Pührer, Hans Tompits, and Cemal Yilmaz
keywords: event-sequence testing, combinatorial interaction testing, answer-set programming

A Test Case Suite Generation Framework of Scenario Testing
Ting Li, Zhenyu Liu, and Xu Jiang
keywords: test case; software test; scenario testing; test suite

Is Mutation Testing Scalable for Real-World Software Projects?
Simona Nica, Rudolf Ramler, and Franz Wotawa
keywords: mutation testing; mutation tools; coverage tools; eclipse project;

Testing As A Service for Component-based Developments
Hien Le
keywords: software components; component testing; testing as a service

A Zone-based Reachability Analysis of Variable Driven Timed Automata
Omer Nguena-Timo and Antoine Rollet
keywords: reachability analysis, zone, timed systems, data-flow, urgent edges.

Retrospective Project Analysis Using the Expectation-Maximization Clustering Algorithm
Steffen Herbold, Jens Grabowski, and Stephan Waack
keywords: EM clustering, project analysis, repository mining

Extracting and Verifying Viewpoints Models in Multitask Applications
Selma Azaiez, Belgacem Benhedia, and Vincent David
keywords: multitask applications; semantic-based static; analysis; property verification; property analysis pattern; model extraction pattern

Requirements and Solutions for Tool Integration in Software Test Automation
Bernhard Peischl, Rudolf Ramler, Thomas Ziebermayr, Stefan Mohacsi, and Christoph Preschern
keywords: software test tools; test automation framework; application integration

RobusTest: Towards a Framework for Automated Testing of Robustness in Software
Ali Shahrokni and Robert Feldt
keywords: Robustness, real time systems, testing, timing

Simulated Injection of Radiation-Induced Logic Faults in FPGAs
Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Giancarlo Gennaro, and Mario Pasquariello
keywords: SRAM-FPGA; Simulation; Single Event Upset; Single Event Transient; Stochastic Activity Networks

Concurrent Engineering used to Implement Risk & Hazard Control
Gheorghe Florea and Luiza Ocheana
keywords: SIS; Redundancy; Remote intervention; Simulation; Diagnostics; Hierarchical decision; Concurrent engineering; Risk and hazard assessment

Model Reconstruction: Mining Test Cases
Edith Werner and Jens Grabowski
keywords: Machine Learning, Reverse Engineering, Testing

Generic Data Format Approach for Generation of Security Test Data
Christian Schanes, Florian Fankhauser, Stefan Taber, and Thomas Grechenig
keywords: Software testing; Computer network security; Fuzzing

A Classification for Model-Based Security Testing
Michael Felderer, Berthold Agreiter, Philipp Zech, and Ruth Breu
keywords: Secure Systems, Verification and Testing, Security Testing, Model-based Testing

Utilizing Domain-Specific Modelling for Software Testing
Olli-Pekka Puolitaival, Teemu Kanstrén, Veli-Matti Rytky, and Asmo Saarela
keywords: domain-specific modellin; test automation

Comparison of off-chip interconnect validation to field failures
Michael Shepherd, David Blankenbeckler, and Adam Norman
keywords: DDR, DRAM, memory, bus margin

Software Testing in Critical Embedded Systems: a Systematic Review of Adherence to the DO-178B Standard
Jacson Rodrigues Barbosa, Márcio Eduardo Delamaro, José Carlos Maldonado, and Auri Marcelo Rizzo Vincenzi
keywords: software testing; critical embedded system; DO-178B

SERVICES CONTACT
2010 - 2017 © ThinkMind. All rights reserved.
Read Terms of Service and Privacy Policy.