Testing Programs with Contextual Unfoldings.

Kari Kähkönen Keijo Heljanko

Published in: ACM Trans. Embed. Comput. Syst. (2018)

Keyphrases

test cases
contextual information
symbolic execution
context sensitive
computer programs
programming environment
set of test cases
databases
software testing
control structures
artificial intelligence
website
multi agent systems
intermediate level