The strangest thing about software

Computer

Volumn 40, Issue 1, 2007, Pages 54-60

  Menzies, Tim ^a   Owen, David ^a   Richardson, Julian ^b  

^a West Virginia University   (United States)

^b Research Institute for Advanced Computer Science   (United States)

Author keywords

Artificial intelligence; Data mining; LURCH; Software engineering; TAR3

Indexed keywords

EID: 33847608376     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2007.37     Document Type: Article

References (21)

1. P.G. Neumann, Computer-Related Risks, ACM Press/Addison Wesley, 1995.
2. R. Motwani and P. Raghavan, Randomized Algorithms, Cambridge Univ. Press, 1995.
3. T. Menzies and J. Richardson, "Making Sense of Requirements, Sooner," Computer, Oct. 2006, pp. 112-114; http://menzies.us/pdf/06qrre.pdf.
4. R. Kohavi and G.H. John, "Wrappers for Feature Subset Selection," Artificial Intelligence, vol. 97, nos. 1-2, 1997, pp. 273-324.
5. S. Amarel, "Program Synthesis as a Theory Formation Task: Problem Representations and Solution Methods," Machine Learning: An Artificial Intelligence Approach: Volume II, R.S. Michalski, J.G. Carbonell, and T.M. Mitchell, eds., Morgan Kaufmann, 1986, pp. 499-569.
6. J. Crawford and A. Baker, "Experimental Results on the Application of Satisfiability Algorithms to Scheduling Problems," Proc. American Assoc. Artificial Intelligence (AAAI 94), AAAI Press/MIT Press, 1994, pp. 1092-1097.
7. R. Williams, C.P. Gomes, and B. Selman, "Backdoors to Typical Case Complexity," Proc. IJCAI 2003; www.cs.cornell.edu/gomes/papers/ backdoors.pdf.
8. J. Horgan and A. Mathur, "Software Testing and Reliability," The Handbook of Software Reliability Engineering, M.R. Lyu, ed., McGraw-Hill, 1996, pp. 531-565.
9. C.C. Michael, "On the Uniformity of Error Propagation in Software," Proc. 12th Ann. Conf. Computer Assurance (COMPASS 97), 1997, pp. 68-76.
10. W.E. Wong and A.P. Mathur, "Reducing the Cost of Mutation Testing: An Empirical Study," J. Systems and Software, vol. 31, no. 3, 1995, pp. 185-196.
11. T.A. Budd, "Mutation Analysis of Programs Test Data," doctoral dissertation, Yale Univ., 1980.
12. A.T. Acree, "On Mutations," doctoral dissertation, School of Information and Computer Science, Georgia Inst. of Technology, 1980.
13. R. Pelanek, "Typical Structural Properties of State Spaces," Proc. SPIN 04 Workshop, 2004.
14. T. Menzies and Y. Hu, "Data Mining for Very Busy People," Computer, Nov. 2003, pp. 22-29.
15. D.H. Meadows et al., The Limits to Growth, Potomac Associates, 1972.
16. Y. Hu, "Treatment Learning: Implementation and Application," master's thesis, Dept. Electrical Eng., Univ. of British Columbia, 2003.
17. C.L. Blake and C.J. Metz, UCI Repository of Machine Learning Databases, 1998; www.ics.uci.edu/~mlearn/MLRepository.html.
18. D. Owen, D. Desovski, and B. Cukic, "Effectively Combining Software Verification Strategies: Understanding Different Assumptions," Proc. Int'l Symp. Software Reliability Eng. (ISSRE 06), IEEE Press, 2006.
19. G.J. Holzmann, "The Model Checker SPIN," IEEE Trans. Software Eng., vol. 23, no. 5, 1997, pp. 279-295.
20. B. Boehm, "A Spiral Model of Software Development and Enhancement," Software Eng. Notes, vol. 11, no. 4, 1986, pp. 61-72.
21. D.A. Norman, The Design of Everyday Things, Doubleday Currency, 1989.