WASET
	@article{(Open Science Index):https://publications.waset.org/pdf/10011645,
	  title     = {Automata-Based String Analysis for Detecting Malware in Android Programs},
	  author    = {Assad Maalouf and  Lunjin Lu and  James Lynott},
	  country	= {},
	  institution	= {},
	  abstract     = {We design and implement a precise model of string
operations using finite state machine transformers and state
transformers to approximate the values string variables can take
throughout the execution of the program.We use our model to analyze
Android program string variables. Our experimental results show that
our string analysis is very efficient at detecting the contextual effect
of string operations on the string variables. Our model proved to be
very useful when it came to verifying statements about the string
variables of the program.},
	    journal   = {International Journal of Information and Communication Engineering},
	  volume    = {14},
	  number    = {12},
	  year      = {2020},
	  pages     = {517 - 524},
	  ee        = {https://publications.waset.org/pdf/10011645},
	  url   	= {https://publications.waset.org/vol/168},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 168, 2020},
	}