Assessing test data adequacy through program inference (1983)

Cached

Download Links

by Elaine J. Weyuker
Venue:ACM Transactions on Programming Languages and Systems
Citations:12 - 0 self

Documents Related by Co-Citation

239 Constraint-Based Automatic Test Data Generation – Richard A. DeMillo, A. Jefferson Offutt - 1991
75 An extended overview of the Mothra software testing environment – R DeMillo, D Guindi, K King, W McCracken, A J Offutt - 1988
111 Weak Mutation Testing and Completeness Of Test Sets – WILLIAM E HOWDEN - 1985
48 Two notions of correctness and their relation to testing – T A Budd, D Angluin - 1982
382 Hints on Test Data Selection: Help for the Practicing Programmer – R A DeMillo, R J Lipton, F G Sayward - 1978
282 Selecting software test data using data flow information – Sandra Rapps, Elaine, J. Weyuker - 1985
99 A Fortran Language System for Mutation-based Software Testing – K. N. King, A. Jefferson Offutt - 1991
11 Testing by means of inductive program learning – F Bergadano, D Gunetti - 1996
28 Theoretical insights into fault-based testing – L Morell - 1988
102 Reliability of the path analysis testing strategy – W E Howden - 1976
615 The art of software testing – Glenford J Myers, Corey Sandler, Tom Badgett - 2011
8 A recursion theoretic approach to program testing – J C Cherniavsky, C H Smith - 1987
890 Language identification in the limit – E Gold - 1967
1696 A Theory of the Learnable – L. G. Valiant - 1984
191 A system to generate test data and symbolically execute programs – L Clarke - 1976
86 Investigations of the Software Testing Coupling Effect – A. Jefferson Offutt
116 Software testing based on formal specification: a theory and a tool. Softw Eng J 6:387–405 – G Bernot, Gaudel MC, B Marre - 1991
5 Dynamic testing via automata learning – H Raffelt, B Steffen, T Margaria - 2008
29 Programming in Higher-Order Typed Lambda-Calculi – Benjamin Pierce, Scott Dietzen, Spiro Michaylov, Maurice Nivat, James Thatcher, Mathematical Foundations Of - 1989