The Community for Technology Leaders
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST) (2017)
Tokyo, Japan
March 13, 2017 to March 17, 2017
ISBN: 978-1-5090-6031-3

[Front cover] (PDF)

pp. c1

[Title page iii] (PDF)

pp. iii

Author index (PDF)

pp. 552-554

Localizing and Fixing Faults in SQL Predicates (Abstract)

Yun Guo , Department of Computer Science, George Mason University
pp. 555-556

Debugging Multithreaded Programs Using Symbolic Analysis (Abstract)

Xiaodong Zhang , Xi'an Jiaotong University, China
pp. 557-558

Automated and Scalable Mutation Testing (Abstract)

Thierry Titcheu Chekam , Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg
pp. 559-560

A Framework for Failure Diagnosis (Abstract)

Mojdeh Golagha , Technical university of Munich, Germany
pp. 561-562

Enhancing Trust – Software Vulnerability Analysis Framework (Abstract)

Sultan S. Alqahtani , Department of Computer Science and Software Engineering, Concordia University, Montreal, Quebec, Canada
pp. 563-564

Reflecting the Adoption of Software Testing Research in Open-Source Projects (Abstract)

Fabian Trautsch , Institute of Computer Science, Georg-August-University Gottingen, Gottingen, Germany
pp. 565-566

Abstraction Re?nement for Non-Zeno Fairness Veri?cation of Linear Hybrid Automata (Abstract)

Ryo Yanase , Graduate School of Natural Science and Technology, Kanazawa University, Kanazawa, Ishikawa 920?1192, Japan
pp. 567-568
89 ms
(Ver 3.3 (11022016))