Abstract: According to an aspect of an embodiment, a method may include identifying a fault location in a software program using a test suite. The method may further include determining, using machine learning, a repair effectiveness indication that indicates a potential effectiveness of performing a potential repair operation at the fault location. In addition, the method may include prioritizing implementing a repair at the fault location based on the repair effectiveness indication. The method may further include performing repair operations with respect to the software program based on the prioritization of the fault location.

Abstract: A method of crawling a graphical user interface (GUI) based application may include performing a first-time crawl of a first sequence of actions of the GUI-based application. The first-time crawl may be a first time that the first sequence of actions is crawled. Further, the first sequence of actions may be a prefix of a second sequence of actions that includes one or more additional actions than the first sequence of actions. The method may also include extending the first-time crawl by the one or more additional actions such that the second sequence of actions is crawled during the first-time crawl. Further, the method may include determining a first input/output sequence associated with the first sequence of actions based on the first-time crawl. Additionally, the method may include determining a second input/output sequence associated with the second sequence of actions based on the first-time crawl.

Abstract: A method of mapping virtual optical networks (VONs) to a physical network that includes physical links that connect physical nodes. The method includes reading physical network information, VON demands, and technology constraints of the physical network. The method includes determining whether an iteration parameter violates an iterative condition that determines whether to continue processing the VON demands. If not, the method includes determining whether there are unprocessed subgroups of the VON demands. In response to there being unprocessed subgroups, the method includes selecting a subgroup of the VONs. The method includes computing feasible mapping patterns for the subgroup of the VONs. The method includes finding a size of a largest subset of the subgroup that has a feasible mapping and slot assignment solution. The method includes finding a mapping solution of the subset that has a feasible slot assignment and a slot assignment of the mapping solution.

Abstract: According to an aspect of an embodiment, one or more systems or methods may be configured to locate a fault in a software program using a test suite. The systems or methods may be further configured to modify, using a repair template, the software program in response to locating the fault. In addition, the systems or methods may be configured to determine whether the modification satisfies an anti-pattern condition. The anti-pattern condition may indicate whether the modification is improper. The systems or methods may also be configured to disallow the modification in response to the modification satisfying the anti-pattern condition or perform further testing on the software program, as modified, in response to the modification not satisfying the anti-pattern condition.

Abstract: A method of mapping virtual optical networks (VONs) to a physical network that includes physical links that connect physical nodes. The method includes reading physical network information, VON demands, and technology constraints of the physical network. The method includes determining whether an iteration parameter violates an iterative condition that determines whether to continue processing the VON demands. If not, the method includes determining whether there are unprocessed subgroups of the VON demands. In response to there being unprocessed subgroups, the method includes selecting a subgroup of the VONs. The method includes computing feasible mapping patterns for the subgroup of the VONs. The method includes finding a size of a largest subset of the subgroup that has a feasible mapping and slot assignment solution. The method includes finding a mapping solution of the subset that has a feasible slot assignment and a slot assignment of the mapping solution.

Abstract: Virtual optical network (VON) provisioning using implicit encoding of mapping constraints may include evaluating mapping choices to exclude certain mapping patterns before evaluating the mapping patterns. For each virtual node in a VON request, candidate physical nodes may be assigned and evaluated for compliance with constraints associated with the VON request. The constraints may be expanded to allow for various selection criteria for the VON request. Multiple VON requests may be simultaneously evaluated to find optimal solutions for the physical network.

Abstract: According to an aspect of an embodiment, a method may include determining a set of entity instances in a software program. Each entity instance may correspond to a program entity through which the software program performs an interaction with an external entity that is external to the software program. The method may also include determining an identity of each external entity. Additionally, the method may include determining a set of data-flow predicates and a set of control-flow predicates that are satisfied by the software program. Further, the method may include comparing the set of data-flow predicates and the set of control-flow predicates with a signature library that includes one or more malicious software signatures. The method may further include determining that the software program is malicious in response to the set of data-flow predicates and the set of control-flow predicates matching one or more malicious software signatures.

Abstract: A method for detecting a cross-platform difference of a web application may include generating a first relative layout model based on a first relationship between multiple elements of a screen of a web application when the web application is executed on a first platform. The method may further include generating a second relative layout model based on a second relationship between the multiple elements of the screen of the web application when the web application is executed on a second platform. The method may also include determining a difference between the first relationship and the second relationship based on a comparison of the first relative layout model with respect to the second relative layout model.

Abstract: A method of provisioning an optical network may include receiving one or more virtual optical network (VON) requests. Each VON request may include one or more virtual nodes and one or more virtual links. The virtual nodes may have one or more candidate nodes corresponding to a physical optical network. The method may also include identifying mapping patterns for VON requests by iteratively assigning each virtual node to one of their candidate nodes for each combination of candidate nodes and assigning each virtual link to corresponding physical links. The method may also include formulating a first set of constraint equations based on mapping patterns for the VON requests and formulating a second set of constraint equations based on physical optical network constraints. The first and second set of constraint equations may be solved by satisfiability modulo theories to obtain a mapping solution.

