AI for Software Quality Assurance Blue Sky Ideas Talk


  • Meir Kalech Ben-Gurion University of the Negev
  • Roni Stern Ben-Gurion University of the Negev



Modern software systems are highly complex and often have multiple dependencies on external parts such as other processes or services. This poses new challenges and exacerbate existing challenges in different aspects of software Quality Assurance (QA) including testing, debugging and repair. The goal of this talk is to present a novel AI paradigm for software QA (AI4QA). A quality assessment AI agent uses machine-learning techniques to predict where coding errors are likely to occur. Then a test generation AI agent considers the error predictions to direct automated test generation. Then a test execution AI agent executes tests, that are passed to the root-cause analysis AI agent, which applies automatic debugging algorithms. The candidate root causes are passed to a code repair AI agent that tries to create a patch for correcting the isolated error.




How to Cite

Kalech, M., & Stern, R. (2020). AI for Software Quality Assurance Blue Sky Ideas Talk. Proceedings of the AAAI Conference on Artificial Intelligence, 34(09), 13529-13533.



Senior Member Presentation Track: Blue Sky Papers