Specifying and checking method call sequences of Java programs.

Yoonsik Cheon Ashaveena Perumandla

Published in: Softw. Qual. J. (2007)

Keyphrases

pairwise
parallel implementation
java programs
real time
artificial intelligence
multi agent
error rate