2017 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

9781509060313

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants

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

10.1109/icst.2017.24 ◽

2017 ◽

Cited By ~ 2

Author(s):

Abraham Chan ◽

Stefan Winter ◽

Habib Saissi ◽

Karthik Pattabiraman ◽

Neeraj Suri

Keyword(s):

Error Propagation ◽

Propagation Analysis ◽

Error Propagation Analysis

Download Full-text

Symbolic Complexity Analysis Using Context-Preserving Histories

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

10.1109/icst.2017.13 ◽

2017 ◽

Cited By ~ 11

Author(s):

Kasper Luckow ◽

Rody Kersten ◽

Corina Pasareanu

Keyword(s):

Complexity Analysis

Download Full-text

Assessing and Improving the Mutation Testing Practice of PIT

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

10.1109/icst.2017.47 ◽

2017 ◽

Cited By ~ 11

Author(s):

Thomas Laurent ◽

Mike Papadakis ◽

Marinos Kintis ◽

Christopher Henard ◽

Yves Le Traon ◽

...

Keyword(s):

Mutation Testing ◽

Testing Practice

Download Full-text

Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests

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

10.1109/icst.2017.21 ◽

2017 ◽

Cited By ~ 23

Author(s):

Mattia Fazzini ◽

Eduardo Noronha De A. Freitas ◽

Shauvik Roy Choudhary ◽

Alessandro Orso

Download Full-text

Accelerating Test Automation through a Domain Specific Language

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

10.1109/icst.2017.52 ◽

2017 ◽

Cited By ~ 2

Author(s):

Anurag Dwarakanath ◽

Dipin Era ◽

Aditya Priyadarshi ◽

Neville Dubash ◽

Sanjay Podder

Keyword(s):

Domain Specific Language ◽

Test Automation ◽

Specific Language ◽

Domain Specific

Download Full-text

Broadcast vs. Unicast Review Technology: Does It Matter?

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

10.1109/icst.2017.27 ◽

2017 ◽

Cited By ~ 2

Author(s):

Foundjem Armstrong ◽

Foutse Khomh ◽

Bram Adams

Download Full-text

Overview of the ICST International Software Testing Contest

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

10.1109/icst.2017.67 ◽

2017 ◽

Cited By ~ 1

Author(s):

Emil Alegroth ◽

Shinsuke Matsuki ◽

Tanja E. J. Vos ◽

Kinji Akemine

Keyword(s):

Software Testing

Download Full-text

Information Needs for Validating Evolving Software Systems: An Exploratory Study at Google

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

10.1109/icst.2017.64 ◽

2017 ◽

Cited By ~ 2

Author(s):

Abdullah Al-Nayeem ◽

Krzysztof Ostrowski ◽

Sebastian Pueblas ◽

Christophe Restif ◽

Sai Zhang

Keyword(s):

Exploratory Study ◽

Information Needs ◽

Software Systems

Download Full-text

Coveringcerts: Combinatorial Methods for X.509 Certificate Testing

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

10.1109/icst.2017.14 ◽

2017 ◽

Cited By ~ 4

Author(s):

Kristoffer Kleine ◽

Dimitris E. Simos

Keyword(s):

Combinatorial Methods

Download Full-text

[Copyright notice]

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

10.1109/icst.2017.3 ◽

2017 ◽

Keyword(s):

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants

Symbolic Complexity Analysis Using Context-Preserving Histories

Assessing and Improving the Mutation Testing Practice of PIT

Barista: A Technique for Recording, Encoding, and Running Platform Independent Android Tests

Accelerating Test Automation through a Domain Specific Language

Broadcast vs. Unicast Review Technology: Does It Matter?

Overview of the ICST International Software Testing Contest

Information Needs for Validating Evolving Software Systems: An Exploratory Study at Google

Coveringcerts: Combinatorial Methods for X.509 Certificate Testing

[Copyright notice]

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