FCEP: A Fast Concolic Execution for Reaching Software Patches.
Meng FanWenzhi WangAimin YuDan MengPublished in: SEKE (2021)
Keyphrases
- software development
- software systems
- control flow
- execution traces
- user interface
- source code
- software tools
- image patches
- testing process
- commercial software
- data flow
- software architecture
- databases
- software components
- embedded systems
- computer systems
- software testing
- natural images
- hardware design
- higher order
- website
- data mining