Symbolic execution with interval solving and meta-heuristic search

M Borges, M d'Amorim, S Anand… - 2012 IEEE Fifth …, 2012 - ieeexplore.ieee.org
A challenging problem in symbolic execution is to solve complex mathematical constraints
such as constraints that include floating-point variables and transcendental functions. The …
被引用次数：56 相关文章

Symbolic Execution with Interval Solving and Meta-heuristic Search

M Borges, M d'Amorim, S Anand, D Bushnell… - 2012 IEEE Fifth … - infona.pl
A challenging problem in symbolic execution is to solve complex mathematical constraints
such as constraints that include floating-point variables and transcendental functions. The …
[PDF] stanford.edu

[PDF][PDF] Symbolic Execution with Interval Solving and Meta-heuristic Search

M Borges, M d'Amorim, S Anand, D Bushnell… - www-cs.stanford.edu
A challenging problem in symbolic execution is to solve complex mathematical constraints
such as constraints that include floating-point variables and transcendental functions. The …

Symbolic Execution with Interval Solving and Meta-heuristic Search

M Borges, M d'Amorim, S Anand, D Bushnell… - 2012 IEEE Fifth …, 2012 - computer.org
A challenging problem in symbolic execution is to solve complex mathematical constraints
such as constraints that include floating-point variables and transcendental functions. The …
[PDF] archive.org

[PDF][PDF] Symbolic Execution with Interval Solving and Meta-heuristic Search

M Borges, M d'Amorim, S Anand, D Bushnell… - scholar.archive.org
A challenging problem in symbolic execution is to solve complex mathematical constraints
such as constraints that include floating-point variables and transcendental functions. The …
[PDF] psu.edu

[PDF][PDF] Symbolic Execution with Interval Solving and Meta-heuristic Search

M Borges, M d'Amorim, S Anand, D Bushnell… - Citeseer
A challenging problem in symbolic execution is to solve complex mathematical constraints
such as constraints that include floating-point variables and transcendental functions. The …

Symbolic Execution with Interval Solving and Meta-heuristic Search

M Borges, M d'Amorim, S Anand, D Bushnell… - Proceedings of the …, 2012 - dl.acm.org
A challenging problem in symbolic execution is to solve complex mathematical constraints
such as constraints that include floating-point variables and transcendental functions. The …
[PDF] mateusborges.com

[PDF][PDF] Symbolic Execution with Interval Solving and Meta-heuristic Search

M Borges, M d'Amorim, S Anand, D Bushnell… - mateusborges.com
A challenging problem in symbolic execution is to solve complex mathematical constraints
such as constraints that include floating-point variables and transcendental functions. The …
[PDF] github.io

[PDF][PDF] Symbolic Execution with Interval Solving and Meta-heuristic Search

M Borges, M d'Amorim, S Anand, D Bushnell… - damorim.github.io
A challenging problem in symbolic execution is to solve complex mathematical constraints
such as constraints that include floating-point variables and transcendental functions. The …
[PDF] ufpe.br

[PDF][PDF] Symbolic Execution with Interval Solving and Meta-heuristic Search

M Borges, M d'Amorim, S Anand, D Bushnell… - cin.ufpe.br
A challenging problem in symbolic execution is to solve complex mathematical constraints
such as constraints that include floating-point variables and transcendental functions. The …