Engineering a Formally Verified Automated Bug Finder.
Arthur CorrensonDominic SteinhöfelPublished in: CoRR (2023)
Keyphrases
- fully automated
- source code
- engineering problems
- software systems
- artificial intelligence
- software engineering
- real world
- mechanical engineering
- electrical engineering
- semi automated
- data driven
- search algorithm
- search engine
- databases
- open source
- mobile robot
- user interface
- digital libraries
- semi automatic
- multi agent
- software evolution
- automated analysis
- e learning
- bug reports
- materials science