Aspect-Oriented Modeling and Verification with Finite State Machines.

Dianxiang Xu Omar el Ariss Weifeng Xu Lin-Zhang Wang

Published in: J. Comput. Sci. Technol. (2009)

Keyphrases

finite state machines
model checking
aspect oriented
finite state automata
object oriented
software development
database
real world
data mining
regular expressions
business applications
colored petri nets
mutation testing