Sciweavers

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recent Google, Yahoo, MSN search queries leading to this post
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution