Patents by Inventor Truong Nghiem

Truong Nghiem has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • SYSTEM AND METHOD FOR FEEDBACK-GUIDED TEST GENERATION FOR CYBER-PHYSICAL SYSTEMS USING MONTE-CARLO
    Publication number: 20100094611
    Abstract: A system and method for generating test vectors includes generating traces of a system model or program stored in memory using a simulation engine. Simulated inputs are globally optimized using a fitness objective computed using a computer processing device. The simulation inputs are adjusted in accordance with feedback from the traces and fitness objective values by computing a distance between the fitness objective value and a reachability objective. Test input vectors are output based upon optimized fitness objective values associated with the simulated inputs to test the system model or program stored in memory.
    Type: Application
    Filed: October 14, 2009
    Publication date: April 15, 2010
    Applicant: NEC Laboratories America, Inc.
    Inventors: Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Truong Nghiem