We have recently shown that symbolic execution together with the implicit path enumeration technique can successfully be applied in the Worst-Case Execution Time (WCET) analysis of programs. Symbolic execution offers a precise framework for program analysis and tracks complex program properties by analyzing single program paths in isolation. This path-wise program exploration of symbolic execut...

In this paper, the Exp-function method, with the aid of a symbolic computation system such as Maple, is applied to the (2+1) -dimensional Calogero Bogoyavlanskii Schiff equation. Exact and explicit generalized solitary solutions are obtained in more general forms. The free parameters can be determined by initial or boundary conditions. The method is straightforward and concise, and its applicat...