2016 IEEE International Conference on Software Testing, Verification and Validation (ICST)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781509018277

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Empirical Study on Detecting and Fixing Buffer Overflow Bugs

2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2016.21 ◽

2016 ◽

Cited By ~ 9

Author(s):

Tao Ye ◽

Lingming Zhang ◽

Linzhang Wang ◽

Xuandong Li

Keyword(s):

Empirical Study ◽

Buffer Overflow

Download Full-text

Title Page iii

2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2016.2 ◽

2016 ◽

Keyword(s):

Title Page

Download Full-text

Properties of Effective Metrics for Coverage-Based Statistical Fault Localization

2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2016.31 ◽

2016 ◽

Cited By ~ 6

Author(s):

Shih-Feng Sun ◽

Andy Podgurski

Keyword(s):

Fault Localization

Download Full-text

Semantic Testing of Interactive Applications

2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2016.46 ◽

2016 ◽

Author(s):

Daniele Zuddas

Keyword(s):

Interactive Applications

Download Full-text

Empirical Evaluation of Test Coverage for Functional Programs

2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2016.8 ◽

2016 ◽

Cited By ~ 3

Author(s):

Yufeng Cheng ◽

Meng Wang ◽

Yingfei Xiong ◽

Dan Hao ◽

Lu Zhang

Keyword(s):

Empirical Evaluation ◽

Test Coverage

Download Full-text

Making System User Interactive Tests Repeatable: When and What Should we Control?

2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2016.53 ◽

2016 ◽

Author(s):

Zebao Gao

Keyword(s):

System User

Download Full-text

Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications

2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2016.40 ◽

2016 ◽

Cited By ~ 6

Author(s):

August Shi ◽

Alex Gyori ◽

Owolabi Legunsen ◽

Darko Marinov

Download Full-text

Test Set Diameter: Quantifying the Diversity of Sets of Test Cases

2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2016.33 ◽

2016 ◽

Cited By ~ 30

Author(s):

Robert Feldt ◽

Simon Poulding ◽

David Clark ◽

Shin Yoo

Keyword(s):

Test Cases ◽

Test Set

Download Full-text

Symbooglix: A Symbolic Execution Engine for Boogie Programs

2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2016.11 ◽

2016 ◽

Cited By ~ 4

Author(s):

Daniel Liew ◽

Cristian Cadar ◽

Alastair F. Donaldson

Keyword(s):

Symbolic Execution ◽

Execution Engine

Download Full-text

2016 IEEE International Conference on Software Testing, Verification and Validation (ICST)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Sponsors

An Empirical Study on Detecting and Fixing Buffer Overflow Bugs

Title Page iii

Properties of Effective Metrics for Coverage-Based Statistical Fault Localization

Semantic Testing of Interactive Applications

Empirical Evaluation of Test Coverage for Functional Programs

Making System User Interactive Tests Repeatable: When and What Should we Control?

Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications

Test Set Diameter: Quantifying the Diversity of Sets of Test Cases

Symbooglix: A Symbolic Execution Engine for Boogie Programs

Export Citation Format

2016 IEEE International Conference on Software Testing, Verification and Validation (ICST)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Sponsors

An Empirical Study on Detecting and Fixing Buffer Overflow Bugs

Title Page iii

Properties of Effective Metrics for Coverage-Based Statistical Fault Localization

Semantic Testing of Interactive Applications

Empirical Evaluation of Test Coverage for Functional Programs

Making System User Interactive Tests Repeatable: When and What Should we Control?

Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications

Test Set Diameter: Quantifying the Diversity of Sets of Test Cases

Symbooglix: A Symbolic Execution Engine for Boogie Programs

2016 IEEE International Conference on Software Testing, Verification and Validation (ICST)
Latest Publications