Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT

We present Nopol, an approach for automatically repairing buggy if conditions and missing preconditions. As input, it takes a program and a test suite which contains passing test cases modeling the expected behavior of the program and at least one failing test case embodying the bug to be repaired. It consists of collecting data from multiple instrumented test suite executions, transforming this data into a Satisfiability Modulo Theory (SMT) problem, and translating the SMT result -- if there exists one -- into a source code patch. Nopol repairs object oriented code and allows the patches to contain nullness checks as well as specific method calls.Comment: CSTVA'2014, India (2014

The regularity and exponential decay of solution for a linear wave equation associated with two-point boundary conditions

This paper is concerned with the existence and the regularity of global solutions to the linear wave equation associated with two-point type boundary conditions. We also investigate the decay properties of the global solutions to this problem by the construction of a suitable Lyapunov functional.Comment: 18 page

Existence, blow-up and exponential decay estimates for a nonlinear wave equation with boundary conditions of two-point type

This paper is devoted to study a nonlinear wave equation with boundary conditions of two-point type. First, we state two local existence theorems and under suitable conditions, we prove that any weak solutions with negative initial energy will blow up in finite time. Next, we give a sufficient condition to guarantee the global existence and exponential decay of weak solutions. Finally, we present numerical resultsComment: 2