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

TOTAL DOCUMENTS

65

(FIVE YEARS 65)

H-INDEX

5

(FIVE YEARS 5)

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 ◽

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 ◽

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 ◽

Author(s):

Dongyu Mao ◽

Lingchao Chen ◽

Lingming Zhang

Keyword(s):

Mutation Testing ◽

Extensive Study ◽

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 ◽

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 ◽

Author(s):

Charitha Saumya ◽

Jinkyu Koo ◽

Milind Kulkarni ◽

Saurabh Bagchi

Keyword(s):

Large Scale ◽

Automatic Generation ◽

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 ◽

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 ◽

Download Full-text

Conference Sponsors

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

10.1109/icst.2019.00010 ◽

2019 ◽

Download Full-text

Learning to Optimize the Alloy Analyzer

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

10.1109/icst.2019.00031 ◽

2019 ◽

Author(s):

Wenxi Wang ◽

Kaiyuan Wang ◽

Mengshi Zhang ◽

Sarfraz Khurshid

Download Full-text

Poster: Supporting JavaScript Experimentation with BugsJS

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

10.1109/icst.2019.00046 ◽

2019 ◽

Author(s):

Bela Vancsics ◽

Peter Gyimesi ◽

Andrea Stocco ◽

Davood Mazinanian ◽

Arpad Beszedes ◽

...

Download Full-text