Cooperation Between Automatic and Interactive Software Verifiers.
Dirk BeyerMartin SpiesslSven UmbrichtPublished in: SEFM (2022)
Keyphrases
- graphic user interface
- cooperative
- software development
- software tools
- software architecture
- multi agent systems
- user friendly
- virtual reality
- semi automatic
- data sets
- software components
- software package
- software systems
- software design
- design tools
- search based software testing
- software testing
- hardware design
- graphical interface
- commercial software
- computer systems
- information retrieval
- software maintenance
- software developers
- fully automatic
- source code
- multi agent
- computer vision
- artificial intelligence
- graphical user interfaces
- software platform
- graphical display
- databases