Loading…
Conditional Quantitative Program Analysis
Gerrard, Mitchell, Borges, Mateus, Dwyer, Matthew B., Filieri, Antonio
Published in IEEE transactions on software engineering (01.04.2022)
Published in IEEE transactions on software engineering (01.04.2022)
Get full text
Journal Article
Loading…
Prevalence of cardiovascular risk factors in Lithuanian middle-aged subjects participating in the primary prevention program, analysis of the period 2009-2012
Laucevi ius, Aleksandras, Rink nien, Egidija, Skujait, Agn, Petrulionien, aneta, Puronait, Roma, D enkevi i t, Vilma, Kasiulevi ius, Vytautas, Jatu is, Dalius, Ryliškyt, Ligita, Šlapikas, Rimvydas
Published in Blood pressure (01.02.2015)
Published in Blood pressure (01.02.2015)
Get full text
Journal Article
Loading…
Crowdsourced test case generation for android applications via static program analysis
Li, Yuying, Feng, Yang, Guo, Chao, Chen, Zhenyu, Xu, Baowen
Published in Automated software engineering (01.11.2023)
Published in Automated software engineering (01.11.2023)
Get full text
Journal Article
Loading…
Does obesity affect the outcomes of pulmonary resections for lung cancer? A National Surgical Quality Improvement Program analysis
Mungo, Benedetto, Zogg, Cheryl K., Hooker, Craig M., Yang, Stephen C., Battafarano, Richard J., Brock, Malcolm V., Molena, Daniela
Published in Surgery (01.04.2015)
Published in Surgery (01.04.2015)
Get full text
Journal Article
Loading…
Loading…
Loading…
Pharmacy diabetes care program: Analysis of two screening methods for undiagnosed type 2 diabetes in Australian community pharmacy
Krass, I., Mitchell, B., Clarke, P., Brillant, M., Dienaar, R., Hughes, J., Lau, P., Peterson, G., Stewart, K., Taylor, S., Wilkinson, J., Armour, C.
Published in Diabetes research and clinical practice (01.03.2007)
Published in Diabetes research and clinical practice (01.03.2007)
Get full text
Journal Article
Loading…
Postbreast cancer surgery outpatient rehabilitation program: Analysis of clinical profile, impact, and direct medical costs
de Sousa, Marina, Bueno, Camila, Mendoza Lopez, Rossana, de Almeida, Elisângela, Cecatto, Rebeca, de Brito, Christina
Published in Journal of the International Society of Physical and Rehabilitation Medicine (01.01.2019)
Published in Journal of the International Society of Physical and Rehabilitation Medicine (01.01.2019)
Get full text
Journal Article
Loading…
Loading…
Automated Patch Transplantation
Shariffdeen, Ridwan Salihin, Tan, Shin Hwei, Gao, Mingyuan, Roychoudhury, Abhik
Published in ACM transactions on software engineering and methodology (01.01.2021)
Published in ACM transactions on software engineering and methodology (01.01.2021)
Get full text
Journal Article
Loading…
Stubbifier: debloating dynamic server-side JavaScript applications
Turcotte, Alexi, Arteca, Ellen, Mishra, Ashish, Alimadadi, Saba, Tip, Frank
Published in Empirical software engineering : an international journal (01.12.2022)
Published in Empirical software engineering : an international journal (01.12.2022)
Get full text
Journal Article
Loading…
Loading…
Loading…
DeMistify: Identifying On-Device Machine Learning Models Stealing and Reuse Vulnerabilities in Mobile Apps
Ren, Pengcheng, Zuo, Chaoshun, Liu, Xiaofeng, Diao, Wenrui, Zhao, Qingchuan, Guo, Shanqing
Published in Proceedings / International Conference on Software Engineering (14.04.2024)
Published in Proceedings / International Conference on Software Engineering (14.04.2024)
Get full text
Conference Proceeding
Loading…
Improving Precision of Detecting Deserialization Vulnerabilities with Bytecode Analysis
Li, Weicheng, Lu, Hui, Sun, Yanbin, Su, Shen, Qiu, Jing, Tian, Zhihong
Published in IEEE/ACM ... International Symposium on Quality of Service (Online) (19.06.2023)
Published in IEEE/ACM ... International Symposium on Quality of Service (Online) (19.06.2023)
Get full text
Conference Proceeding
Loading…
Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
Cai, Zhuo, Farokhnia, Soroush, Goharshady, Amir Kafshdar, Hitarth, S.
Published in Proceedings of ACM on programming languages (16.10.2023)
Published in Proceedings of ACM on programming languages (16.10.2023)
Get full text
Journal Article