Keyword

test case generation

Description: The process of creating inputs and expected outcomes for software tests, used in software engineering to evaluate system behavior.

Primary topic: Software Testing and Debugging Techniques (62%)

OpenAlex ID: keywords/test-case-generation

Digital Systems Testing and Testable Design

1994 · Miron Abramovici, Melvin A. Breuer, et al. · Institute of Electrical and Electronics Engineers eBooks · 2,394

Binary Decision Diagrams

1978 · Akers · IEEE Transactions on Computers · 1,828

Testing Software Design Modeled by Finite-State Machines

1978 · T.S. Chow · IEEE Transactions on Software Engineering · 1,429

An Implicit Enumeration Algorithm to Generate Tests for Combinational Logic Circuits

1981 · Goel · IEEE Transactions on Computers · 1,122

The Daikon system for dynamic detection of likely invariants

2007 · Michael D. Ernst, Jeff H. Perkins, et al. · Science of Computer Programming · 1,084

Machine Learning Testing: Survey, Landscapes and Horizons

2020 · Jie M. Zhang, Mark Harman, et al. · IEEE Transactions on Software Engineering · 895

PDF

Diagnosis of Automata Failures: A Calculus and a Method

1966 · J. Paul Roth · IBM Journal of Research and Development · 895

Beyond Accuracy: Behavioral Testing of NLP Models with CheckList

2020 · Marco Tulio Ribeiro, Tongshuang Wu, et al. · Annual Meeting of the Association for Computational Linguistics (ACL) · 888

PDF

A logic design structure for LSI testability

1977 · E. B. Eichelberger, T.W. Williams · 848

Symbolic execution for software testing

2013 · Cristian Cadar, Koushik Sen · Communications of the ACM · 779

All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)

2010 · Edward J. Schwartz, Thanassis Avgerinos, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 723

Metamorphic Testing

2018 · Tsong Yueh Chen, Fei-Ching Kuo, et al. · ACM Computing Surveys · 672

PDF

The software model checker Blast

2007 · Dirk Beyer, Thomas A. Henzinger, et al. · International Journal on Software Tools for Technology Transfer · 585

Software Testing With Large Language Models: Survey, Landscape, and Vision

2024 · Junjie Wang, Yuchao Huang, et al. · IEEE Transactions on Software Engineering · 564

PDF

Model-based testing in practice

1999 · S. R. Dalal, A. Jain, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 522

PDF

Model-Based Testing of Reactive Systems

2005 · Broy, Manfred, Pretschner, Alexander, et al. · Lecture notes in computer science · 514

LFSR-coded test patterns for scan designs

1991 · B. Koenemann · Medical Entomology and Zoology · 511

Automatic Generation of Programming Exercises and Code Explanations Using Large Language Models

2022 · Sami Sarsa, Paul Denny, et al. · ACM Conference on International Computing Education Research (ICER) · 493

PDF

Test Generation with Inputs, Outputs and Repetitive Quiescence

1996 · Jan Tretmans · University of Twente Research Information · 489

A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation

2009 · Shaukat Ali, Lionel C. Briand, et al. · IEEE Transactions on Software Engineering · 452

Metamorphic Testing: A New Approach for Generating Next Test Cases

2020 · Chen, T. Y., Cheung, S. C., et al. · arXiv (Cornell University) · 449

PDF

VLSI Test Principles and Architectures: Design for Testability

2006 · Laung‐Terng Wang, Cheng‐Wen Wu, et al. · 445

Using model checking to analyze network vulnerabilities

2002 · R.W. Ritchey, P. Ammann · 440

Black Box and White Box Testing Techniques - A Literature Review

2012 · Srinivas Nidhra · International Journal of Embedded Systems and Applications · 439

PDF

Mutation Testing Advances: An Analysis and Survey

2018 · Mike Papadakis, Marinos Kintis, et al. · Advances in computers · 436

PDF

Works count: 17,600

Citation count: 167,200