Skip to content

International Conference on Software Testing, Verification and Validation

ICST

A

CORE rank

CORE rank (raw)

A

Fields of research

Software Engineering

Papers indexed

2,255

2008–2026

Papers per year

2008161 peak2026

ICST papers

2,255 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2017An Industrial Study of Natural Language Processing Based Test Case Prioritization.Yilin Yang, Xinhai Huang, Xuefei Hao, Zicong Liu, Zhenyu Chen
2017Abstraction Refinement for Non-Zeno Fairness Veri?cation of Linear Hybrid Automata.Ryo Yanase
2017Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures.Jing Xu, Yu Lei, Richard H. Carver
2017Automated A/B Testing with Declarative Variability Expressions.Keisuke Watanabe, Takuya Fukamachi, Naoyasu Ubayashi, Yasutaka Kamei
2017Mining Sandboxes for Linux Containers.Zhiyuan Wan, David Lo, Xin Xia, Liang Cai, Shanping Li
2017Combinatorial Testing on MP3 for Audio Players.Shaojiang Wang, Tianyong Wu, Yuan Yao, Beihong Jin, Liping Ding
2017System Testing of Timing Requirements Based on Use Cases and Timed Automata.Chunhui Wang, Fabrizio Pastore, Lionel C. Briand
2017Behavioral Execution Comparison: Are Tests Representative of Field Behavior?Qianqian Wang, Yuriy Brun, Alessandro Orso
2017Cloud API Testing.Junyi Wang, Xiaoying Bai, Haoran Ma, Linyi Li, Zhicheng Ji
2017Uncertainty-Driven Black-Box Test Data Generation.Neil Walkinshaw, Gordon Fraser
2017An Architecture for the Development of Mutation Operators.Macario Polo Usaola, Gonzalo Rojas, Isyed Rodriguez, Suilen Hernandez
2017Test Case Generation with Regular Expressions and Combinatorial Techniques.Macario Polo Usaola, Francisco Ruiz Romero, Rosana Rodriguez-Bobada Aranda, Ignacio Garca Rodrguez de Guzmn
2017Test Design as Code: JCUnit.Hiroshi Ukai, Xiao Qu
2017Improvement of Description for Reusable Test Type by Using Test Frame.Keiji Uetsuki, Mitsuru Yamamoto
2017Are There Any Unit Tests? An Empirical Study on Unit Testing in Open Source Python Projects.Fabian Trautsch, Jens Grabowski
2017Reflecting the Adoption of Software Testing Research in Open-Source Projects.Fabian Trautsch
2017Mutation Patterns for Temporal Requirements of Reactive Systems.Mark B. Trakhtenbrot
2017Model-Based Testing IoT Communication via Active Automata Learning.Martin Tappler, Bernhard K. Aichernig, Roderick Bloem
2017NIVAnalyzer: A Tool for Automatically Detecting and Verifying Next-Intent Vulnerabilities in Android Apps.Junjie Tang, Xingmin Cui, Ziming Zhao, Shanqing Guo, Xin-Shun Xu, Chengyu Hu, Tao Ban, Bing Mao
2017ADRENALIN-RV: Android Runtime Verification Using Load-Time Weaving.Haiyang Sun, Andrea Ros, Omar Javed, Walter Binder
2017Automated Test Generation and Mutation Testing for Alloy.Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid
2017Closing the Gap between Unit Test Code and Documentation.Karsten Stocker, Hironori Washizaki, Yoshiaki Fukazawa
2017IWCT 2017 Organizers.Dimitris E. Simos, Rachel Tzoref-Brill
2017General Message from the IWCT Workshop Chairs.Dimitris E. Simos, Rachel Tzoref-Brill
2017Building Combinatorial Test Input Model from Use Case Artefacts.Preeti Satish, Milind B., Medhini S. Narayan, Krishnan Rangarajan
1,0511,075 of 2,255← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.