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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781424477845

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 1

Author(s):

Keith Stobie ◽

Nicolas Kicillof ◽

Wolfgang Grieskamp

Keyword(s):

Technical Documentation ◽

End To End

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 ◽

Cited By ~ 1

Author(s):

Stefan Taber ◽

Christian Schanes ◽

Clemens Hlauschek ◽

Florian Fankhauser ◽

Thomas Grechenig

Keyword(s):

Security Test

An Approach for Classifying Program Failures

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

10.1109/valid.2010.10 ◽

2010 ◽

Cited By ~ 3

Author(s):

Burcu Ozcelik ◽

Kubra Kalkan ◽

Cemal Yilmaz

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

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 ◽

Cited By ~ 3

Author(s):

Andrey Ponomarenko ◽

Vladimir Rubanov

Keyword(s):

Automated Verification ◽

Binary Compatibility

Committee

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

10.1109/valid.2010.5 ◽

2010 ◽

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 ◽

Cited By ~ 8

Author(s):

Teodor Ghetiu ◽

Fiona A.C. Polac ◽

James Bown

Keyword(s):

Computer Simulations

[Copyright notice]

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

10.1109/valid.2010.3 ◽

2010 ◽

Keyword(s):

Unsteady Ground: Certification to Unstable Criteria

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

10.1109/valid.2010.21 ◽

2010 ◽

Cited By ~ 1

Author(s):

Joe Loughry

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

10.1109/valid.2010.7 ◽

2010 ◽

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Discretizing Technical Documentation for End-to-End Traceability Tests

Automated Security Test Approach for SIP-based VoIP Softphones

An Approach for Classifying Program Failures

Dihomotopic Deadlock Detection via Progress Shell Decomposition

Automated Verification of Shared Libraries for Backward Binary Compatibility

Committee

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

[Copyright notice]

Unsteady Ground: Certification to Unstable Criteria

Table of contents

Export Citation Format

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Discretizing Technical Documentation for End-to-End Traceability Tests

Automated Security Test Approach for SIP-based VoIP Softphones

An Approach for Classifying Program Failures

Dihomotopic Deadlock Detection via Progress Shell Decomposition

Automated Verification of Shared Libraries for Backward Binary Compatibility

Committee

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

[Copyright notice]

Unsteady Ground: Certification to Unstable Criteria

Table of contents

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