Invention Grant
- Patent Title: Device, system, and method for detecting a defect in a computer program by generating and testing semantically equivalent computer program variants
-
Application No.: US16408183Application Date: 2019-05-09
-
Publication No.: US10997060B2Publication Date: 2021-05-04
- Inventor: Sunny J. Fugate , Jason A. Landsborough , Stephen T. Harding , Charles L. Carpenter
- Applicant: Naval Information Warfare Center, Pacific
- Applicant Address: US CA San Diego
- Assignee: Naval Information Warfare Center, Pacific
- Current Assignee: Naval Information Warfare Center, Pacific
- Current Assignee Address: US CA San Diego
- Agency: Naval Information Warfare Center, Pacific
- Agent Kyle Eppele; James R. McGee
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F11/36
Abstract:
Semantically equivalent variants of a computer program are generated by applying randomly selected transforms to the computer program. Unit tests are performed on the variants of the computer program to detect a defect in the computer program.
Information query
