The National Aeronautics and Space Administration (NASA)
A U.S. government agency responsible for aerospace research.
 Symbolic execution
A program execution method in which all test data are represented in symbolic form. During execution, the program performs case analysis of the program within the scope of the symbols, based on its branching conditions, thereby enabling each path to be executed.
Fujitsu Laboratories of America, Inc. is a wholly owned subsidiary of Fujitsu Laboratories Ltd. (Japan), focusing on research on advanced VLSI CAD, Internet, and interconnect technologies. Conducting research in an open environment, it contributes to the global research community and the working IT industry. It is headquartered in Sunnyvale, CA.
For more information, please see: www.fla.fujitsu.com
Founded in 1968 as a wholly owned subsidiary of Fujitsu Limited, Fujitsu Laboratories Limited is one of the premier research centers in the world. With a global network of laboratories in Japan, China, the United States and Europe, the organization conducts a wide range of basic and applied research in the areas of Next-generation Services, Computer Servers, Networks, Electronic Devices and Advanced Materials. For more information, please see: http://jp.fujitsu.com/labs/en.
Press ContactsPublic and Investor Relations Division
Technical ContactsSoftware Innovation Lab.
Company:Fujitsu Laboratories Ltd.
Company and product names mentioned herein are trademarks or registered trademarks of their respective owners. Information provided in this press release is accurate at time of publication and is subject to change without advance notice.
Date: 17 December, 2010
City: Sunnyvale, U.S. and Kawasaki, Japan
Company: Fujitsu Laboratories of America, Inc., Fujitsu Laboratories Ltd., , , , , , , , ,