Building test cases and oracles to automate the testing of web database applications

Testing Software Design Modeled by Finite-State Machines

Tsun S. Chow · IEEE Transactions on Software Engineering · 1978 · 1.4K citations

Computing, Computer Science, Fault-tolerant Systems +15

Principles and methods of testing finite state machines-a survey

D. Lee, Mihalis Yannakakis · Proceedings of the IEEE · 1996 · 1.2K citations

Computing, Computer Engineering, Computer Science +13

Test selection based on finite state models

Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek et al. · IEEE Transactions on Software Engineering · 1991 · 564 citations

Computing, Computer Engineering, Computer Science +16

A Markov chain model for statistical software testing

J. A. Whittaker, Michael G. Thomason · IEEE Transactions on Software Engineering · 1994 · 417 citations

Computing, Computer Science, Quality Engineering +14

Quickly generating billion-record synthetic databases

Jim Gray, Prakash Sundaresan, Susanne Englert et al. · 1994 · 352 citations

Computing, Computer Science, Computer Systems +15