The role of artificial intelligence in software engineering

2012 1st International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012 - Proceedings

Volumn , Issue , 2012, Pages 1-6

  Harman, Mark ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FUTURE CHALLENGES; PROBABILISTIC REASONING; SEARCH-BASED SOFTWARE ENGINEERING;

ARTIFICIAL INTELLIGENCE;

SOFTWARE ENGINEERING;

EID: 84864213804     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RAISE.2012.6227961     Document Type: Conference Paper

References (63)

1. A. M. Turing, "Computing machinery and intelligence," Mind, vol. 49, pp. 433-460, Jan. 01 1950.
2. J. McCarthy, "Programs with common sense," in Proceedings of the Symposium on Mechanisation of Thought Processes, vol. 1. London: Her Majesty's Stationery Office, 1958, pp. 77-84.
3. J. P. Cramer, Almanac of Architecture and Design. Atlanta: Greenway Communications, 2000.
4. S. Gelly, L. Kocsis, M. Schoenauer, M. Sebag, D. Silver, C. Szepesvári, and O. Teytaud, "The grand challenge of computer Go: Mnote Caril tree search and extensions," Communications of the ACM, vol. 55, no. 3, pp. 106-113, Mar. 2012.
5. N. E. Fenton, M. Neil, W. Marsh, P. Hearty, L. Radlinski, and P. Krause, "On the effectiveness of early life cycle defect prediction with Bayesian Nets," Empirical Software Engineering, vol. 13, no. 5, pp. 499-537, 2008.
6. B. Littlewood and J. L. Verrall, "A Bayesian reliability growth model for computer software," Applied Statistics, vol. 22, no. 3, pp. 332-346, 1973.
7. E. Horvitz, J. Breese, D. Heckerman, D. Hovel, and K. Rommelse, "The Lumiere project: Bayesian user modeling for inferring the goals and needs of software users," in Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence. San Mateo: Morgan Kaufmann, Jul. 1998, pp. 256-265.
8. A. Idri, T. M. Khoshgoftaar, and A. Abran, "Can neural networks be easily interpreted in software cost estimation?" Honolulu, Hawaii, p. 11621167, 2003.
9. C. Mair, G. Kadoda, M. Lefley, K. Phalp, C. Schofield, M. Shepperd, and S. Webster, "An investigation of machine learning based prediction systems," The Journal of Systems and Software, vol. 53, no. 1, pp. 23-29, Jul. 2000.
10. A. Maedche and S. Staab, "Ontology learning for the semantic web," IEEE Intelligent Systems, vol. 16, no. 2, pp. 72-79, 2001.
11. V. U. B. Challagulla, F. B. Bastani, I.-L. Yen, and R. A. Paul, "Empirical assessment of machine learning based software defect prediction techniques," International Journal on Artificial Intelligence Tools, vol. 17, no. 2, pp. 389-400, 2008.
12. T. Menzies, "Practical machine learning for software engineering and knowledge engineering," in Handbook of Software Engineering and Knowledge Engineering. World-Scientific, December 2001, available from http://menzies.us/pdf/00ml.pdf.
13. M. Harman and B. F. Jones, "Search based software engineering," Information and Software Technology, vol. 43, no. 14, pp. 833-839, Dec. 2001.
14. Y. Zhang, A. Finkelstein, and M. Harman, "Search based requirements optimisation: Existing work and challenges," in International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'08), vol. 5025. Montpellier, France: Springer LNCS, 2008, pp. 88-94.
15. O. Räihä, "A survey on search-based software design," Computer Science Review, vol. 4, no. 4, pp. 203-249, 2010.
16. W. Afzal, R. Torkar, and R. Feldt, "A systematic review of search-based testing for non-functional system properties," Information and Software Technology, vol. 51, no. 6, pp. 957-976, 2009.
17. S. Ali, L. C. Briand, H. Hemmati, and R. K. Panesar-Walawege, "A systematic review of the application and empirical investigation of search-based test-case generation," IEEE Transactions on Software Engineering, pp. 742-762, 2010.
18. M. Harman, A. Mansouri, and Y. Zhang, "Search based software engineering trends, techniques and applications," ACM Computing Surveys, 2012, to appear.
19. th International Conference on Fundamental Approaches to Software Engineering (FASE 2010), Paphos, Cyprus, March 2010, pp. 1-12.
20. M. Harman, P. McMinn, J. Souza, and S. Yoo, "Search based software engineering: Techniques, taxonomy, tutorial," in Empirical software engineering and verification: LASER 2009-2010, B. Meyer and M. Nordio, Eds. Springer, 2012, pp. 1-59, LNCS 7007.
21. M. Harman and J. Clark, "Metrics are fitness functions too," in 10th International Software Metrics Symposium (METRICS 2004). Los Alamitos, California, USA: IEEE Computer Society Press, Sep. 2004, pp. 58-69.
22. M. Harman, "Software engineering meets evolutionary computation," IEEE Computer, vol. 44, no. 10, pp. 31-39, Oct. 2011.
23. A. Arcuri and X. Yao, "A Novel Co-evolutionary Approach to Automatic Software Bug Fixing," in Proceedings of the IEEE Congress on Evolutionary Computation (CEC '08). Hongkong, China: IEEE Computer Society, 1-6 June 2008, pp. 162-168.
24. W. Weimer, T. V. Nguyen, C. L. Goues, and S. Forrest, "Automatically finding patches using genetic programming," in International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, 2009, pp. 364-374.
25. W. B. Langdon and M. Harman, "Evolving a CUDA kernel from an nVidia template," in IEEE Congress on Evolutionary Computation. IEEE, 2010, pp. 1-8.
26. D. R. White, J. Clark, J. Jacob, and S. Poulding, "Searching for resource-efficient programs: Low-power pseudorandom number generators," in 2008 Genetic and Evolutionary Computation Conference (GECCO 2008). Atlanta, USA: ACM Press, Jul. 2008, pp. 1775-1782.
27. E. O. Costa, A. Pozo, and S. R. Vergilio, "A genetic programming approach for software reliability modeling," IEEE Transactions on Reliability, vol. 59, no. 1, pp. 222-230, 2010.
28. J. J. Dolado, "On the problem of the software cost function," Information and Software Technology, vol. 43, no. 1, pp. 61-72, Jan. 2001.
29. th International Conference on Predictive Models in Software Engineering, Timisoara, Romania, 2010.
30. C. Kirsopp, M. Shepperd, and J. Hart, "Search heuristics, case-based reasoning and software project effort prediction," in GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference. San Francisco, CA 94104, USA: Morgan Kaufmann Publishers, 9-13 July 2002, pp. 1367-1374.
31. S. M. Poulding and J. A. Clark, "Efficient software verification: Statistical testing using automated search," IEEE Transactions on Software Engineering, vol. 36, no. 6, pp. 763-777, 2010.
32. th Annual Genetic and Evolutionary Computation Conference (GECCO 2011), N. Krasnogor and P. L. Lanzi, Eds. Dublin, Ireland: ACM, July 12th-16th 2011, pp. 1923-1930.
33. th International Workshop on Source Code Analysis and Manipulation (SCAM 04). Los Alamitos, California, USA: IEEE Computer Society Press, Sep. 2004, pp. 65-74.
34. C. Ryan, Automatic re-engineering of software using genetic programming. Kluwer Academic Publishers, 2000.
35. D. Greer and G. Ruhe, "Software release planning: an evolutionary and iterative approach," Information & Software Technology, vol. 46, no. 4, pp. 243-253, 2004.
36. B. S. Mitchell, M. Traverso, and S. Mancoridis, "An architecture for distributing the computation of software clustering algorithms," in IEEE/IFIP Proceedings of the Working Conference on Software Architecture (WICSA '01). Amsterdam, Netherlands: IEEE Computer Society, 2001, pp. 181-190.
37. K. Mahdavi, M. Harman, and R. M. Hierons, "A multiple hill climbing approach to software module clustering," in IEEE International Conference on Software Maintenance. Los Alamitos, California, USA: IEEE Computer Society Press, Sep. 2003, pp. 315-324.
38. nd International Symposium on Search based Software Engineering (SSBSE 2010). Benevento, Italy: IEEE Computer Society Press, 2010, pp. 153-162.
39. rd International Symposium on Search based Software Engineering (SSBSE 2011), 10th - 12th September 2011, pp. 219-236, LNCS Volume 6956.
40. th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Seattle, WA, USA: ACM, Mar. 2008, pp. 287-296.
41. A. Buttari, J. Dongarra, J. Kurzak, J. Langou, P. Luszczek, and S. Tomov, "The impact of multicore on math software," in 8th International Workshop Applied Parallel Computing (PARA 2006), vol. LNCS 4699. Umea, Sweden: Springer, June 2006, pp. 1-10.
42. J. Karlsson and K. Ryan, "A cost-value approach for prioritizing requirements," IEEE Software, vol. 14, no. 5, pp. 67-74, September/October 1997.
43. Y. Zhang, M. Harman, A. Finkelstein, and A. Mansouri, "Comparing the performance of metaheuristics for the analysis of multi-stakeholder tradeoffs in requirements optimisation," Journal of Information and Software Technology, vol. 53, no. 7, pp. 761-773, 2011.
44. A. Barreto, M. Barros, and C. Werner, "Staffing a software project: A constraint satisfaction and optimization based approach," Computers and Operations Research (COR) focused issue on Search Based Software Engineeering, vol. 35, no. 10, p. 30733089, October 2008.
45. G. Antoniol, M. Di Penta, and M. Harman, "The use of search-based optimization techniques to schedule and staff software projects: An approach and an empirical study," Software - Practice and Experience, vol. 41, no. 5, pp. 495-519, April 2011.
46. S. Mancoridis, B. S. Mitchell, Y.-F. Chen, and E. R. Gansner, "Bunch: A clustering tool for the recovery and maintenance of software system structures," in Proceedings; IEEE International Conference on Software Maintenance. IEEE Computer Society Press, 1999, pp. 50-59.
47. K. Praditwong, M. Harman, and X. Yao, "Software module clustering as a multi-objective search problem," IEEE Transactions on Software Engineering, vol. 37, no. 2, pp. 264-282, 2011.
48. th International Conference on Quality Software (QSIC), M. Núñez, R. M. Hierons, and M. G. Merayo, Eds. Madrid, Spain: IEEE Computer Society, July 2011, pp. 31-40.
49. M. Harman and P. McMinn, "A theoretical and empirical study of search based testing: Local, global and hybrid search," IEEE Transactions on Software Engineering, vol. 36, no. 2, pp. 226-247, 2010.
50. A. Finkelstein, M. Harman, A. Mansouri, J. Ren, and Y. Zhang, "A search based approach to fairness analysis in requirements assignments to aid negotiation, mediation and decision making," Requirements Engineering, vol. 14, no. 4, pp. 231-245, 2009.
51. th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE) 2007, I. Crnkovic and A. Bertolino, Eds. ACM, Sep. 2007, pp. 105-114.
52. C. L. Simons, I. C. Parmee, and R. Gwynllyw, "Interactive, evolutionary search in upstream object-oriented class design," IEEE Transactions on Software Engineering, vol. 36, no. 6, pp. 798-816, 2010.
53. M. Harman, J. Krinke, J. Ren, and S. Yoo, "Search based data sensitivity analysis applied to requirement engineering," in ACM Genetic and Evolutionary Computation COnference (GECCO 2009), Montreal, Canada, 8th - 12th July 2009, pp. 1681-1688.
54. S. Bouktif, H. Sahraoui, and G. Antoniol, "Simulated annealing for improving software quality prediction," in GECCO 2006: Proceedings of the 8th annual conference on Genetic and evolutionary computation, vol. 2. Seattle, Washington, USA: ACM Press, 8-12 Jul. 2006, pp. 1893-1900.
55. K. Krogmann, M. Kuperberg, and R. Reussner, "Using genetic search for reverse engineering of parametric behaviour models for performance prediction," IEEE Transactions on Software Engineering, vol. 36, no. 6, pp. 865-877, November-December 2010.
56. rd International Symposium on Search Based Software Engineering (SSBSE), vol. 6956. Szeged, Hungary: Springer, September 2011, pp. 269-270.
57. th International Conference on Program Comprehension (ICPC 07). Banff, Canada: IEEE Computer Society Press, 2007, pp. 3-13.
58. nd International Symposium on Search based Software Engineering (SSBSE 2010). Benevento, Italy: IEEE Computer Society Press, 2010, pp. 143-152.
59. J. O. Kephart and D. M. Chess, "The vision of autonomic computing," IEEE Computer, vol. 36, no. 1, pp. 41-50, 2003.
60. A. Filieri, C. Ghezzi, and G. Tamburrelli, "A formal approach to adaptive software: continuous assurance of non-functional requirements," Formal Aspects of Computing, vol. 24, no. 2, pp. 163-186, 2012.
61. th IEEE International Working Conference on Source Code Analysis and Manipulation, Timisoara, Romania, 2010, pp. 7-19, keynote paper.
62. G. Boetticher, T. Menzies, and T. Ostrand, "PROMISE repository of empirical software engineering data," 2007, available at http://promisedata.org/ repository.
63. D. Rodriguez, I. Herraiz, and R. Harrison, "On software engineering repositories and their open problems," in The International Workshop on Realizing AI Synergies in Software Engineering (RAISE'12), Zurich, Switzerland, 2012.