2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781509066766

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Message from the ITEQS 2017 Chairs

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw.2017.14 ◽

2017 ◽

Author(s):

Mehrdad Saadatmand ◽

Birgitta Lindstrom ◽

Markus Bohlin

Download Full-text

Speeding-Up Mutation Testing via Data Compression and State Infection

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw.2017.25 ◽

2017 ◽

Cited By ~ 5

Author(s):

Qianqian Zhu ◽

Annibale Panichella ◽

Andy Zaidman

Keyword(s):

Data Compression ◽

Mutation Testing

Download Full-text

Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw.2017.20 ◽

2017 ◽

Author(s):

Sara Abbaspour Asadollah ◽

Daniel Sundmark ◽

Hans Hansson

Keyword(s):

Runtime Verification ◽

Parallel Software

Download Full-text

Optimizing IPOG's Vertical Growth with Constraints Based on Hypergraph Coloring

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw.2017.37 ◽

2017 ◽

Cited By ~ 3

Author(s):

Feng Duan ◽

Yu Lei ◽

Linbin Yu ◽

Raghu N. Kacker ◽

D. Richard Kuhn

Keyword(s):

Hypergraph Coloring ◽

Vertical Growth

Download Full-text

Mutation Patterns for Temporal Requirements of Reactive Systems

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw.2017.27 ◽

2017 ◽

Cited By ~ 3

Author(s):

Mark Trakhtenbrot

Keyword(s):

Reactive Systems

Download Full-text

Closing the Gap between Unit Test Code and Documentation

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw.2017.56 ◽

2017 ◽

Cited By ~ 2

Author(s):

Karsten Stocker ◽

Hironori Washizaki ◽

Yoshiaki Fukazawa

Keyword(s):

Unit Test ◽

Closing The Gap

Download Full-text

[Title page i]

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw.2017.1 ◽

2017 ◽

Keyword(s):

Title Page

Download Full-text

Analysing Test Basis and Deriving Test Cases Based on Data Design Documents

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw.2017.52 ◽

2017 ◽

Cited By ~ 1

Author(s):

Tsuyoshi Yumoto ◽

Tohru Matsuodani ◽

Kazuhiko Tsuda

Keyword(s):

Test Cases ◽

Design Documents ◽

Data Design

Download Full-text

An Architecture for the Development of Mutation Operators

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw.2017.31 ◽

2017 ◽

Cited By ~ 1

Author(s):

Macario Polo Usaola ◽

Gonzalo Rojas ◽

Isyed Rodriguez ◽

Suilen Hernandez

Keyword(s):

Mutation Operators

Download Full-text

Messages from the InSTA 2017 Chairs

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw.2017.51 ◽

2017 ◽

Author(s):

Satoshi Masuda

Download Full-text

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Message from the ITEQS 2017 Chairs

Speeding-Up Mutation Testing via Data Compression and State Infection

Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software

Optimizing IPOG's Vertical Growth with Constraints Based on Hypergraph Coloring

Mutation Patterns for Temporal Requirements of Reactive Systems

Closing the Gap between Unit Test Code and Documentation

[Title page i]

Analysing Test Basis and Deriving Test Cases Based on Data Design Documents

An Architecture for the Development of Mutation Operators

Messages from the InSTA 2017 Chairs

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
Latest Publications