State Farm Mutual Automobile Insurance Company

Joseph W Norton

Venkata Ramarao Kongara

Timothy J Wheeler

Burton J Floyd

Dan Kalmes

John M VanAntwerp

Nick U Christopulos

Erik Donahue

Marc Anderson

Thad Garrett Craft

Richard Berglund

Richard J Simon

Amanda J Tolonen

Jeremy Lee Rambo

Patrick Mead

Vladyslava Matviyenko

James D Titlow

Matthew W Holloway

Matthew Joshua Tijerina

Michael Gregory Schwarz

Paul David Kimbrel

William Knight Harrod

Kevin Knipmeyer

A computer-implemented method for retrieving information from information services and providing it to a public application programming interface (API) includes receiving a first request data message using a core discovery agent, the request data message including at least one requested datum, for which a value is sought, and at least one known datum, for which a value is known; calling a resource locator to request a location of an information service that provides a value for the requested datum; calling a resource fa&#xe7;ade to contact the information service; transmitting a first information service message including the requested datum and known datum from the resource fa&#xe7;ade to the information service; receiving a second information service message from the information service including a value for the requested datum; and transmitting a resolved data message including the requested datum and its value from the core discovery agent to the public API.

Resource discovery agent computing device, software application, and method

A new design strategy based upon finite state machine models is used to develop a policy administration system. The policy administration system comprises a plurality of finite state machined-based households, each of which is defined by a set of states represented by data that describe or relate to various policies associated with each household, a set of events represented by transactions that operate on the data, and/or a set of transition functions represented by transaction logics and/or product rules that govern how the transactions are processed. In this manner, each finite state machine-based household becomes a type of self-contained policy administration system that may be executed and managed concurrently. Each policy may be an insurance policy, such as an auto, home, life, renters, personal articles, or health insurance policy. Each finite state machine-based or virtual household may facilitate managing, updating, or generating insurance policies for the household and/or household members.

Systems and methods for developing policy administration systems based upon finite state machine models

A code scanning system has a syntax generation component that receives source code and generates an abstract syntax tree file. The system includes a white list of permitted pure functions, and a black list of prohibited impure functions. In addition, the system includes a static code analyzer for performing static analysis of the source code. The static code analyzer includes a function analyzer that receives the AST file and identifies the functions. Each function is compared to the white list, and if it is present, marked as permitted in a static analysis file. If the function is not on the white list, it is compared to the black list. If it is present on the black list, it is marked as prohibited in the static analysis file. If the function is not on the white or black list, it is marked as 'unknown' and subjected to manual analysis.

Functional language source code vulnerability scanner

Methods and systems for performing mainframe batch testing and/or property-based validation testing using a finite-state machine are provided. According to certain aspects, a validation server may receive a set of batch data designed to validate a property under test, such as during mainframe batch testing. A validation server may validate that the set of batch data is in a proper format. The validation server may then cause a finite-state machine to process instructions contained within the set of batch data. Once the finite-state machine processes the set of batch data, the validation server may then validate that the finite-state machine adheres to the property under test. If the validation fails, the validation server may generate an error report describing the failure.

Systems and methods for mainframe batch testing

Growing community of inventors

Normal, IL, United States of America

Joseph W Norton