USA As Represented by Secretary of the Navy

Jason A Landsborough

Stephen T Harding

Sunny James Fugate

Bryan T Beabout

Charles L Carpenter

Emmanuel J Orozco

A method for validating software transforms. A target program binary is mutated, producing a plurality of variants. It is determined whether each variant passes a test suite. Upon determining the variant does not pass the test suite, the variant is discarded. Upon determining the variant passes the test suite, the variant is compared to the target program binary. A candidate transform is extracted which meets scope criteria. The candidate transform is applied to each of a plurality of test programs. It is determined whether the candidate transform is safe. Upon determining that the candidate transform is not safe, the candidate transform is discarded. Upon determining that the candidate transform is safe, the candidate transform is collected.

Method for semantic preserving transform mutation discovery and vetting

An initial test variable determined by a fuzz tester to cause a faulty response of an original computer program due to a bug within the original computer program is added to a suite of test variables. Computer program candidates that are functionally equivalent to the original computer program are tested using a suite of test variables including the initial test variable. The computer program candidates are modified and selected using a genetic algorithm based on results of the testing to produce bug-free computer program candidates that are functionally equivalent to the original computer program.

Device, system, and method for automatically detecting and repairing a bug in a computer program using a genetic algorithm

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.

Growing community of inventors

San Diego, CA, United States of America

Jason A Landsborough