SAGA Toolbox: Interactive Testing of Guarded Assertions.
Daniel FlemströmThomas GustafssonAvenir KobetskiPublished in: ICST (2017)
Keyphrases
- search based software testing
- virtual reality
- user interaction
- interactive video
- fixed point
- neural network
- highly interactive
- graphical interface
- query answering
- user friendly
- computer graphics
- software engineering
- artificial neural networks
- multiscale
- website
- knowledge base
- decision making
- test cases
- product configuration
- genetic algorithm
- machine learning
- real time