2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781479971251

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Chairs Message

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2015.7102576 ◽

2015 ◽

Download Full-text

History-Based Test Case Prioritization for Black Box Testing Using Ant Colony Optimization

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2015.7102622 ◽

2015 ◽

Cited By ~ 13

Author(s):

Tadahiro Noguchi ◽

Hironori Washizaki ◽

Yoshiaki Fukazawa ◽

Atsutoshi Sato ◽

Kenichiro Ota

Keyword(s):

Ant Colony Optimization ◽

Black Box ◽

Ant Colony ◽

Test Case ◽

Test Case Prioritization ◽

Black Box Testing

Download Full-text

Fluently Reading, Writing and Speaking Hexadecimal with Gepetto's Help

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2015.7102621 ◽

2015 ◽

Author(s):

Daniel Werner

Download Full-text

Generating Complex and Faulty Test Data through Model-Based Mutation Analysis

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2015.7102589 ◽

2015 ◽

Cited By ~ 7

Author(s):

Daniel Di Nardo ◽

Fabrizio Pastore ◽

Lionel Briand

Keyword(s):

Mutation Analysis ◽

Test Data ◽

Model Based

Download Full-text

Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case Selection

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2015.7102588 ◽

2015 ◽

Cited By ~ 18

Author(s):

Debajyoti Mondal ◽

Hadi Hemmati ◽

Stephane Durocher

Keyword(s):

Test Suite ◽

Objective Test ◽

Test Case ◽

Code Coverage ◽

Test Case Selection ◽

Multi Objective ◽

Case Selection

Download Full-text

A Case Study on the Efficiency of Model-Based Testing at the European Space Agency

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2015.7102618 ◽

2015 ◽

Cited By ~ 2

Author(s):

Stefan Mohacsi ◽

Michael Felderer ◽

Armin Beer

Keyword(s):

European Space Agency ◽

Model Based ◽

Space Agency ◽

Model Based Testing

Download Full-text

Show Me New Counterexamples: A Path-Based Approach

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2015.7102606 ◽

2015 ◽

Cited By ~ 1

Author(s):

Kalou Cabrera Castillos ◽

Helene Waeselynck ◽

Virginie Wiels

Download Full-text

Mobile Testing in Software Industry Using Agile: Challenges and Opportunities

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2015.7102625 ◽

2015 ◽

Cited By ~ 2

Author(s):

Andreia Santos ◽

Igor Correia

Keyword(s):

Software Industry ◽

Mobile Testing ◽

Challenges And Opportunities

Download Full-text

Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2015.7102592 ◽

2015 ◽

Cited By ~ 2

Author(s):

Tingting Yu ◽

Myra Cohen

Keyword(s):

Embedded Systems ◽

Test Generation ◽

Worst Case

Download Full-text

Postconditioned Symbolic Execution

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) ◽

10.1109/icst.2015.7102601 ◽

2015 ◽

Cited By ~ 10

Author(s):

Qiuping Yi ◽

Zijiang Yang ◽

Shengjian Guo ◽

Chao Wang ◽

Jian Liu ◽

...

Keyword(s):

Symbolic Execution

Download Full-text

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Chairs Message

History-Based Test Case Prioritization for Black Box Testing Using Ant Colony Optimization

Fluently Reading, Writing and Speaking Hexadecimal with Gepetto's Help

Generating Complex and Faulty Test Data through Model-Based Mutation Analysis

Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case Selection

A Case Study on the Efficiency of Model-Based Testing at the European Space Agency

Show Me New Counterexamples: A Path-Based Approach

Mobile Testing in Software Industry Using Agile: Challenges and Opportunities

Guided Test Generation for Finding Worst-Case Stack Usage in Embedded Systems

Postconditioned Symbolic Execution

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)
Latest Publications