2010 Second International Conference on Advances in System Testing and Validation Lifecycle
Latest Publications

TOTAL DOCUMENTS

32

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By IEEE

9781424477845

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Dihomotopic Deadlock Detection via Progress Shell Decomposition

2010 Second International Conference on Advances in System Testing and Validation Lifecycle ◽

10.1109/valid.2010.17 ◽

2010 ◽

Author(s):

David A. Cape ◽

Stephen C. Jackson ◽

Bruce M. McMillin

Keyword(s):

Deadlock Detection

Download Full-text

Automated Security Test Approach for SIP-based VoIP Softphones

2010 Second International Conference on Advances in System Testing and Validation Lifecycle ◽

10.1109/valid.2010.20 ◽

2010 ◽

Author(s):

Stefan Taber ◽

Christian Schanes ◽

Clemens Hlauschek ◽

Florian Fankhauser ◽

Thomas Grechenig

Keyword(s):

Download Full-text

An Approach for Classifying Program Failures

2010 Second International Conference on Advances in System Testing and Validation Lifecycle ◽

10.1109/valid.2010.10 ◽

2010 ◽

Author(s):

Burcu Ozcelik ◽

Kubra Kalkan ◽

Cemal Yilmaz

Download Full-text

Discretizing Technical Documentation for End-to-End Traceability Tests

2010 Second International Conference on Advances in System Testing and Validation Lifecycle ◽

10.1109/valid.2010.14 ◽

2010 ◽

Author(s):

Keith Stobie ◽

Nicolas Kicillof ◽

Wolfgang Grieskamp

Keyword(s):

Technical Documentation ◽

Download Full-text

Automated Verification of Shared Libraries for Backward Binary Compatibility

2010 Second International Conference on Advances in System Testing and Validation Lifecycle ◽

10.1109/valid.2010.27 ◽

2010 ◽

Author(s):

Andrey Ponomarenko ◽

Vladimir Rubanov

Keyword(s):

Automated Verification ◽

Binary Compatibility

Download Full-text

Committee

2010 Second International Conference on Advances in System Testing and Validation Lifecycle ◽

10.1109/valid.2010.5 ◽

2010 ◽

Download Full-text

[Copyright notice]

2010 Second International Conference on Advances in System Testing and Validation Lifecycle ◽

10.1109/valid.2010.3 ◽

2010 ◽

Keyword(s):

Copyright Notice

Download Full-text

Argument-Driven Validation of Computer Simulations - A Necessity, Rather than an Option

2010 Second International Conference on Advances in System Testing and Validation Lifecycle ◽

10.1109/valid.2010.30 ◽

2010 ◽

Author(s):

Teodor Ghetiu ◽

Fiona A.C. Polac ◽

James Bown

Keyword(s):

Computer Simulations

Download Full-text

Using Hardware Performance Counters for Fault Localization

2010 Second International Conference on Advances in System Testing and Validation Lifecycle ◽

10.1109/valid.2010.8 ◽

2010 ◽

Author(s):

Cemal Yilmaz

Keyword(s):

Fault Localization ◽

Performance Counters ◽

Hardware Performance Counters ◽

Hardware Performance

Download Full-text

The SQALE Analysis Model: An Analysis Model Compliant with the Representation Condition for Assessing the Quality of Software Source Code

2010 Second International Conference on Advances in System Testing and Validation Lifecycle ◽

10.1109/valid.2010.31 ◽

2010 ◽

Author(s):

Jean-Louis Letouzey ◽

Thierry Coq

Keyword(s):

Source Code ◽

Download Full-text