Information Exchange Between Over- and Underapproximating Software Analyses.
Jan HaltermannHeike WehrheimPublished in: SEFM (2022)
Keyphrases
- information exchange
- knowledge exchange
- information sharing
- software systems
- knowledge sharing
- data sharing
- source code
- software tools
- network communication
- software design
- agent teamwork
- software architecture
- user interface
- software development
- software maintenance
- test cases
- computer systems
- decision support
- relational databases
- feature space
- artificial intelligence