2009 International Conference on Software Testing, Verification, and Validation Workshops
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9780769536712, 9781424443567

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study

2009 International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2009.32 ◽

2009 ◽

Cited By ~ 4

Author(s):

Johannes Kloos ◽

Robert Eschbach

Keyword(s):

Control System ◽

Domain Specific Language ◽

Specific Language ◽

System Models ◽

Domain Specific ◽

Train Control ◽

Train Control System ◽

Generating System

Download Full-text

Formal Correctness of a Passive Testing Approach for Timed Systems

2009 International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2009.34 ◽

2009 ◽

Cited By ~ 7

Author(s):

Cesar Andres ◽

Mercedes G. Merayo ◽

Manuel Nunez

Keyword(s):

Timed Systems ◽

Passive Testing ◽

Testing Approach

Download Full-text

IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays

2009 International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2009.7 ◽

2009 ◽

Cited By ~ 15

Author(s):

Andrea Calvagna ◽

Angelo Gargantini

Keyword(s):

Test Data ◽

Covering Arrays ◽

Interaction Test

Download Full-text

[Cover art]

2009 International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2009.46 ◽

2009 ◽

Keyword(s):

Cover Art

Download Full-text

Using Common Criteria to Assess Quality of Web Services

2009 International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2009.23 ◽

2009 ◽

Author(s):

V. Pretre ◽

F. Bouquet ◽

C. Lang

Keyword(s):

Web Services ◽

Common Criteria ◽

Assess Quality

Download Full-text

A Model for the Measurement of the Runtime Testability of Component-Based Systems

2009 International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2009.9 ◽

2009 ◽

Cited By ~ 19

Author(s):

Alberto González ◽

Éric Piel ◽

Hans-Gerhard Gross

Download Full-text

An Initial Study of Customer-Reported GUI Defects

2009 International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2009.22 ◽

2009 ◽

Cited By ~ 9

Author(s):

Brian Robinson ◽

Penelope Brooks

Keyword(s):

Initial Study

Download Full-text

Evolving the Quality of a Model Based Test Suite

2009 International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2009.27 ◽

2009 ◽

Cited By ~ 13

Author(s):

Usman Farooq ◽

C. P. Lam

Keyword(s):

Test Suite ◽

Model Based

Download Full-text

Measuring and Improving Latency to Avoid Test Suite Wear Out

2009 International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2009.10 ◽

2009 ◽

Cited By ~ 8

Author(s):

Shin Yoo ◽

Mark Harman ◽

Shmuel Ur

Keyword(s):

Test Suite

Download Full-text

Comparison of Unit-Level Automated Test Generation Tools

2009 International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2009.36 ◽

2009 ◽

Cited By ~ 16

Author(s):

Shuang Wang ◽

Jeff Offutt

Keyword(s):

Test Generation ◽

Automated Test Generation ◽

Unit Level ◽

Automated Test

Download Full-text

2009 International Conference on Software Testing, Verification, and Validation WorkshopsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Generating System Models for a Highly Configurable Train Control System Using a Domain-Specific Language: A Case Study

Formal Correctness of a Passive Testing Approach for Timed Systems

IPO-s: Incremental Generation of Combinatorial Interaction Test Data Based on Symmetries of Covering Arrays

[Cover art]

Using Common Criteria to Assess Quality of Web Services

A Model for the Measurement of the Runtime Testability of Component-Based Systems

An Initial Study of Customer-Reported GUI Defects

Evolving the Quality of a Model Based Test Suite

Measuring and Improving Latency to Avoid Test Suite Wear Out

Comparison of Unit-Level Automated Test Generation Tools

2009 International Conference on Software Testing, Verification, and Validation Workshops
Latest Publications