Invention Grant
US08645924B2 Lossless path reduction for efficient symbolic execution and automatic test generation
有权
无损路径减少，有效的符号执行和自动测试生成
- Patent Title: Lossless path reduction for efficient symbolic execution and automatic test generation
- Patent Title (中): 无损路径减少，有效的符号执行和自动测试生成
-
Application No.: US13154274Application Date: 2011-06-06
-
Publication No.: US08645924B2Publication Date: 2014-02-04
- Inventor: Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
- Applicant: Guodong Li , Sreeranga P. Rajan , Indradeep Ghosh
- Applicant Address: JP Kawasaki-shi
- Assignee: Fujitsu Limited
- Current Assignee: Fujitsu Limited
- Current Assignee Address: JP Kawasaki-shi
- Agency: Baker Botts L.L.P.
- Main IPC: G06F9/44
- IPC: G06F9/44
Abstract:
In one embodiment, symbolically executing a software module having a number of execution paths; and losslessly reducing the number of execution paths during the symbolic execution of the software module.
Public/Granted literature
- US20120311545A1 Lossless Path Reduction for Efficient Symbolic Execution and Automatic Test Generation Public/Granted day:2012-12-06
Information query
