Sciweavers

136
Voted
CAV
2012
Springer
334views Hardware» more  CAV 2012»
13 years 1 days ago
Joogie: Infeasible Code Detection for Java
We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible controlflow paths and thus has no feasible executi...
Stephan Arlt, Martin Schäf