Hacker News new | comments | show | ask | jobs | submit login
Inference and Regeneration of Programs that Store and Retrieve Data [pdf] (mit.edu)
20 points by lainon 24 days ago | hide | past | web | 1 comment | favorite



I like a lot the general idea: use the machine to explore the design space.

Here the authors start with a seed program, which exchanges data with a target server; and let the machine explore the core functionality of this server with systematically generated inputs and observed outputs.

The tool finally regenerates new code that wraps the skeleton code with boilerplate code and systematic error checking, leading to a new implementation which is more robust and secure.




Applications are open for YC Winter 2018

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: