Technical Perspective: Veritesting tackles path-explosion problem

We present MergePoint, a new binary-only symbolic execution system for large-scale and fully unassisted testing of commodity off-the-shelf (COTS) software. MergePoint introduces veritesting, a new technique that employs static symbolic execution to ...

Scaling symbolic execution to industrial-sized programs is an important open research problem. Veritesting is a promising technique that improves scalability by combining the advantages of static symbolic execution with those of dynamic symbolic ...

When doing femur fracture reduction surgery, both the patient and the surgeon are exposed to a great amount of radiation, which is harmful to their health. Computer assisted orthopaedic surgery (CAOS) is a less invasive approach for its ability to ...