Abstract: The disclosure relates to testing software for operating an autonomous vehicle. For instance, a first simulation may be run. The simulation may be run using the software to control a simulated vehicle and at least one agent. During the running of the first simulation, whether a particular type of interaction between the simulated vehicle and the at least one agent has occurred may be determined. In response to this determination, a second simulation may be run using the log data by replacing the at least one agent with a model agent that simulates a road user capable of responding to actions performed by the simulated vehicle. The second simulation may be used to determine in order to determine whether the software is able to complete the second simulation without the particular type of interaction between a second simulated vehicle and the model agent occurring.

Abstract: A communication method and a system for converging a 5th-Generation (5G) communication system for supporting higher data rates beyond a 4th-Generation (4G) system with a technology for Internet of Things (IoT) are provided. The communication method and system includes intelligent services based on the 5G communication technology and the IoT-related technology, such as smart home, smart building, smart city, smart car, connected car, health care, digital education, smart retail, security and safety services.

Abstract: A hardware acceleration method includes obtaining compilation policy information and a source code, where the compilation policy information indicates that a first code type matches a first processor and a second code type matches a second processor; analyzing a code segment in the source code according to the compilation policy information; determining a first code segment belonging to the first code type or a second code segment belonging to the second code type; compiling the first code segment into a first executable code; sending the first executable code to the first processor; compiling the second code segment into a second executable code; and sending the second executable code to the second processor.

Abstract: An automated program repair tool utilizes a neural transformer model with attention to predict the contents of a bug repair in the context of source code having a bug of an identified bug type. The neural transformer model is trained on a large unsupervised corpus of source code using a span-masking denoising optimization objective, and fine-tuned on a large supervised dataset of triplets containing a bug-type annotation, software bug, and repair. The bug-type annotation is derived from an interprocedural static code analyzer. A bug type edit centroid is computed for each bug type and used in the inference decoding phase to generate the bug repair.

Abstract: A first intermediate representation of a first portion of a source code implementing an application and a second intermediate representation of a second portion of the source code is received by a processing device. The first intermediate representation and the second intermediate representation is merged, at run-time, into a merged intermediate representation, wherein the first intermediate representation includes a reference to a function in the second intermediate representation. An execution flow transfer instruction within the merged intermediate representation is identified based on a run-time value of a parameter of the application. The execution flow transfer instruction references the function. A set of executable instructions implementing the function is identified within the merged intermediate representation. The execution flow transfer instruction is replaced with a copy of the set of executable instructions implementing the function.

Abstract: Embodiments of the present disclosure provide a method, an electronic device, and a computer program product for code defect detection. The method described here includes determining log information associated with a defect based on the defect reported during testing of a software product. The method further includes determining a nature of the defect based on the log information. The method further includes determining, based on the nature, the log information, and a memory image file generated when the defect is reported, target code in code of the software product that causes the defect, in response to the nature indicating that the defect is caused by the code of the software product and needs to be repaired. By using the solution of the present application, different analysis strategies for defects may be adopted based on natures of the defects, thereby improving the efficiency of detecting code defects.

Abstract: A center comprising one or more processors configured to: communicate with an OTA master configured to control, based on update data, a software update for a plurality of electronic control units mounted on a vehicle; transmit, to the OTA master, first-type update data that is the update data for a first electronic control unit on which a first-type non-volatile memory having one storage area is mounted and second-type update data that is the update data for a second electronic control unit on which a second-type non-volatile memory having two storage areas is mounted, the first electronic control unit and the second electronic control unit being included in the electronic control units; and control transmittance of the first-type update data and the second-type update data to the OTA master based on a communication state between the center and the OTA master.

Abstract: A binary code similarity detection system that compares a target binary code to a source code by comparing the target binary code to a comparing binary generated by compiling the source code. Rather than using a comparing binary generated using a random or fixed compiling configuration, the system identifies the compiling configuration of the target binary code and compares the target binary code to a comparing binary generated using the same compiling configuration as the target binary code. The compiling configuration of the target binary code may be identified by a neural network (e.g., a graph attention network trained on attributed function call graphs of binary codes with known compiling configurations). The target binary code and the comparing binary may be compared using a graph neural network (e.g., a graph triplet loss network) that compares attributed control flow graphs of the of the target binary code and the comparing binary.

Abstract: To make validity of a prediction model created by machine learning be able to be verified with appropriate accuracy and efficiency. A software test apparatus includes a storage device configured to store a prediction model, and an arithmetic device. The arithmetic device is configured to accept inputs of a precondition, a constraint condition, and an approximation threshold value, convert the prediction model into a logical expression, analyze an approximation range based on the approximation threshold value with respect to the logical expression to simplify the logical expression, generate an inspection expression by combining the simplified logical expression with the precondition and negation of the constraint condition, search for, as a counterexample, a value satisfying the inspection expression, input the value to the prediction model to evaluate inspection accuracy when the counterexample exists, and output a result of the evaluation.

