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

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

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

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

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

Publisher's Information

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

10.1109/icst.2016.55 ◽

2016 ◽

Download Full-text

Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins

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

10.1109/icst.2016.44 ◽

2016 ◽

Cited By ~ 11

Author(s):

Andrea Arcuri ◽

Jose Campos ◽

Gordon Fraser

Keyword(s):

Software Development ◽

Test Generation ◽

Unit Test

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Semantic Testing of Interactive Applications

Empirical Evaluation of Test Coverage for Functional Programs

Title Page iii

Properties of Effective Metrics for Coverage-Based Statistical Fault Localization

Sponsors

An Empirical Study on Detecting and Fixing Buffer Overflow Bugs

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

Symbooglix: A Symbolic Execution Engine for Boogie Programs

Publisher's Information

Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins

Export Citation Format

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Semantic Testing of Interactive Applications

Empirical Evaluation of Test Coverage for Functional Programs

Title Page iii

Properties of Effective Metrics for Coverage-Based Statistical Fault Localization

Sponsors

An Empirical Study on Detecting and Fixing Buffer Overflow Bugs

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

Symbooglix: A Symbolic Execution Engine for Boogie Programs

Publisher's Information

Unit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins

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