Author of the publication

Generation of Library Models for Verification of Android Applications.

, , , and . ACM SIGSOFT Softw. Eng. Notes, 40 (1): 1-5 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Computationally Inexpensive Energy Model for Horizontal Electric Water Heaters With Scheduling., , and . IEEE Trans. Smart Grid, 9 (1): 48-56 (2018)Electric Water Heater Energy Consumption Determination Using Outlet Temperature and Volumetric Estimation., , and . SSCI, page 665-672. IEEE, (2015)Formalising Boost POSIX Regular Expression Matching, , and . International Colloquium on Theoretical Aspects of Computing, page 99-115. (October 2018)Regular Expressions with Lookahead., , and . J. Univers. Comput. Sci., 27 (4): 324-340 (2021)Memoized Regular Expressions., , , and . CIAA, volume 12803 of Lecture Notes in Computer Science, page 39-52. Springer, (2021)N-Gram Representations For Comment Filtering., , , and . SAICSIT, page 6:1-6:10. ACM, (2015)Music Generation with Markov Models., and . IEEE Multim., 18 (3): 78-85 (2011)Testing Ethereum Smart Contracts: A Comparison of Symbolic Analysis and Fuzz Testing Tools., , and . SAICSIT, page 35-43. ACM, (2020)The Near-Ring of Lipschitz Functions on a Metric Space., and . Int. J. Math. Mathematical Sciences, (2010)On the semantics of regular expression parsing in the wild., and . Theor. Comput. Sci., (2017)