Abstract: Techniques for managing a software build using a machine learning model are disclosed. A system obtains historical data associated with historical software builds. The historical data includes attribute data for a plurality of development stages associated with a historical software build and labels indicating success or failure for the plurality of development stages. The system trains a machine learning model using the historical data associated with the historical software builds to generate predictions of success or failure of the plurality of development stages. The system receives attributes of a target software build and a selection of a first target development stage of the target software build. The system applies the machine learning model to the target software build to generate a first prediction of success or failure of the first target development stage.

Abstract: Discussed are DevOps systems, methods, and apparatuses that provide a solution for organizing, reporting, and facilitating the automation of deploying infrastructure, platform, and application code for an IT enterprise. A logical data model for organizing components of the DevOps approach may include inventories for systems, environments, applications, resources, and deployments. A set of components may be built to provide an organizational structure to collect, report, and facilitate the automation of applications and the deployments of those applications across the enterprise. An artifact inventory may be used to request a deployment of specific versions of artifacts to an environment, providing a complete picture of what the environment should contain after a deployment. This inventory may be linked to business-level system inventory tracking as well as low-level computing resource tracking to provide a complete picture of total cost of ownership.

Abstract: Techniques for generating application interfaces based on semantic-level data are described herein. Application developers may semantically define an application flow. Based on the definition, a system may identify a template of a multipage navigable interface that is compatible with the flow. If multiple templates are compatible, then a template may be recommended or automatically selected based on the semantic information provided by the developer. The system may generate, based on the template and the semantic definition, a multipage navigable interface. The template may encapsulate some design and functional elements in a manner that is independent of the semantic definition.

Abstract: Systems and methods for generating a process tree of a process are provided. An event log of the process is received. It is determined whether a base case applies to the event log and, in response to determining that the base case applies to the event log, one or more nodes are added to the process tree. In response to determining that the base case does not apply to the event log, the event log is split into sub-event logs and one or more nodes are added to the process tree. The steps of determining whether a base case applies and splitting the event log are repeatedly performed for each respective sub-event log using the respective sub-event log as the event log until it is determined that the base case applies to the event log. The process tree is output. The process may be a robotic process automation process.

Abstract: An in-database application package and application instance for a data platform. The data platform creates an application instance of an application package having a versioned schema, creates one or more system roles for the application instance, creates a user role and an administrator role for the application instance, creates one or more objects of the application instance based on a versioned schema, and grants one or more use privileges to the one or more roles. Application instances of the application package are upgraded or patched on the data platform based on application package versions. To ensure a proper upgrade or patch, the data platform tracks versions of executing objects of application instances in a call context.

Abstract: A first firmware source code portion corresponding to an immutable firmware portion of specific firmware to be deployed with embedded devices is identified. A second different firmware source code portion corresponding to a mutable firmware portion of the specific firmware to be deployed with the embedded devices is identified. The first firmware source code portion is used to generate the immutable firmware portion of the specific firmware. The second firmware source code portion is used to generate the mutable firmware portion of the specific firmware. The immutable firmware portion of the specific firmware is caused to be installed in fixed storage drives of an embedded device in the embedded devices. The mutable firmware portion of the specific firmware is caused to be installed in swappable storage drives of the same embedded device.

Abstract: Techniques are described for enabling software migration and modernization services of a cloud provider network to provide completion time forecasts for various types of migration and modernization actions performed by the services relative to users' software applications. A cloud provider network provides a software migration and modernization orchestration service that helps users orchestrate the use of various software migration and modernization services. Depending on the technical characteristics of a user's application and the selection of migration and modernization processes to be performed, an amount of time needed to complete migration and modernization actions can vary widely.

Abstract: Generating an output prioritized list of computerized work-items for prioritizing work based on a set of prioritized computer-executable rules includes a structured way of associating contributions and expenses with computerized work-items and enhancing current technological processes of selecting computerized work-items to meet prioritized computer-executable rules.

Abstract: Systems and techniques that facilitate compliance enforcement via service discovery analytics are provided. In various embodiments, a system can comprise a receiver component that can access one or more declarative deployment manifests associated with a computing application. In various instances, the system can comprise a dependency component that can build a dependency topology based on the one or more declarative deployment manifests. In various cases, the dependency topology can indicate dependencies among one or more computing objects that are declared by the one or more declarative deployment manifests. In various aspects, the system can comprise a compliance component that can determine, based on the dependency topology, whether the computing application satisfies one or more compliance standards.

Abstract: Aspects of the invention include includes detecting a change in a code section of a source code in relation to a reference code section. An incremental section is created in object code, the incremental section includes an object code section describing the change in the code section and a symbol section describing a change to a symbol associated with the changed code section. The incremental section is attached to a software update. The software update to a target computer system.

Abstract: Described herein are methods, computer program products, and computer systems for video-based user interface (UI) application testing. The method includes receiving first test video data corresponding to test video images of an application executing on a first UI, generating the test video images on a first display, generating application video images on a second display. Further, the method may include determining that a first frame of the test video images and a second frame of the application video images fail to satisfy a predetermined similarity threshold, generating a third UI comprising the second frame of the second UI on a third display, receiving user inputs at the third UI for a first duration, capturing replacement test video images from the third display for the first duration, and generating second test video images, wherein the first frame of the test video images is replaced by the replacement test video images.