2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781728117362

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Empirical Study on the Use of Defect Prediction for Test Case Prioritization

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) ◽

10.1109/icst.2019.00041 ◽

2019 ◽

Cited By ~ 6

Author(s):

David Paterson ◽

Jose Campos ◽

Rui Abreu ◽

Gregory M. Kapfhammer ◽

Gordon Fraser ◽

...

Keyword(s):

Empirical Study ◽

Defect Prediction ◽

Test Case ◽

Test Case Prioritization

Download Full-text

Extension-Aware Automated Testing Based on Imperative Predicates

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) ◽

10.1109/icst.2019.00013 ◽

2019 ◽

Cited By ~ 2

Author(s):

Nima Dini ◽

Cagdas Yelen ◽

Milos Gligoric ◽

Sarfraz Khurshid

Keyword(s):

Automated Testing

Download Full-text

An Extensive Study on Cross-Project Predictive Mutation Testing

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) ◽

10.1109/icst.2019.00025 ◽

2019 ◽

Cited By ~ 3

Author(s):

Dongyu Mao ◽

Lingchao Chen ◽

Lingming Zhang

Keyword(s):

Mutation Testing ◽

Extensive Study ◽

Cross Project

Download Full-text

SmokeOut: An Approach for Testing Clustering Implementations

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) ◽

10.1109/icst.2019.00057 ◽

2019 ◽

Cited By ~ 2

Author(s):

Vincenzo Musco ◽

Xin Yin ◽

Iulian Neamtiu

Download Full-text

XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) ◽

10.1109/icst.2019.00011 ◽

2019 ◽

Cited By ~ 2

Author(s):

Charitha Saumya ◽

Jinkyu Koo ◽

Milind Kulkarni ◽

Saurabh Bagchi

Keyword(s):

Large Scale ◽

Automatic Generation ◽

Worst Case

Download Full-text

Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) ◽

10.1109/icst.2019.00021 ◽

2019 ◽

Cited By ~ 3

Author(s):

Farah Hariri ◽

August Shi ◽

Vimuth Fernando ◽

Suleman Mahmood ◽

Darko Marinov

Keyword(s):

Source Code ◽

Mutation Testing ◽

Intermediate Representation

Download Full-text

A Model-Based Approach to Generate Dynamic Synthetic Test Data

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) ◽

10.1109/icst.2019.00063 ◽

2019 ◽

Author(s):

Chao Tan

Keyword(s):

Test Data ◽

Model Based ◽

Synthetic Test

Download Full-text

Techniques for Evolution-Aware Runtime Verification

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) ◽

10.1109/icst.2019.00037 ◽

2019 ◽

Cited By ~ 3

Author(s):

Owolabi Legunsen ◽

Yi Zhang ◽

Milica Hadzi-Tanovic ◽

Grigore Rosu ◽

Darko Marinov

Keyword(s):

Runtime Verification

Download Full-text

[Title page iii]

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) ◽

10.1109/icst.2019.00002 ◽

2019 ◽

Keyword(s):

Title Page

Download Full-text

Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software Systems

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) ◽

10.1109/icst.2019.00051 ◽

2019 ◽

Cited By ~ 1

Author(s):

Dominik Hellhake ◽

Tobias Schmid ◽

Stefan Wagner

Keyword(s):

Data Flow ◽

Black Box ◽

Software Systems ◽

Integration Testing ◽

Distributed Software ◽

Coverage Criteria ◽

Using Data

Download Full-text

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

An Empirical Study on the Use of Defect Prediction for Test Case Prioritization

Extension-Aware Automated Testing Based on Imperative Predicates

An Extensive Study on Cross-Project Predictive Mutation Testing

SmokeOut: An Approach for Testing Clustering Implementations

XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions

Comparing Mutation Testing at the Levels of Source Code and Compiler Intermediate Representation

A Model-Based Approach to Generate Dynamic Synthetic Test Data

Techniques for Evolution-Aware Runtime Verification

[Title page iii]

Using Data Flow-Based Coverage Criteria for Black-Box Integration Testing of Distributed Software Systems

2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST)
Latest Publications