An empirical evaluation of two user interfaces of an interactive program verifier.
Martin HentschelReiner HähnleRichard BubelPublished in: ASE (2016)
Keyphrases
- user interface
- user friendly
- user interaction
- search based software testing
- graphical user interfaces
- end users
- human computer interaction
- program execution
- interactive systems
- expert systems
- virtual reality
- computer programs
- computer vision
- information visualization
- highly interactive
- interactive video
- static analysis
- java programs
- control flow
- programming environment
- empirical evaluation
- high level