Abstract: A method of provisioning a network may include receiving a mapping solution for one or more virtual optical network (VON) requests including virtual nodes and virtual links. The mapping solution may include one mapping pattern for each VON request and each mapping pattern may include an ordered list of physical nodes. The method may also include formulating inequality constraint equations based on physical links that are shared by multiple virtual links. The method may also include formulating range constraint equations for each virtual link based on a physical link for each virtual link with a lowest number of optical transmission slots such that each virtual link occupy a same optical transmission slot across all physical links that are traversed by the virtual link. The inequality and range constraint equations may be solved with satisfiability modulo theories to obtain a slot assignment solution.

Abstract: Virtual optical network (VON) provisioning using implicit encoding of mapping constraints may include evaluating mapping choices to exclude certain mapping patterns before evaluating the mapping patterns. For each virtual node in a VON request, candidate physical nodes may be assigned and evaluated for compliance with constraints associated with the VON request. The constraints may be expanded to allow for various selection criteria for the VON request. Multiple VON requests may be simultaneously evaluated to find optimal solutions for the physical network.

Abstract: A method may include receiving a model of a graphical user interface (GUI) based application that includes a plurality of paths. The method may further include determining one or more paths of the plurality of paths that each include a pattern that satisfies a rule-pattern. The rule-pattern may be based on potential inaccuracies in the model as indicated by the pattern. The method may additionally include verifying whether the model is consistent with the GUI-based application. The verification may be based on a prioritization of a determination of whether the one or more paths are consistent with the GUI-based application. The prioritization of the one or more paths may be based on the one or more paths each including the pattern.

Abstract: One embodiment presents a user interface to a first user, the user interface being configured to enable the first user to provide user input that: specifies a first web application, and a behavior exploration specification, a plurality of web browsers, and a set of comparison rules for the first web application; requests a plurality of models to be constructed with respect to the web browsers for the first web application based on the behavior exploration specification; requests the models of the first web application to be compared with each other based on the set of comparison rules; and requests one or more results of the comparison performed on the models of the first web application to be presented; and in response to each user input received from the first user, performs one or more operations for the first user.

Abstract: A method of crawling a graphical user interface (GUI) based application may include performing a first-time crawl of a first sequence of actions of the GUI-based application. The first-time crawl may be a first time that the first sequence of actions is crawled. Further, the first sequence of actions may be a prefix of a second sequence of actions that includes one or more additional actions than the first sequence of actions. The method may also include extending the first-time crawl by the one or more additional actions such that the second sequence of actions is crawled during the first-time crawl. Further, the method may include determining a first input/output sequence associated with the first sequence of actions based on the first-time crawl. Additionally, the method may include determining a second input/output sequence associated with the second sequence of actions based on the first-time crawl.

Abstract: In one embodiment, a method includes accessing one or more document object model (DOM) representations of one or more pages of a Web application that comprises one or more instances of a web-application artifact. For each of one or more of the instances, the method also includes identifying a first set of one or more DOM elements in one of the DOM representations of one of the pages that collectively correspond to the instance. The method additionally includes identifying a second set of one or more particular values of one or more particular attributes of one or more particular ones of the DOM elements in the first sets. The second set may then be mapped to the web-application artifact to provide a DOM definition of the web-application artifact.

Abstract: In one embodiment, a method includes dynamically crawling an event-driven application in a plurality of client-tier environments; for each of the client-tier environments, generating a behavioral model of the event-driven application based on the dynamic crawling; for each of the behavioral models, determining one or more pairwise equivalences with respect to one or more other ones of the behavioral models; and, for each of the client-tier environments, determining one or more differences in an end-user experience of the event-driven application in the client-tier environment with respect to one or more other end-user experiences of the event-driven application in one or more other ones of the client-tier environments.

Abstract: A method of testing software may include accessing first software that includes multiple execution paths and concretely executing the first software using a test case associated with second software to traverse at least a first execution path of the execution paths. The method may also include capturing concrete execution results produced from concretely executing the first software to record the first execution path and symbolically executing the first software using a symbolic input based on the recorded first execution path.

Abstract: A method of testing software may include accessing software that includes multiple execution paths that each include one or more branching points. The method may also include concretely executing the software using multiple concrete inputs to traverse at least two of the execution paths of the software. The method may also include capturing concrete execution results produced from executing the software using the concrete inputs. The method may also include symbolically executing the software using one or more symbolic inputs based on the concrete execution results.

Abstract: A method of modeling a graphical user interface (GUI) based application as a deterministic finite-state machine may include generating dummy error state and a dummy error output in a finite-state machine. The method may further include modeling a response to an action that is unavailable on a screen of a graphical user interface (GUI) based application as a transition to the dummy error state in the finite-state machine while producing the dummy error output in the finite-state machine.

Abstract: In one embodiment, a user interface includes at least one instance of each of at least one widget. Recording a plurality of widget interaction instances (WIIs) for the user interface, each WII resulting from a user interaction applied to a particular instance of a particular widget. Clustering the plurality of WIIs based on a text value and a path value of each WII, such that each cluster of WIIs is associated with a particular widget. Determining, for each of at least one cluster of WIIs, whether the particular widget associated with the cluster of WIIs is erroneous based on whether user interactions corresponding to the WIIs in the cluster have produced responses from a software application that includes the user interface.