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
2018An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions.Goran Petrovic, Marko Ivankovic, Bob Kurtz, Paul Ammann, Ren Just
2018Mutant Quality Indicators.Mike Papadakis, Thierry Titcheu Chekam, Yves Le Traon
2018A Test Architecture for Machine Learning Product.Yasuharu Nishi, Satoshi Masuda, Hideto Ogawa, Keiji Uetsuki
2018Proposal for Enhancing UTP2 with Test Aspects.Makoto Nakakuki, Koki Abe, Hitoshi Ando, Shizuka Ban, Hiroki Iseri, Kumiko Iseri, Noriyuki Mizuno, Tomohiro Odan, Akiharu Satoh
2018Test Case Reduction Based on the Join Condition in Pairwise Coverage-Based Database Testing.Yuper Lay Myint, Hironori Washizaki, Yoshiaki Fukazawa, Hideyuki Kanuka, Hiroki Ohbayashi
2018Learning-Based Self-Adaptive Assurance of Timing Properties in a Real-Time Embedded System.Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Bjrn Lisper
2018Enumerator: An Efficient Approach for Enumerating all Valid t-tuples.Hanefi Mercan, Kamer Kaya, Cemal Yilmaz
2018Accelerating Search-Based Program Repair.Ben Mehne, Hiroaki Yoshida, Mukul R. Prasad, Koushik Sen, Divya Gopinath, Sarfraz Khurshid
2018A Survey of Software Quality for Machine Learning Applications.Satoshi Masuda, Kohichi Ono, Toshiaki Yasue, Nobuhiro Hosokawa
2018Localizing Faults in Cloud Systems.Leonardo Mariani, Cristina Monni, Mauro Pezz, Oliviero Riganelli, Rui Xin
2018Automated Repair of Internationalization Presentation Failures in Web Pages Using Style Similarity Clustering and Search-Based Techniques.Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond
2018Model-Based Security Testing - Deriving Test Models from Artefacts of Security Engineering.Armin Lunkeit, Ina Schieferdecker
2018Automating Targeted Property-Based Testing.Andreas Lscher, Konstantinos Sagonas
2018Model-Based Mutation Testing of Real-Time Systems via Model Checking.Florian Lorber, Kim G. Larsen, Brian Nielsen
2018Testing Natural Language Grammars.Inari Listenmaa
2018Identifying Useful Mutants to Test Time Properties.Birgitta Lindstrm, Jeff Offutt, Loreto Gonzalez-Hernandez, Sten F. Andler
2018CAMETRICS: A Tool for Advanced Combinatorial Analysis and Measurement of Test Sets.Manuel Leithner, Kristoffer Kleine, Dimitris E. Simos
2018Scan Code Injection Flaws in HTML5-Based Mobile Applications.Phi Tuong Lau
2018Test Automation - Automation of What?Yvan Labiche
2018A Framework for Threat-Driven Cyber Security Verification of IoT Systems.Tomas Kulik, Peter W. V. Tran-Jrgensen, Jalil Boudjadar, Carl Schultz
2018QBE: QLearning-Based Exploration of Android Applications.Yavuz Kroglu, Alper Sen, Ozlem Muslu, Yunus Mete, Ceyda Ulker, Tolga Tanriverdi, Yunus Donmez
2018Risk-Driven Model-Based Testing of Washing Machine Software: An Industrial Case Study.Abdulhadi Kirkici, Ceren Sahin Gebizli, Hasan Szer
2018Invasive Software Testing: Mutating Target Programs to Diversify Test Exploration for High Test Coverage.Yunho Kim, Shin Hong, Bongseok Ko, Duy Loc Phan, Moonzoo Kim
2018Virtualized-Fault Injection Testing: A Machine Learning Approach.Hojat Khosrowjerdi, Karl Meinke, Andreas Rasmusson
2018Architectures and Experiences in Testing IoT Communications.Teemu Kanstrn, Jukka Mkel, Pekka Karhula
9761,000 of 2,255← PreviousNext →

Comparable venues

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