Concolic Testing with Metronome
We propose to build a system that combines novel automatic test generation techniques with state-of-the-art multi-platform continuous
integration technology. The proposed system will automatically generate test data by using a combination of symbolic and concrete executions to intelligently explore the space of inputs. The continuous integration technology will enable the system to detect defects very early in the development cycle.
Small Business Information at Submission:
317 N. Aurora Street Ithaca, NY 14850
Number of Employees: