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

TOTAL DOCUMENTS

78
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By IEEE

9781509060313
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Broadcast vs. Unicast Review Technology: Does It Matter?

2017 ◽  
Author(s):  
Foundjem Armstrong ◽  
Foutse Khomh ◽  
Bram Adams

Overview of the ICST International Software Testing Contest

2017 ◽  
Author(s):  
Emil Alegroth ◽  
Shinsuke Matsuki ◽  
Tanja E. J. Vos ◽  
Kinji Akemine
Keyword(s):  
Software Testing

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

2017 ◽  
Author(s):  
Abdullah Al-Nayeem ◽  
Krzysztof Ostrowski ◽  
Sebastian Pueblas ◽  
Christophe Restif ◽  
Sai Zhang
Keyword(s):  
Exploratory Study ◽  
Information Needs ◽  
Software Systems

scholarly journals Assessing and Improving the Mutation Testing Practice of PIT

2017 ◽  
Author(s):  
Thomas Laurent ◽  
Mike Papadakis ◽  
Marinos Kintis ◽  
Christopher Henard ◽  
Yves Le Traon ◽  
...  
Keyword(s):  
Mutation Testing ◽  
Testing Practice

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

2017 ◽  
Author(s):  
Mattia Fazzini ◽  
Eduardo Noronha De A. Freitas ◽  
Shauvik Roy Choudhary ◽  
Alessandro Orso

scholarly journals Accelerating Test Automation through a Domain Specific Language

2017 ◽  
Author(s):  
Anurag Dwarakanath ◽  
Dipin Era ◽  
Aditya Priyadarshi ◽  
Neville Dubash ◽  
Sanjay Podder
Keyword(s):  
Domain Specific Language ◽  
Test Automation ◽  
Specific Language ◽  
Domain Specific

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

2017 ◽  
Author(s):  
Abraham Chan ◽  
Stefan Winter ◽  
Habib Saissi ◽  
Karthik Pattabiraman ◽  
Neeraj Suri
Keyword(s):  
Error Propagation ◽  
Propagation Analysis ◽  
Error Propagation Analysis

Symbolic Complexity Analysis Using Context-Preserving Histories

2017 ◽  
Author(s):  
Kasper Luckow ◽  
Rody Kersten ◽  
Corina Pasareanu
Keyword(s):  
Complexity Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document