A search system for mathematical expressions on software binaries.
Ridhi JainSai PrathikVenkatesh VinayakaraoRahul PurandarePublished in: MSR (2018)
Keyphrases
- mathematical expressions
- source code
- search algorithm
- search efficiency
- test data generation
- search space
- software systems
- software architecture
- software tools
- control flow
- software development
- search queries
- software developers
- open source software
- exhaustive search
- databases
- software maintenance
- test suite
- search methods
- computer vision
- artificial intelligence
- genetic algorithm