Abstract: Embodiments of the present invention disclose a method and system for populating location-based information on a portable electronic device. According to one embodiment, a request to create a memory record on the portable electronic device is received from a user. Based on the geographic location of the portable electronic device, relevant location information associated with a plurality of reference fields of the memory record are determined and displayed on the portable electronic device.

Abstract: Embodiments of the present invention disclose a method and system for populating location-based information on a portable electronic device. According to one embodiment, a request to create a memory record on the portable electronic device is received from a user. Based on the geographic location of the portable electronic device, relevant location information associated with a plurality of reference fields of the memory record are determined and displayed on the portable electronic device.

Abstract: One embodiment of the present invention provides a system that automatically generates observations of program behavior for code testing purposes. During operation, the system analyzes the code-under-test to determine a set of test inputs. Next, the system exercises the code-under-test on the set of test inputs to produce a set of test results. Finally, the system analyzes the set of test results to automatically generate observations, wherein the observations are boolean-valued expressions containing variables and/or constants which are consistent with the set of test inputs and the set of test results.

Abstract: In a distributed system, a method and apparatus for automatically checking objects according to a specification which includes public contracts and private constraints. Public contracts are obeyed by both client and server, while private constraints are obeyed by either client or server, but for a given private constraint, not by both. At each and every stage of a client-to-server or server-to-client transaction or “call”, the objects or parameters related to call are automatically checked to ensure a specification is met. A client-side stub on the client automatically generates and executes checking code to check both private client-side constraints and public contracts on the client prior to network transfer to a server. The server has a server-side skeleton which intercepts the call and objects. The server-side skeleton performs checking by code automatically generated to check the public contracts, if any, with client and any private server-side constraints.