INVITATION:
=
The submission deadline has been extended to July 18, 2012.
Please consider to contribute to and/or forward to the appropriate groups the
following opportunity to submit and
publish original scientific results to VALID 2012.
In addition, authors of selected papers will be invited to submit extended
article versions to one of the IARIA
Journals: http://www.iariajournals.org
=
== VALID 2012 | Call for Papers ===
CALL FOR PAPERS, TUTORIALS, PANELS
VALID 2012, The Fourth International Conference on Advances in System Testing
and Validation Lifecycle
November 18-23, 2012 - Lisbon, Portugal
General page: http://www.iaria.org/conferences2012/VALID12.html
Call for Papers: http://www.iaria.org/conferences2012/CfPVALID12.html
- regular papers
- short papers (work in progress)
- posters
Submission page: http://www.iaria.org/conferences2012/SubmitVALID12.html
Submission deadline: July 18, 2012
Sponsored by IARIA, www.iaria.org
Extended versions of selected papers will be published in IARIA Journals:
http://www.iariajournals.org
Please note the Poster and Work in Progress options.
The topics suggested by the conference can be discussed in term of concepts,
state of the art, research,
standards, implementations, running experiments, applications, and industrial
case studies.
Authors are invited to submit complete unpublished papers, which are not under
review in any other conference or
journal in the following, but not limited to, topic areas.
All tracks are open to both research and industry contributions, in terms of
Regular papers, Posters, Work in
progress, Technical/marketing/business presentations, Demos, Tutorials, and
Panels.
Before submission, please check and comply with the Editorial rules:
http://www.iaria.org/editorialrules.html
VALID 2012 Topics (topics and submission details: see CfP on the site)
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
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
