|
|
 |
The First International Conference on Advances in System Testing and Validation Lifecycle VALID 2009 September 20-25, 2009 - Porto, Portugal |
|
|||||||||||
discounted airline tickets 
IEEE Computer Society - Portugal Chapter
| Details: |
|
Authors of selected papers will be invited to submit extended versions to a IARIA Journal |
All tracks/topics are open to both research and industry contributions.
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
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
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
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 satellite and wireless systems; Testing mobile environments; Testing RFID systems; Testing sensor-based systems; Testing testing systems
