1. What have the authors contributed in "Static path conditions for java" ?
In this paper, the authors present an analysis of these constructs, which leads to precise path conditions operating only on the program ’ s variables.. The authors present details of path condition generation for Java constructs, and discuss preliminary insight from their prototype implementation.
read more
2. What are the future works mentioned in the paper "Static path conditions for java" ?
Dynamic Path Conditions [ 13 ] present two possibilities to refine a static path condition: First, dynamic slicing ( more precisely chopping ) greatly reduces the number of control paths.. The authors plan to incorporate dynamic path conditions into this work as this would allow — for example — to resolve dynamic binding into a single target, or instanceof expressions into a boolean constant without requiring subconditions.. The restrictive clause can be constructed even in the case that the variable trace is fragmentary, which allows using a flight recorder principle, where only the last N events are stored.. An evaluation of precise concurrent slicing algorithms can be found in Giffhorn and Hammer ’ s work [ 11 ].
read more
