Towards GUI Functional Verification using Abstract Interpretation.

Abdulaziz Alkhalid Yvan Labiche

Published in: ICSOFT (2018)

Keyphrases

functional verification
abstract interpretation
termination analysis
model checking
static analysis
formal verification
active rules
reasoning engine
dynamic analysis
user interface
active databases
formal specification
hardware software
real time
low latency
test cases
high level