Abstract: A method includes, by one or more computing devices, determining code-under-test configured for execution on a computing device to be evaluated, creating a plurality of test cases based on the symbolic execution and including a plurality of constraints, selectively conducting abstract interpretation on the constraints, selectively conducting Satisfiability Modulo Theory (“SMT”) solving on the constraints, and validating or invalidating the code-under-test based on at least the SMT solving and the abstract interpretation. The abstract interpretation includes using a plurality of abstract interpretation models based on the constraints of the test case and over-approximating the constraints of the test case.

Abstract: A method includes, by one or more computing devices, determining code-under-test configured for execution on a computing device to be evaluated, creating a plurality of test cases based on the symbolic execution and including a plurality of constraints, selectively conducting abstract interpretation on the constraints, selectively conducting Satisfiability Modulo Theory (“SMT”) solving on the constraints, and validating or invalidating the code-under-test based on at least the SMT solving and the abstract interpretation. The abstract interpretation includes using a plurality of abstract interpretation models based on the constraints of the test case and over-approximating the constraints of the test case.

Abstract: A method includes, by one or more computing devices, determining JavaScript statements to be evaluated, parsing the JavaScript statements, translating the JavaScript statements into Java bytecodes and JavaScript-specific instructions, executing the Java bytecodes in a Java execution engine, calling a JavaScript run-time engine from the Java execution engine, handling one or more semantic operations associated with the JavaScript-specific instructions through use of the JavaScript run-time engine, and providing return values to the Java execution engine. The statements are configured for execution on a computing device. The set of Java bytecodes and JavaScript-specific instructions is configured to conduct symbolic execution of one or more portions of the JavaScript statements. The symbolic execution is configured to evaluate the JavaScript statements.

Abstract: A system for retrieving and disseminating information records from Internet sources includes a client device and an intermediary server system, including software, between the client device and the Internet. The system collects a record specific to a client from an individual one of said Internet sources in a first form in which the record is recorded at the Internet source, transforms the record from the first form to a second form specific to an application other than an Internet browser application, the application executable by the client device, and transmits the transformed record to the client device for display in the application other than an Internet browser application executable by the client device. In some cases the client device connects by a data link that is not Internet-compatible link. Data mining on the Internet specific to clients and client devices is taught, with aggregation services and synchronization for keeping a client up-to-date efficiently for changing data content.

Abstract: A system for harvesting information from network-based sources for a user has a network-connected server with software stored on and operable from a data repository accessible to the server, a user profile stored in the repository, comprising identification of network information sites storing information personal to the user, user ID for enabling the server to log in to the sites on behalf of the user, and one or more report algorithms associated with pre-defined user requests. The server, executing the software, upon receiving one of the pre-defined requests from the user, visits and gathers information from one or more sites indicated in the user profile, and presents a report to the user comprising the information gathered, formatted according to the report algorithm associated with the user's request.

Abstract: In this invention we provide a method and system to interact with information services using a messaging client on a device. The system of the invention enables the user to invoke services using existing wireless/wired networks using messaging.

Abstract: A network-based URL management and data gathering system is provided. The system utilizes a client-side utility for capturing URLs during normal Web browsing, and a server-side utility for organizing and managing the captured URLs on the network. The server-side utility periodically sends a request to a proxy browsing and data gathering utility for navigating to and retrieving data from Web pages associated with the captured URLs. Data retrieved from the Web pages is returned in summary form for presentation to subscribing users. In preferred embodiments, the system is practiced on the Internet network between users operating an Internet-capable appliance having an Internet connection, and an Internet portal service.

Abstract: A method for high level validation of a design includes receiving input associated with a design; generating a message diagram in response to the input, wherein the message diagram describes a relationship of messages communicated between multiple processes; resolving at least one scenario from the message diagram, wherein the scenario comprises a particular sequence of messages identified by the message diagram; generating a state machine operable to receive and transmit at least some of the messages identified by the message diagram according to the scenario; and testing an implementation of the design using the state machine.

Abstract: A network-based URL management and data gathering system is provided. The system utilizes a client-side utility for capturing URLs during normal Web browsing, and a server-side utility for organizing and managing the captured URLs on the network. The server-side utility periodically sends a request to a proxy browsing and data gathering utility for navigating to and retrieving data from Web pages associated with the captured URLs. Data retrieved from the Web pages is returned in summary form for presentation to subscribing users. In preferred embodiments, the system is practiced on the Internet network between users operating an Internet-capable appliance having an Internet connection, and an Internet portal service.

Abstract: An Internet-connected portal system has a data repository, a data-gathering system, a request processor, a plurality of report algorithms, and a report processor. The request processor receives a request from a user and matches the request to an individual one of the report algorithms. The data-gathering subsystem accesses plural Internet sites associated with the user and extracts raw data therefrom according to needs of the report algorithm. The report processor processes the raw data according to the report algorithm into metasummarized information defined by the report algorithm, and the portal system transmits the metasummarized information as a report to a destination associated with the report request.