Abstract
Techniques for automatically generating test input values by symbolic execution have been studied. However, the existing symbolic execution tool has a problem that it is difficult to apply it to enterprise applications because there are several reasons, for example, that a program using the function of the enterprise application framework can not be analyzed. In this paper, we propose a method for generating test input values for enterprise applications using symbolic execution, without having to modify the symbolic execution tool, by the preprocessing that converts enterprise application programs into programs to be accepted by existing symbolic execution tools. In addition, we implement the proposed method as a test input generation system and show how to combine the proposed preprocessing and existing symbolic execution techniques.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
