Keyword

automated test generation

Description: Automated test generation uses software tools and algorithms to create test cases for evaluating programs, systems, or models.

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

OpenAlex ID: keywords/automatic-test-generation

KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs

2008 · Cristian Cadar, Daniel Dunbar, et al. · 2,776

EvoSuite

2011 · Gordon Fraser, Andrea Arcuri · 1,113

On the Acceleration of Test Generation Algorithms

1983 · Fujiwara, Shimono · IEEE Transactions on Computers · 822

Pex–White Box Test Generation for .NET

2008 · Nikolai Tillmann, Jonathan de Halleux · Lecture notes in computer science · 805

An orchestrated survey of methodologies for automated software test case generation

2013 · Saswat Anand, Edmund K. Burke, et al. · Journal of Systems and Software · 669

MuJava: an automated class mutation system

2004 · Yu-Seung Ma, Jeff Offutt, et al. · Software Testing Verification and Reliability · 627

Korat

2002 · Chandrasekhar Boyapati, Sarfraz Khurshid, et al. · ACM SIGSOFT Software Engineering Notes · 593

Fairness testing: testing software for discrimination

2017 · Sainyam Galhotra, Yuriy Brun, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 400

PDF

GUI ripping: reverse engineering of graphical user interfaces for testing

2004 · A. Memon, I. Banerjee, et al. · 379

The combinatorial design approach to automatic test generation

1996 · D.M. Cohen, S.R. Dalal, et al. · IEEE Software · 373

Automating GUI testing for Android applications

2011 · Cuixiong Hu, Iulian Neamtiu · International Workshop on Automation of Software Test (AST) · 308

Korat

2002 · Chandrasekhar Boyapati, Sarfraz Khurshid, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 302

Automatic test generation: a use case driven approach

2006 · C. Nebut, F. Fleurey, et al. · IEEE Transactions on Software Engineering · 274

Automatically generating test data from a Boolean specification

1994 · E. Weyuker, T. Goradia, et al. · IEEE Transactions on Software Engineering · 269

Symbolic PathFinder

2010 · Corina S. Păsăreanu, Neha Rungta · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 259

A Formal Approach to Conformance Testing

1993 · Jan Tretmans · 255

Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating Them

1985 · B. Dasarathy · IEEE Transactions on Software Engineering · 239

RESTful API Automated Test Case Generation with EvoMaster

2019 · Andrea Arcuri · ACM Transactions on Software Engineering and Methodology · 236

Echidna: effective, usable, and fast fuzzing for smart contracts

2020 · Gustavo Grieco, Will Song, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 231

Performing data flow testing on classes

1994 · Mary Jean Harrold, Gregg Rothermel · 231

PDF

Design, implementation and testing of extended and mixed precision BLAS

2002 · Xiaoye S. Li, James W. Demmel, et al. · ACM Transactions on Mathematical Software · 226

PDF

Demand-Driven Compositional Symbolic Execution

2008 · Saswat Anand, Patrice Godefroid, et al. · Springer eBooks · 219

Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction

2023 · Sungmin Kang, Juyeon Yoon, et al. · IEEE/ACM International Conference on Software Engineering (ICSE) · 203

PDF

A framework for automated testing of javascript web applications

2011 · Shay Artzi, Julian Dolby, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 201

Automated directed fairness testing

2018 · Sakshi Udeshi, Pryanshu Arora, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 199

PDF

Works count: 4,778

Citation count: 46,680