Patent Assignment
Reel/Frame 025672/0566
Assignment of Assignor's Interest
Recorded: 2011-01-20
Pages: 6
Assignors
LI, GUODONG
Executed: 2011-01-20
RAJAN, SREERANGA P.
Executed: 2011-01-20
GHOSH, INDRADEEP
Executed: 2011-01-20
Assignee
FUJITSU LIMITED
1-1, KAMIKODANAKA 4-CHOME, NAKAHARA-KU, KAWASAKI-SHI, KANAGAWA, 211-8588, JAPAN
Covered Property
(1)
Optimizing Libraries for Validating C++ Programs Using Symbolic Execution