Title	A New approach to Detect Safety Violations in UML Statechart Models
Author	Prashanth C.M., K. Chandrashekar Shet
Citation	Vol. 8  No. 7  pp. 167-174
Keywords	UML Statecharts, Software verification, Reactive Systems

Title	Check Points against Privacy Breaches in Android Applications
Author	Kazuhide Fukushima, Lujo Bauer, Limin Jia, Shinsaku Kiyomoto, Yutaka Miyake
Citation	Vol. 12  No. 8  pp. 1-10
Keywords	Information-flow analysis, Software Verification, System Security, Software Security, Android Security