FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution

  •        0

Pex Custom Arithmetic Solver contains a collection of meta-heuristic search algorithms. The goal is to improve Pex's code coverage for code involving floating point variables. The project is based on the PexArithmeticSolverAttributeBase. The project has been evaluated in a ...

http://pexarithmeticsolver.codeplex.com/

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects