Empirically, how Hard is it to Test AI Software?

[1]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[2]  Robert M. Colomb,et al.  Representation of Propositional Expert Systems as Partial Functions , 1999, Artif. Intell..

[3]  James M. Bieman,et al.  An empirical evaluation (and specification) of the all-du-paths testing criterion , 1992, Softw. Eng. J..

[4]  Paul Harmon,et al.  Expert systems: artificial intelligence in business , 1985 .

[5]  Bojan Cukic,et al.  How Many Tests are Enough , 2000 .

[6]  Tim Menzies.  Evaluation Issues with Critical Success Metrics , 1998 .

[7]  Daniel G. Bobrow,et al.  Expert systems: perils and promise , 1986, CACM.

[8]  Frederick Hayes-Roth,et al.  Building expert systems , 1983, Advanced book program.

[9]  Tim Menzies,et al.  Fewer Slices of PIE: Optimising Mutation Testing via Abduction , 1999 .

[10]  Aditya P. Mathur,et al.  Software testing and reliability , 1996 .

[11]  A. T. Bahill,et al.  How the testing techniques for a decision support system changed over eight years , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[12]  Donald E. Knuth.  A torture test for TEX , 1984 .

[13]  Juan Pedro Caraça-Valente,et al.  Knowledge-based systems' validation: when to stop running test cases , 1999, Int. J. Hum. Comput. Stud..

[14]  Alfred V. Aho,et al.  The awk programming language , 1988 .

[15]  Victor R. Basili,et al.  An Evaluation of Expert Systems for Software Engineering Management , 1989, IEEE Trans. Software Eng..

[16]  Elaine J. Weyuker,et al.  Reliability Testing of Rule-Based Systems , 1996, IEEE Softw..

[17]  Bojan Cukic,et al.  Caveats , 2020, The African Continental Free Trade Area: Economic and Distributional Effects.

[18]  B. Cukic,et al.  Testing nondeterminate systems , 2000, Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000.

[19]  Lawrence M. Fagan,et al.  Antimicrobial selection by a computer. A blinded evaluation by infectious diseases experts. , 1979, JAMA.

[20]  G. Betta,et al.  A knowledge-based approach to instrument fault detection and isolation , 1995 .

[21]  Antonis C. Kakas,et al.  The role of abduction in logic programming , 1998 .