FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
1 They consider DSE and SBST as different complementary techniques. They combine them for floating point problem. See EVACON framework.
Sergey Vartanov, 2007–2020
1 They consider DSE and SBST as different complementary techniques. They combine them for floating point problem. See EVACON framework.
Sergey Vartanov, 2007–2020