Special section on testing and repair for software engineering technologies and applications

I Bayley, Y Cai, P Machado�- Software Quality Journal, 2020 - Springer
I Bayley, Y Cai, P Machado
Software Quality Journal, 2020Springer
The challenges of developing correct software are well known. Effective techniques are
required both for software testing and repair. Manual program repair is time consuming and
therefore expensive, and this fuels interest in automated program repair. The potential
synergies between software testing and program repair are of particular interest, and they
prompted this special section. A program repair may explain the reason for a failure and
assist the debugging process, but likewise, a well-designed test case can provide the�…
The challenges of developing correct software are well known. Effective techniques are required both for software testing and repair. Manual program repair is time consuming and therefore expensive, and this fuels interest in automated program repair. The potential synergies between software testing and program repair are of particular interest, and they prompted this special section. A program repair may explain the reason for a failure and assist the debugging process, but likewise, a well-designed test case can provide the information needed for fault localization.
This special section was preceded by the conference SETA (Software Engineering Technologies and Applications), held in Tokyo as part of the COMPSAC (the IEEE Computer Society Signature Conference on Computers, Software and Applications). The issue received seven submissions, and after rigorous reviewing, only two were accepted, both focusing on dynamic testing and encompassing the test case generation challenges for concrete execution and symbolic execution.
Springer
Showing the best result for this search. See all results