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

TOTAL DOCUMENTS

78

(FIVE YEARS 0)

H-INDEX

13

(FIVE YEARS 0)

Published By IEEE

9781424467730

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

LiFT: Driving Development Using a Business-Readable DSL for Web Testing

2010 Third International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2010.12 ◽

2010 ◽

Author(s):

Robert Chatley ◽

John Ayres ◽

Tom White

Keyword(s):

Download Full-text

Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences

2010 Third International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2010.28 ◽

2010 ◽

Author(s):

Dumitru Ceara ◽

Laurent Mounier ◽

Marie-Laure Potet

Download Full-text

Implementation-Oriented Mutation Testing of Statechart Models

2010 Third International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2010.55 ◽

2010 ◽

Author(s):

Mark Trakhtenbrot

Keyword(s):

Mutation Testing

Download Full-text

Large-Scale Software Testing Environment Using Cloud Computing Technology for Dependable Parallel and Distributed Systems

2010 Third International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2010.59 ◽

2010 ◽

Author(s):

Toshihiro Hanawa ◽

Takayuki Banzai ◽

Hitoshi Koizumi ◽

Ryo Kanbayashi ◽

Takayuki Imada ◽

...

Keyword(s):

Cloud Computing ◽

Distributed Systems ◽

Software Testing ◽

Large Scale ◽

Computing Technology ◽

Testing Environment

Download Full-text

Mutation: 5th International Workshop on Mutation Analysis Committee

2010 Third International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2010.69 ◽

2010 ◽

Keyword(s):

Mutation Analysis ◽

International Workshop ◽

Analysis Committee

Download Full-text

Software Testing as an Online Service: Observations from Practice

2010 Third International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2010.62 ◽

2010 ◽

Author(s):

Leah Muthoni Riungu ◽

Ossi Taipale ◽

Kari Smolander

Keyword(s):

Software Testing ◽

Download Full-text

On Modeling of GUI Test Profile

2010 Third International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2010.19 ◽

2010 ◽

Author(s):

Lei Zhao ◽

Kai-Yuan Cai

Download Full-text

Using Constraints to Verify Properties of Rule Programs

2010 Third International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2010.42 ◽

2010 ◽

Author(s):

Bruno Berstel ◽

Michel Leconte

Download Full-text

Applying Mutation Testing to Web Applications

2010 Third International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2010.38 ◽

2010 ◽

Author(s):

Upsorn Praphamontripong ◽

Jeff Offutt

Keyword(s):

Web Applications ◽

Mutation Testing

Download Full-text

ViDaS: 1st International Workshop on Validation and Verification of Dynamic Systems Committee

2010 Third International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2010.72 ◽

2010 ◽

Keyword(s):

Dynamic Systems ◽

International Workshop ◽

Validation And Verification

Download Full-text