Symbolic execution framework for parallel object-oriented programs
Symbolic execution is a technique to analyze a program depending on sets of input values by
executing all paths simultaneously. For parallell programs, symbolic
execution requires recent, interesting techniques such as Concolic testing.
The topic for this thesis is to program a symbolic execution framework for the parallel
object-oriented language ABS. Some initial ideas for this work can be found in the paper Dynamic Symbolic Execution for Testing Distributed Objects.