Abstrakt. Vi presenterar JPF-SE, en förlängning till Java PathFinder Model Checking Framework (JPF) som möjliggör symbolisk körning av Java-program. JPF-SE använder JPF för att generera och utforska symboliska körvägar och använder off-the-shelf beslutsförfaranden för att manipulera numeriska begränsningar.
Författarna till REF presenterar JPF-SE, en symbolisk förlängning till JPF.
JPF–SE: A Symbolic Execution Extension to Java PathFinder
{'venue': 'TACAS', 'journal': None, 'mag_field_of_study': ['Computer Science']}