![](../images/_general/athens.jpg) |
The Ninth International Conference on Advances in
System Testing and Validation Lifecycle
VALID 2017
October 8 - 12, 2017 - Athens, Greece |
Technical Co-Sponsors and Logistics Supporters |
![](../images/_general/logo50.jpg) |
|
![](../images/_confsponsors/aalen_university_small.jpg) |
|
|
![](../images/_confsponsors/stuttgart_small.jpg) |
ARCHIVE |
printer friendly pdf version |
![printer friendly](../images/_webpage/pdf_small.jpg) |
|
|
- Colocated with other events part of SoftNet 2017
- Posters will be presented during the conference
- A Work in Progress track is available for preliminary work
- A Research Ideas track is available for ideas in early stages
- A Doctoral Forum track is available for discussing and publishing early PhD thesis research
Submission (full paper) |
May 20 June 23, 2017
|
Notification |
July 20, 2017 |
Registration |
August 5, 2017 |
Camera ready |
August 24, 2017 |
ISSN: 2308-4316
ISBN: 978-1-61208-593-7 |
conference contact: mp@iaria.org |
All tracks/topics are open to both research and industry contributions.
Special tracks
TestCov: Coverage Degree of Current Available Testing Techniques
Chair and Coordinator:
Jos van Rooyen, Identify - Software Quality Services, the Netherlands, jos.van.rooyen@identify.nl
Tracks:
Robust design methodologies
Designing methodologies for robust systems;
Secure software techniques;
Industrial real-time software;
Defect avoidance;
Cost models for robust systems;
Design for testability;
Design for reliability and variability;
Design for adaptation and resilience;
Design for fault-tolerance and fast recovery;
Design for manufacturability, yield and reliability; Design for testability in the context of model-driven engineering
Vulnerability discovery and resolution
Vulnerability assessment;
On-line error detection;
Vulnerabilities in hardware security;
Self-calibration;
Alternative inspections;
Non-intrusive vulnerability discovery methods;
Embedded malware detection
Defects and Debugging
Debugging techniques;
Component debug;
System debug;
Software debug;
Hardware debug;
System debug;
Power-ground defects;
Full-open defects in interconnecting lines;
Physical defects in memories and microprocessors;
Zero-defect principles
Diagnosis
Diagnosis techniques;
Advances in silicon debug and diagnosis;
Error diagnosis;
History-based diagnosis;
Multiple-defect diagnosis;
Optical diagnostics;
Testability and diagnosability;
Diagnosis and testing in mo bile environments
System and feature testing
Test strategy for systems-in-package;
Testing embedded systems;
Testing high-speed systems;
Testing delay and performance;
Testing communication traffic and QoS/SLA metrics;
Testing robustness;
Software testing;
Hardware testing;
Supply-chain testing;
Memory testing;
Microprocessor testing;
Mixed-signal production test;
Testing multi-voltage domains;
Interconnection and compatibility testing; SAT procedures for application to testing and formal verification
Testing techniques and mechanisms
Fundamentals for digital and analog testing;
Emerging testing methodologies;
Engineering test coverage;
Designing testing suites;
Statistical testing;
Functional testing;
Parametric testing;
Defect- and data-driven testing;
Automated testing;
Embedded testing;
Autonomous self-testing;
Low cost testing;
Optimized testing;
Testing systems and devices;
Test standards
Testing of wireless communications systems
Testing of mobile wireless communication systems; Testing of wireless sensor networks; Testing of radio-frequency identification systems; Testing of ad-hoc networks; Testing methods for emerging standards; Hardware-based prototyping of wireless communication systems; Physical layer performance verification; On-chip testing of wireless communication systems; Modeling and simulation of wireless channels; Noise characterization and validation; Case studies and industrial applications of test instruments;
Software verification and validation
High-speed interface verification and fault-analysis;
Software testing theory and practice;
Model-based testing;
Verification metrics;
Service/application specific testing;
Model checking;
OO software testing;
Testing embedded software;
Quality assurance;
Empirical studies for verification and validation;
Software inspection techniques;
Software testing tools;
New approaches for software reliability verification and validation
Quality-assessment of software architectures and legacy systems
Quality-Assessment of Software Architectures and Legacy systems; Quality-assessment of software architectures; Validation and verification of software architecture; Automatic analysis of legacy code; Strategies for isolating legacy code and improving the design quality; Metrics for evaluating architectural quality characteristics; Tools for quality assessments of software architectures; Techniques and tools for testing legacy systems
Testing and validation of run-time evolving systems
Automated testing for run-time evolving systems;
Testing and validation of evolving systems;
Testing and validation of self-controlled systems;
Testing compile-time versus run-time dependency for evolving systems;
On-line validation and testing of evolving at run-time systems;
Modeling for testability of evolving at run-time systems;
Near real-time and real-time monitoring of run-time evolving systems;
Verification and validation of reflective models for testing;
Verification and validation of fault tolerance in run-time evolving systems
Feature-oriented testing
Testing user interfaces and user-driven features; Privacy testing; Ontology accuracy testing; Testing semantic matching; Testing certification processes; Testing authentication mechanisms; Testing biometrics methodologies and mechanisms; Testing cross-nation systems; Testing system interoperability; Testing system safety; Testing system robustness; Testing temporal constraints; Testing transaction-based properties; Directed energy test capabilities /microwave, laser, etc./; Testing delay and latency metrics
Domain-oriented testing
Testing autonomic and autonomous systems; Testing intrusion prevention systems; Firewall testing; Information assurance testing; Testing social network systems; Testing recommender systems; Testing biometric systems; Testing diagnostic systems; Testing on-line systems; Testing financial systems; Testing life threatening systems; Testing emergency systems; Testing sensor-based systems; Testing testing systems