Program Verification Patents (Class 717/126)
  • Patent number: 11494285
    Abstract: Techniques for static code analysis tool and configuration recommendation via codebase analysis are described. Multiple codebases are tested using multiple static analysis tools and corresponding configurations, and a machine learning model is trained based on the results and characteristics of the codebases. Users may provide a codebase to be analyzed and job preferences indicating what characteristics of static analysis they desire, the codebase may be analyzed to generate input data for the model, and the model may identify one or more similar testing runs. These candidate runs may be filtered and/or ordered based on the user's stated job preferences, and the resulting tools and configurations associated with these runs may be returned to the user or used to perform static analysis of the user's codebase.
    Type: Grant
    Filed: September 30, 2020
    Date of Patent: November 8, 2022
    Assignee: Amazon Technologies, Inc.
    Inventors: Norbert Manthey, Michael Tautschnig
  • Patent number: 11474927
    Abstract: Verifying control coupling and data coupling analysis in testing of software code that implements components; identifying control couples by performing static analysis on the source code; defining and executing control couple test runs of the software code including of the identified control couples that test runs using dynamic analysis; identifying control coupling coverage of the source file based on the dynamic analysis; identifying data couples within the source file, the data couples being a variable and a parameter of the components; defining data couple tests for each of the components containing of the identified data couples, the data couple tests using dynamic analysis; executing the data couple tests on the source file; identifying data coupling variable use coverage of the source file based on the dynamic analysis; and generating a report based on the identified control couple coverage and identified data coupling variable use coverage of the source file.
    Type: Grant
    Filed: May 2, 2022
    Date of Patent: October 18, 2022
    Assignee: LDRA TECHNOLOGY, INC.
    Inventors: Ian Jon Hennell, James Adrian Hanson, Michael Peter Cieslar
  • Patent number: 11461079
    Abstract: A non-transitory computer-readable medium having stored therein a program for causing a computer to execute a process, the process includes detecting a conflict between a first library and a second library in a first program based on a first definition file indicating that the first program depends on the first library and the second library among a plurality of libraries, generating a logical formula indicating that the first program depends on the first library and does not depend on the second library, and outputting a second definition file indicating that the first program depends on the first library and does not depend on the second library when the logical formula is determined to be satisfiable.
    Type: Grant
    Filed: March 17, 2021
    Date of Patent: October 4, 2022
    Assignee: FUJITSU LIMITED
    Inventor: Takahiro Nagao
  • Patent number: 11455154
    Abstract: Techniques for vector-based identification of software dependency relationships are described herein. An aspect includes determining a first dependency relationship value between a first code segment and a second code segment. Another aspect includes calculating a magnitude vector based on the first dependency relationship value and a second dependency relationship value corresponding to the first code segment and the second code segment. Another aspect includes determining a relationship score for the first code segment and the second code segment based on the magnitude vector and the first dependency relationship value.
    Type: Grant
    Filed: December 10, 2020
    Date of Patent: September 27, 2022
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Andrew C. M. Hicks, Michael E. Gildein, Daniel John FitzGerald, Christopher G. Brooker
  • Patent number: 11449638
    Abstract: Examples herein disclose via use of a physical processor, detecting a specific application programming interface (API) call to interact with an application running on a production server. Based on the detection of the specific API call, die examples assist, using the physical processor, a scanning session based on the specific API call Using the physical processor, the examples identify a modification to the application based on the scanning session.
    Type: Grant
    Filed: March 18, 2016
    Date of Patent: September 20, 2022
    Assignee: MICRO FOCUS LLC
    Inventors: Ming Sum Sam Ng, Sasi Siddharth Muthurajan, Barak Raz
  • Patent number: 11449410
    Abstract: Disclosed is a computer program stored in a computer readable storage medium, the computer program including commands which cause a processor of a server to execute operations below, the operations including: if a first program written in a source language is converted to a second program written in a target language, generating block information for the first program by analyzing the first program; inserting an annotation into the second program, wherein the annotation includes information on at least one source line, which is included in the first program, associated with at least one target line included in the second program; generating meta information associated with runtime verification based on the block information and the annotation.
    Type: Grant
    Filed: March 26, 2020
    Date of Patent: September 20, 2022
    Assignee: TMAXSOFT CO., LTD
    Inventor: Seokjun Hong
  • Patent number: 11409505
    Abstract: Automatically generating code from an abstract model of a database. The abstract model is derived from a physical model which may be a source such as a legacy database, an entity relationship diagram, or other schema defining the data tables, objects, entities, or relationships etc. of the source. The generated code exhibits several patterns, interfaces and/or features including (a) separation of generated and developer code (b) context patterns (c) response/action patterns (d) language, database interfaces, operating systems and/or (e) user interface patterns.
    Type: Grant
    Filed: April 16, 2021
    Date of Patent: August 9, 2022
    Assignee: 27 Software U.S. Inc.
    Inventor: Christopher Zee Chartrand
  • Patent number: 11379468
    Abstract: Aspects of the invention include computer-implemented method that includes generating a preliminary control flow graph from memory dump data and compiler listing data in response to an exception event at a computing program. Code segments associated with each block of the preliminary control flow graph are translated to Boolean statements. Each Boolean statement is determined to be either satisfied or unsatisfied based on input values retrieved from the memory dump data. An edge property value of a first edge and a second edge of a plurality of edges of the preliminary control flow graph based are calculated based on a satisfaction of the Boolean statements. The edge property value of the first edge is compared to the edge property value of the second edge. The preliminary control flow graph is refined by deleting the first edge of the plurality of edges based at least in part on the comparison.
    Type: Grant
    Filed: May 12, 2021
    Date of Patent: July 5, 2022
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Bao Zhang, Shi Chong Ma, Jin Hong Fu, He Huang, Jia Tian Zhong, Xing Xing Shen, Xiang Zu, Jia Yu
  • Patent number: 11354433
    Abstract: Taint is dynamically tracked on a mobile device. Taint virtual instructions are added to virtual instructions of a control-flow graph (CFG). A taint virtual instruction has a taint operand that corresponds to an operand of a virtual instruction and has a taint output that corresponds to an output of the virtual instruction in a block of the CFG. Registers are allocated for the taint virtual instruction and the virtual instructions. After register allocation, the taint virtual instruction and the virtual instructions are converted to native code, which is executed to track taint on the mobile device.
    Type: Grant
    Filed: March 25, 2019
    Date of Patent: June 7, 2022
    Assignee: Trend Micro Incorporated
    Inventors: Liang Sun, Xingxing Sun, Hua Ye
  • Patent number: 11352018
    Abstract: A method of operating a system for diagnosing software for a vehicle according to the present invention includes: generating a plurality of data sets including a function and an argument related to a diagnosis of target software executed in each of the plurality of cores; sequentially outputting the plurality of data sets to a shared memory; operating the target software according to the data set of the shared memory; and verifying the operation result in a verifying core.
    Type: Grant
    Filed: April 24, 2019
    Date of Patent: June 7, 2022
    Assignee: Hyundai Autron Co., Ltd.
    Inventors: Jun-Ho Cho, Jin-Su Jang
  • Patent number: 11347555
    Abstract: Certain aspects of the present disclosure provide techniques for maintaining an application through an execution platform. An example method generally includes receiving a first workflow definition of a plurality of workflow definitions associated with an application. The first workflow definition may be a workflow defining a build operation for building the application. The first workflow definition is executed to build the application by retrieving an executable binary from a binary repository, retrieving source code for the application binary from an application source code repository, building the application binary by executing the executable binary on the retrieved source code, and storing the application binary in the binary repository. A second workflow definition is received to execute the application. The second workflow is executed to execute the application by retrieving the application binary from the binary repository, and executing the retrieved application binary to run the application.
    Type: Grant
    Filed: June 29, 2020
    Date of Patent: May 31, 2022
    Assignee: INTUIT INC.
    Inventors: Edward K. Lee, Hong Wang, Ying Xie, Zheng Yang
  • Patent number: 11347528
    Abstract: A system and method that provides inter-application relevance management for resources being brokered by an application virtualization platform. A described platform includes a memory configured to store a set of relevance rules for applications hosted by the application virtualization platform, wherein each relevance rule specifies a relevance setting between a first application and a second application. Also included is a processor coupled to the memory and configured to broker resources for the application virtualization platform, according to a method. The method includes: receiving a request from a client to launch a target application hosted by the application virtualization platform; retrieving a subset of applicable relevance rules that specify the target application from the set of relevance rules; and selecting a resource for the target application based on the subset of applicable relevance rules, wherein the resource includes at least one of a session or a session server.
    Type: Grant
    Filed: April 7, 2020
    Date of Patent: May 31, 2022
    Assignee: CITRIX SYSTEMS, INC.
    Inventors: Fuping Zhou, Nicky Shi
  • Patent number: 11336680
    Abstract: Techniques for tailoring security configurations for least-privilege applications are provided. In one technique, multiple software artifacts associated with a software application are identified. For each software artifact, a call graph is generated, the call graph is added to a set of call graphs, and a set of dependencies for the software artifact is detected. The set of call graphs are combined to generate a merged call graph. One or more portions of the merged call graph are pruned to generate a pruned call graph. Annotation data is stored that associates elements in the pruned call graph with the set of dependencies for each software artifact. Based on the annotation data, reachable dependencies are identified. Based on the reachable dependencies, a set of security policies is generated for the software application.
    Type: Grant
    Filed: March 5, 2020
    Date of Patent: May 17, 2022
    Assignee: Oracle International Corporation
    Inventors: Hugo Guiroux, Christopher Ferreira, Matthias Neugschwandtner, Roxana Bradescu
  • Patent number: 11327873
    Abstract: A method and a system of selecting test cases from existing test cases for a new software testing requirement are disclosed. In an embodiment, the method may include determining a confidence score associated with each of existing test cases, based on comparing a new software testing requirement with the existing test cases using a Recurrent Neural Network (RNN) model, and selecting a set of test cases from the existing test cases based on the confidence score and a predetermined threshold confidence score. The method may further include predicting a defect slippage rate associated with each test case using a linear regression model, and shortlisting a sub-set of test cases from the set of test cases based on the predicted defect slippage rate associated with each test case and a predetermined threshold defect slippage rate.
    Type: Grant
    Filed: March 30, 2020
    Date of Patent: May 10, 2022
    Assignee: Wipro Limited
    Inventors: Gopinath Chenguttuvan, Balamurugan Kannan
  • Patent number: 11314633
    Abstract: Disclosed herein are techniques for analyzing control-flow integrity based on functional line-of-code behavior and relation models. Techniques include receiving data based on runtime operations of a controller; constructing a line-of-code behavior and relation model representing execution of functions on the controller based on the received data; constructing, based on the line-of-code behavioral and relation model, a dynamic control flow integrity model configured for the controller to enforce in real-time; and deploying the dynamic control flow integrity model to the controller.
    Type: Grant
    Filed: June 17, 2021
    Date of Patent: April 26, 2022
    Assignee: Aurora Labs Ltd.
    Inventors: Zohar Fox, Carmit Sahar
  • Patent number: 11314632
    Abstract: This disclosure relates generally to field of elimination of false positives during static analysis of an application code, and, more particularly, to a method and a system for identification and elimination of false positives from delta alarms. Existing static analysis tools report/generate numerous static alarms for a version and the same static alarm also gets reported for the subsequent versions, which are referred to as repeated alarms, while static alarms remaining after the suppression of the repeated alarms, are called delta alarms. In an embodiment, the disclosed method and system for identification and elimination of false positives from delta alarms, wherein the delta alarms are post-processed to identify of a set of false positives using a version aware static analysis technique based on a set of reuse computation techniques implementing conservative or an aggressive approach based on a dynamic configuration input.
    Type: Grant
    Filed: October 29, 2020
    Date of Patent: April 26, 2022
    Assignee: TATA CONSULTANCY SERVICES LIMITED
    Inventor: Tukaram Bhagwat Muske
  • Patent number: 11314499
    Abstract: System and methods for simulating an end-to-end upgrade process are provided. The method may include collecting, by an upgrade simulator, a system inventory from a production system. The system inventory includes the production system's hardware configuration. The method may include, in response to a determination that the system inventory is compatible with an upgrade software, configuring, by the upgrade simulator, a simulated system having a downsized hardware configuration compared to the production system's hardware configuration. The method may further include upgrading, by the upgrade simulator, the simulated system using the upgrade software, and evaluating, by the upgrade simulator, the simulated system operating with the upgrade software.
    Type: Grant
    Filed: September 17, 2019
    Date of Patent: April 26, 2022
    Assignee: VMware, Inc.
    Inventors: Kavya Reddy Musani, Akash Kodenkiri, Ramesh Vepuri Lakshminarayana, Ramesh Jagannatha Shetty, Clement Jebakumar, Ravi Shankar Nandula
  • Patent number: 11307882
    Abstract: Techniques for obtaining the performance of an integrated circuit design are disclosed. One such technique may retrieve, from a data store, a set of snapshots of a virtual machine of a host system taken during execution of a performance test. For each snapshot in the set of snapshots, the snapshot can be loaded onto a virtual machine running on an emulator that is emulating the integrated circuit design. The virtual machine can be executed for a reduced runtime, and the performances measured during execution of the snapshots can be used to derive the performance of the integrated circuit design.
    Type: Grant
    Filed: September 26, 2019
    Date of Patent: April 19, 2022
    Assignee: Amazon Technologies, Inc.
    Inventors: Tzachi Zidenberg, Ali Ghassan Saidi, Leonid Koilis, Noam Bashari
  • Patent number: 11307831
    Abstract: A code completion system uses neural components to rank the unordered list of code completion candidates generated from an existing static analyzer. The candidates represent the next sequence of tokens likely to complete a partially-formed program element as a developer is typing in a software development tool. A re-ranking component generates a ranked order of the candidates based on a context embedding of the code context and candidate embeddings of the candidates, where both embeddings are based a common token encoding.
    Type: Grant
    Filed: June 15, 2020
    Date of Patent: April 19, 2022
    Assignee: MICROSOFT TECHNOLOGY LICENSING, LLC.
    Inventors: Miltiadis Allamanis, Shengyu Fu, Xiaoyu Liu, Neelakantan Sundaresan, Alexey Svyatkovskiy
  • Patent number: 11308080
    Abstract: A function management method applied to a memory device includes obtaining a plurality of functions through a map file of a compiler, and parsing at least one source code of the memory device with the map file. The functions include at least one normal function and at least one API function. The parsing includes developing a mapping relationship between the at least one API function and the at least one normal function, and developing a calling relationship between the at least one normal function.
    Type: Grant
    Filed: November 8, 2016
    Date of Patent: April 19, 2022
    Assignee: Silicon Motion, Inc.
    Inventor: Kuo-Chiang Hsu
  • Patent number: 11269623
    Abstract: A function defined in source code of an application is further partitioned into a plurality of logics without depending on function definition performed by a developer. An application partitioning apparatus (1) for partitioning an application distributively processed by a plurality of information processing apparatuses into a plurality of logics includes an acquisition unit (121) which acquires source code of the application, a first partitioning unit (122) which identifies a plurality of functions defined in the source code and partitioning the source code into the plurality of functions, a determination unit (123) which determines whether each of the partitioned functions can be further partitioned according to rules set in advance, and a second partitioning unit (124) which, when it is determined that each of the partitioned function can be partitioned, partitions the function into a plurality of functions including one or a plurality of rows.
    Type: Grant
    Filed: February 14, 2019
    Date of Patent: March 8, 2022
    Assignee: NIPPON TELEGRAPH AND TELEPHONE CORPORATION
    Inventors: Kazuya Matsuo, Masahiro Yoshida, Noriyuki Takahashi, Hiroyuki Tanaka
  • Patent number: 11249891
    Abstract: A method includes receiving a subject-matter expert (SME) interpretable model. The method further includes converting, by a processing device, the SME interpretable model into a functional mockup unit (FMU). The method further includes integrating the FMU into a control software project (CSP). The method further includes compiling the CSP into binary code.
    Type: Grant
    Filed: March 22, 2021
    Date of Patent: February 15, 2022
    Assignee: Palo Alto Research Center Incorporated
    Inventors: Peter Patel-Schneider, Ion Matei, Alexandre Perez, Ron Zvi Stern, Johan de Kleer
  • Patent number: 11245760
    Abstract: A method implemented by an application (app) store system for providing apps to one or more users through a network, the method comprising managing, by the app store system, a multi-screen application (MSA) package that comprises a set of related apps, wherein one or more relationships among the set of related apps are pre-defined, receiving, by the app store system, a request from a first user device via the network to download at least part of the MSA package; and causing, by the app store system, the set of related apps to be downloaded to a plurality of user devices including the first user device according to the one or more relationships among the set of related apps in response to the request.
    Type: Grant
    Filed: January 20, 2021
    Date of Patent: February 8, 2022
    Assignee: Futurewei Technologies, Inc.
    Inventor: Guangbin Fan
  • Patent number: 11232258
    Abstract: A computer system for processing unstructured data, the computer system comprising a computer processor, a computer memory operatively coupled to the computer processor and the computer memory having disposed within it computer program instructions that, when executed by the processor, cause the computer system to carry out the steps of receiving unstructured data input from a client device, analyzing the unstructured data for features that satisfy logical segment criteria by using natural language processing (NLP), and partitioning the unstructured data into logical segments based on satisfaction of the logical segment criteria.
    Type: Grant
    Filed: August 29, 2017
    Date of Patent: January 25, 2022
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Joshua N Andrews, Thomas C Wisehart, Jr.
  • Patent number: 11194559
    Abstract: Platform as a service (PaaS) automation control systems and methods are provided for automating the deployment of software solutions or middleware into an enterprise or cloud-computing system. The system comprises a distributed network of virtual and physical computing devices arranged in layers including a platform operation layer, development layer, platform administration layer, operating system administration layer and security administration layer. A development automation server and production automation server are configured to selectively advance an automation project from development to production rollout as a function of delegated privilege command (DPC). Using the DPCs, the PaaS automation control system enforces a controlled use of configuration commands needed to implement an automated deployment while limiting access to the infrastructure layer.
    Type: Grant
    Filed: August 6, 2019
    Date of Patent: December 7, 2021
    Assignee: Saudi Arabian Oil Company
    Inventor: Al Alaa N. Tashkandi
  • Patent number: 11182132
    Abstract: A method may comprise determining, by executing a first model having first configuration parameters, a first result associated with the first model. The method may comprise determining, by executing a second model having second configuration parameters, a second result associated with the second model. The method may comprise determining, based on the first result, the second result, and equivalency criteria, that the second model is not functionally equivalent to the first model. The equivalency criteria may indicate that the second model is functionally equivalent to the first model when a difference between the second result and the first result satisfies a threshold. The method may comprise modifying a configuration parameter, of the second configuration parameters, to cause the second model to improve toward functional equivalence with the first model.
    Type: Grant
    Filed: March 7, 2019
    Date of Patent: November 23, 2021
    Assignee: The MathWorks, Inc.
    Inventors: Ravi Vompolu, Ivan Garcia, Gareth Thomas, Paul Cox, Ebrahim Mestchian, Pieter J. Mosterman
  • Patent number: 11157390
    Abstract: Disclosed embodiments provide techniques for automatic software defect correction of a computer program. Computer program log files are scanned to identify runtime errors, corresponding to software defects. The software defects are analyzed to determine an error type, and identify the source file/code that caused the error. A solution template repository is searched for a solution template corresponding to the identified error type. If a solution template is found, the source code is checked out from the identified source repository. The template is applied to the “original” checked out source file to create a new source file with the fix, which is then uploaded back to the repository. A new software distribution is automatically built with the new source file, and the new software distribution is automatically deployed to the devices that experienced the error. Thus, defects can be automatically detected, repaired, and deployed without human intervention.
    Type: Grant
    Filed: June 28, 2019
    Date of Patent: October 26, 2021
    Assignee: International Business Machines Corporation
    Inventors: Ajoy Acharyya, Arijit Roy
  • Patent number: 11144833
    Abstract: Provided are a data processing apparatus and method for merging and processing deterministic knowledge and non-deterministic knowledge. The data processing apparatus and method may efficiently process various real-time and large-scale data to convert the data into knowledge by merging and processing non-deterministic knowledge and also deterministic knowledge perceived by an expert. Thus, it is possible to adaptively operate in accordance with a dynamically changing application service environment by converting a conversion rule for converting collected data generated from an application service system into semantic data, a context awareness rule for perceiving context information from given information, and a user query for searching for knowledge information into knowledge and gradually augmenting the knowledge information in accordance with an application service environment.
    Type: Grant
    Filed: August 31, 2017
    Date of Patent: October 12, 2021
    Assignee: ELECTRONICS AND TELECOMMUNICATIONS RESEARCH INSTITUTE
    Inventors: Soon Hyun Kwon, Eun Joo Kim, Hong Kyu Park, Hyun Joong Kang, Kwi Hoon Kim, Young Min Kim, Hyun Jae Kim, Ji Hoon Bae, Se Won Oh, Jae Hak Yu, Yeon Hee Lee, Ho Sung Lee, Nae Soo Kim, Sun Jin Kim, Cheol Sig Pyo
  • Patent number: 11132183
    Abstract: This disclosure involves development and deployment platforms for decision algorithms. For example, a computing system provides software development interface to a client device. The system sets, based on an input from the client device via the interface, a decision engine to a test mode that causes the decision engine to operate on test data stored in a first database and that prevents the decision engine from applying operations from the client device to production data stored in a second database. The system also configures the decision engine in the test mode to execute a different decision algorithms on the test data. The system also sets, based on another input via the interface, the decision engine to a deployment mode that causes the decision engine to operate on the production data. The system configures the decision engine in the deployment mode to execute one or more of the tested decision algorithms.
    Type: Grant
    Filed: February 22, 2018
    Date of Patent: September 28, 2021
    Assignee: EQUIFAX INC.
    Inventors: Sandeep Gupta, Christian Hall, James Reid, Shen Lu, Dennis Horton, Lee Grice, Thresa Dixon, Scott Garten, Sudhakar Reddy
  • Patent number: 11119761
    Abstract: A computer-implemented method, system and computer program product for identifying implicit dependencies between code artifacts. Co-defect association rules between code artifacts are generated, where such co-defect association rules include a prediction of how likely there will be a defect in a code artifact when there is a defect in an associated code artifact. After detecting a defect in a first code artifact, the co-defect association rules are reviewed to identify any code artifacts associated with the first code artifact. If there is a code artifact associated with the first code artifact, and if the probability of the associated code artifact being defected when the first code artifact is defected exceeds a threshold value, then a recommendation is made to the user to review not only the first code artifact that was defected but also its associated code artifact for a potential defect.
    Type: Grant
    Filed: August 12, 2019
    Date of Patent: September 14, 2021
    Assignee: International Business Machines Corporation
    Inventors: Bo Zhang, Xianjun Zhu, Bradley C. Herrin, Liwei Wang
  • Patent number: 11106460
    Abstract: A change tracking and analytics system and method receives software code blocks from one or more repositories of software related to a software project, such as a new video game. Changes associated with software code blocks, such as relative to previous versions of the software code blocks, may be determined and logged. Additionally, various analytics, such as metrics associated with complexity, divergence from a master version of software code blocks, and/or any cascading effects of the software code blocks may be generated and stored in association with the software code blocks. The change information and analytics may then be used to generate any variety of reports indicating complexity, divergence, or the like over time, information related to software code blocks, and/or information related to behavior of software teams. The change information may also be used to make changes to allocated resources, such as quality assurance resources and/or software engineering resources.
    Type: Grant
    Filed: September 3, 2019
    Date of Patent: August 31, 2021
    Assignee: Electronic Arts Inc.
    Inventors: Milan Culibrk, Edward Kilham, Jeff Skelton
  • Patent number: 11086754
    Abstract: Approaches presented herein enable optimization of a developing application to a user base. More specifically, application-centric data is gathered during a cultivation phase of the developing application. Substantially concurrently with the cultivation phase of the developing application, the application-centric data is analyzed according to static code of the developing application, a testing of the developing application, or a user experience (UX) design of the developing application. A machine learning model is applied to the analyzed application-centric data. This machine learning model is trained on historic application feedback data from applications available to the user base. Based on the machine learning model, a recommended change to optimize the developing application to the user base is generated.
    Type: Grant
    Filed: July 2, 2019
    Date of Patent: August 10, 2021
    Assignee: International Business Machines Corporation
    Inventors: Manish Anand Bhide, Vijay Kumar Ananthapur Bache, Srinivas Chebolu, Jhilam Bera
  • Patent number: 11080175
    Abstract: A scalable enterprise platform for automated functional and integration regression testing is provided. Embodiments of the disclosed system facilitate the testing of any number of different software systems in development, even where the systems have unique dataset formats. Embodiments of the present invention provide a common method to generate logging and results reports across the platform, thereby providing simpler results analysis. Embodiments may also standardize the query set and facilitate the capability to analyze large results sets. Furthermore, embodiments of the disclosed system may combine the original data to the validated data to allow testers to analyze the testing results. In addition, embodiments of the present invention supports secured separation of testing domains. In at least one embodiment, the system includes a centralized user interface system that provides users with different domains to securely access one or more testing domains.
    Type: Grant
    Filed: May 13, 2019
    Date of Patent: August 3, 2021
    Assignee: JPMORGAN CHASE BANK, N.A.
    Inventors: Mark R Wilson, Nicholas Johnston, Pollawat Poonjiradejma, Hani El Sayyed, Thomas Williams
  • Patent number: 11061790
    Abstract: A method, system and computer program product for detecting potential failures in completing a continuous delivery (CD) pipeline using machine learning. A CD pipeline is defined to include stages, where each stage includes a binary event(s). A model is created by applying an Apriori algorithm and a sequential pattern mining algorithm to a set of previous patterns of sequences of binary events to calculate confidence scores for completing a set of binary events in a particular order. After identifying an ongoing CD sequence (ordered set of binary events) for a software application, the model is used to predict a likelihood of the ongoing CD sequence for the software application completing the CD pipeline by generating confidence score(s) for the ongoing CD sequence. A notification is issued regarding a potential failure in completing the CD pipeline for the software application if a confidence score is below a threshold value.
    Type: Grant
    Filed: January 7, 2019
    Date of Patent: July 13, 2021
    Assignee: International Business Machines Corporation
    Inventors: Bo Zhang, Alexander Sobran, Bradley C. Herrin, Xianjun Zhu
  • Patent number: 11061791
    Abstract: A method, system and computer program product for detecting potential failures in completing a continuous delivery (CD) pipeline using machine learning. A CD pipeline is defined to include stages, where each stage includes a binary event(s). A model is created by applying an Apriori algorithm and a sequential pattern mining algorithm to a set of previous patterns of sequences of binary events to calculate confidence scores for completing a set of binary events in a particular order. After identifying an ongoing CD sequence (ordered set of binary events) for a software application, the model is used to predict a likelihood of the ongoing CD sequence for the software application completing the CD pipeline by generating confidence score(s) for the ongoing CD sequence. A notification is issued regarding a potential failure in completing the CD pipeline for the software application if a confidence score is below a threshold value.
    Type: Grant
    Filed: July 8, 2019
    Date of Patent: July 13, 2021
    Assignee: International Business Machines Corporation
    Inventors: Bo Zhang, Alexander Sobran, Bradley C. Herrin, Xianjun Zhu
  • Patent number: 11061745
    Abstract: Various embodiments discussed herein systems and methods that facilitate analysis of shared resources for a multi-core system. One example embodiment comprise a method involving identifying, via static data based on analysis of the multi-core system, shared resource(s) of the multi-core system that are subject to potential resource violation(s), wherein the static data identifies each read and write access of those shared resource(s) in a software of the multi-core system; receiving hardware trace data for the multi-core system comprising each read and write access of those shared resource(s) in the software as executed by the multi-core system; and making a determination, for each shared resource of the one or more shared resources, based on a comparison between the static data and the hardware trace data, whether at least one of the one or more associated potential resource violations of that shared resource is an associated resource violation of that shared resource.
    Type: Grant
    Filed: November 13, 2018
    Date of Patent: July 13, 2021
    Assignee: Infineon Technologies AG
    Inventors: Sumit Khandelwal, Sandeep Chandrashekar, Akhila Shamsunder, Swasati Baishya
  • Patent number: 11055448
    Abstract: Systems and methods for SMT processes using uninterpreted function symbols. A method includes receiving a configuration model. The method includes computing a variant for the configuration model that includes a non-linear function. The method includes identifying input/output pairs in the non-linear function of the variant. The method includes executing a process on an external application for each input/output pair to produce an output value corresponding to each input of the input/output pairs. The method includes comparing the output value corresponding to each input of the input/output pairs with the output corresponding to each input of the input/output pairs. The method includes, when the output value corresponding to each input of the input/output pairs is equal to the output corresponding to each input of the input/output pairs, then the system stores an indication that the variant is correct.
    Type: Grant
    Filed: April 11, 2017
    Date of Patent: July 6, 2021
    Assignee: Siemens Industry Software Inc.
    Inventors: Martin Richard Neuhäuβer, Gabor Schulz
  • Patent number: 11036920
    Abstract: Systems and methods are disclosed for embedding location information in a media collaboration using natural language processing. A method includes identifying, using natural language processing (NLP) techniques, a location discussed by users in a media collaboration, determining a location context of at least one user of the users, the location context comprising a geographic location of a device of the at least one user, identifying location information corresponding to the identified location, generating a preview of the location information, providing the preview to the at least one user via a graphical user interface (GUI) of the media collaboration, the preview provided in a conversation portion of the GUI of the media collaboration, and providing the location information within the media collaboration.
    Type: Grant
    Filed: December 3, 2018
    Date of Patent: June 15, 2021
    Assignee: GOOGLE LLC
    Inventors: Eric W. Barndollar, Aaron Eidelson, Holger Meyers
  • Patent number: 11030035
    Abstract: A method prevents a cascading failure in a complex stream computer system. The method includes receiving binary data that identifies multiple subcomponents in a complex stream computer system. These identified multiple subcomponents include upstream subcomponents that generate multiple outputs and a downstream subcomponent that executes a downstream computational process that uses the multiple outputs. The method dynamically adjusts which of multiple inputs are used by the downstream subcomponent in an attempt to generate an output from the downstream subcomponent that meets a predefined trustworthiness level for making a first type of prediction. If no variations of execution of one or more functions used by the downstream subcomponent ever produce an output that meets the predefined trustworthiness level for making a first type of prediction, then computer hardware executes a new downstream computational process that produces a different second type of prediction.
    Type: Grant
    Filed: April 12, 2019
    Date of Patent: June 8, 2021
    Assignee: International Business Machines Corporation
    Inventors: Robert R. Friedlander, James R. Kraemer, Justyna M. Nowak, Elizabeth V. Woodward
  • Patent number: 11030087
    Abstract: Systems and methods for automated invocation of accessibility validations in accessibility scripts are disclosed. According to one embodiment, in an information processing apparatus comprising at least one computer processor, an automated accessibility test program performing the following: (1) invoking an automated test program; (2) invoking the automated accessibility test program in the automated test program; (3) loading a webpage to be validated; (4) identifying at least one interactive webpage element on the webpage; (5) causing the automated accessibility program to validate the interactive webpage element with the automated accessibility program; (6) storing a result of the validation; and (7) performing an action validation on the interactive webpage element.
    Type: Grant
    Filed: August 2, 2019
    Date of Patent: June 8, 2021
    Assignee: JPMORGAN CHASE BANK, N.A.
    Inventors: Swaroop Kumar Balakrishnan, Raj Dhilip Kumar Rajmohan, Reddeppa Mandem, Anil Kumar Movva
  • Patent number: 11030066
    Abstract: Techniques for dynamic decomposition of an application executing in a computing environment are provided. For example, an apparatus comprises at least one processing platform comprising one or more processing devices. The at least one processing platform is configured to execute a portion of an application program in a first virtual computing element, wherein the application program comprises one or more portions of marked code, receive a request for execution of one of the one or more portions of marked code, decide whether to execute the portion of marked code identified in the request in the first virtual computing element or in a second virtual computing element, and cause the portion of marked code identified in the request to be executed in the second virtual computing element, when it is decided to execute the portion of the marked code in the second virtual computing element.
    Type: Grant
    Filed: October 30, 2019
    Date of Patent: June 8, 2021
    Assignee: EMC IP Holding Company LLC
    Inventors: Xuebin He, Alex Robbins, James R. King, Amy Seibel, Victor Fong
  • Patent number: 11023958
    Abstract: Systems and methods for dynamically defining smart measurement points are disclosed. A first experiment configured to provide one of a base element or a variant element is defined and the first experiment is associated with a first page. The first experiment includes a first dynamically defined qualifying measurement point. A plurality of records each comprising one or more variables indicative of an interaction between one of the plurality of user systems and the computing device are generated and a search query including the first dynamically defined qualifying measurement point is received. Each record received is searched. For each record containing the first dynamically defined qualifying measurement point, an associated one of the plurality of user devices is qualified for the at least one experiment and, for each remaining record, the associated one of the plurality of user devices is excluded for the at least one experiment.
    Type: Grant
    Filed: January 29, 2018
    Date of Patent: June 1, 2021
    Assignee: Walmart Apollo, LLC
    Inventors: Anthony Tang, Swetharam Kasireddi, Justin Rubin, Gholamreza Esfandani Bozchelouei, Girish Subramanian, Duy Le, Shriram Sharma, Stephen Bitondo
  • Patent number: 10970059
    Abstract: Systems and methods for updating firmware or other critical configuration data in scalable distributed systems are provided. Such systems and methods can include (1) a master controller receiving (a) a firmware update file that is divided into a plurality of packets and (b) a metadata file that is associated with the firmware update file and (2) a first one of a plurality of slave controllers receiving the metadata file and, responsive thereto, updating a local peer table to include entries for the master controller and a group of the plurality of slave controllers that are available to share any of the plurality of packets and downloading each of the plurality of packets from a combination of the master controller and the group of the plurality of slave controllers.
    Type: Grant
    Filed: November 30, 2018
    Date of Patent: April 6, 2021
    Assignee: Honeywell International Inc.
    Inventors: Chandramohan Harkude, Sreejith Naarakathil, Deepu Paul
  • Patent number: 10949327
    Abstract: An example embodiment provides a high level language (called a pseudo language herein) built on top of (or representing an abstraction layer on top of) Business Prosecution Execution Language (BPEL), which incorporates three new specialized functions, or “verbs,” that facilitate developer friendly operations that are readily validated during design time using schema awareness, and that enable schema-aware implementations of complex variable modifications during runtime. The pseudo language and accompanying verbs (e.g.
    Type: Grant
    Filed: March 7, 2019
    Date of Patent: March 16, 2021
    Assignee: Oracle International Corporation
    Inventors: Jorge Herreria, Venkatesh Mohanram
  • Patent number: 10949336
    Abstract: A method may include obtaining, from one of the rules of a static analysis, a built-in path relation describing a path constraint on a path variable, generating, using the rules, a transfer function that updates a property vector while analyzing code, generating an evaluation function that determines, using the updated property vector, whether the static analysis is satisfied, and determining whether the code includes a defect by executing the static analysis on the code using the path constraint, the transfer function, and the evaluation function.
    Type: Grant
    Filed: March 29, 2019
    Date of Patent: March 16, 2021
    Assignee: Oracle International Corporation
    Inventors: Nathan Robert Albert Keynes, Eric Beguet
  • Patent number: 10942841
    Abstract: There is provided a computer-implemented method for generating verified software application tests, the method comprising: acquiring a computer readable model representing a functionality of a software application to be tested; generating, based at least partly on the model, a test template for generating a plurality of verified software application tests, the test template comprising a plurality of data input fields for data values and defining data value constraints for the data values; obtaining user data input regarding a data input field; determining whether said user data input defines a data value of the data input field according to the data value constraints; in response to determining that said user data input does not define a data value according to the data value constraints, adjusting one or more data values of the test template such that said data value constraints are met; and generating, based on the test template, at least one software application test meeting the data value constraints.
    Type: Grant
    Filed: December 7, 2018
    Date of Patent: March 9, 2021
    Assignee: Conformiq Holding LLC
    Inventor: Kimmo Nupponen
  • Patent number: 10930139
    Abstract: Apparatus and methods for providing protection from economic exploitation. The apparatus and methods may include a platform for tagging a social security number and/or other suitable identification number. The system may allow a person associated with a social security number to automatically flag and deny any product or service request associated with the social security number. The alarms are “silent,” because the alarm may initiate an institution internal process in which the customer interaction with the institution follows a normal diligence process until an intervention can be effectively executed on behalf of the customer. This reduces the likelihood of a reaction from the customer's associate prior to completing the diligence process. A system may provide the customer with an opportunity to electronically activate an alarm by typing keystrokes on a card reader keypad or interacting with a physical sensor on the reader, on the card, or the like.
    Type: Grant
    Filed: October 10, 2019
    Date of Patent: February 23, 2021
    Assignee: Bank of America Corporation
    Inventors: Monika Kapur, Maria Carolina Barraza Enciso, Elena Kvochko, Katherine Dintenfass
  • Patent number: 10922060
    Abstract: The Application Source Code Reuse Apparatuses, Methods and Systems (“ACR”) transforms compilation request inputs via ACR components into compilation response outputs. A compilation request datastructure that specifies an application identifier is obtained. A first source code branch associated with the application identifier is pulled from a source code repository. A second source code branch associated with the application identifier is rebased using the first source code branch. A first transformation file in the second source code branch is selected. The first transformation file is written in a first programming language and includes a first set of annotations that specify how to modify the first transformation file into a compilable file in the first programming language. The first transformation file is transformed, in accordance with the first set of annotations, into a compilable file in the first programming language. A content package is generated using the transformed first transformation file.
    Type: Grant
    Filed: September 26, 2019
    Date of Patent: February 16, 2021
    Assignee: FMR LLC
    Inventor: John Ward
  • Patent number: 10904331
    Abstract: A method implemented by an application (app) store system that includes receiving a first request for a first version of an app for the mobile phone; pushing the first version of the app for the mobile in response to the first request; automatically pushing a second version of the app to a watch associated with the mobile phone, the mobile phone and the watch having different operating systems; receiving a second request for a third version of the app for the mobile phone; pushing the third version of the app for the mobile phone in response to the second request, where the third version of the app for the mobile phone comprises an update to the first version of the app; and automatically pushing a fourth version of the app to the watch, where the fourth version of the app comprises an update to the second version of the app.
    Type: Grant
    Filed: January 6, 2020
    Date of Patent: January 26, 2021
    Assignee: Futurewei Technologies, Inc.
    Inventor: Guangbin Fan
  • Patent number: 10885067
    Abstract: Data gathering and re-presentation tools provided by a service to a client organization enable data to be acquired in an automated manner from a multiplicity of systems (e.g., proprietary databases and other data storage, handling, and management systems) and then re-present the acquired data in any layout and in format in accordance with specifications provided by the client and/or third party. The tools execute routines to validate the acquired data to ensure its completeness and logical accuracy as well as enrich the data with data from other sources or data that is derived from the acquired data. The processed data is organized and transformed into specified end states and routed to appropriate recipients in the client organization.
    Type: Grant
    Filed: September 18, 2018
    Date of Patent: January 5, 2021
    Inventors: W. C. Taylor, III, Michael S. Ackerman, Devlin P. McConagly