Hierarchical Inter-object Traces for Specification Mining

由 LO, David, Maoz, Shahar
出版 2008

Hierarchical Inter-Object Traces for Specification Mining

由 LO, David, Maoz, Shahar
出版 2008

Specification Mining of Symbolic Scenario-Based Models

由 LO, David, Maoz, Shahar
出版 2008

Scenario-Based and Value-Based Specification Mining: Better Together

由 LO, David, MAOZ, Shahar
出版 2012

Scenario-based and value-based specification mining: better together

由 LO, David, MAOZ, Shahar
出版 2010

Mining Scenario-Based Specifications with Value-Based Invariants

由 LO, David, Maoz, Shahar
出版 2009

Mining Hierarchical Scenario-Based Specifications

由 LO, David, Maoz, Shahar
出版 2009

Towards Succinctness in Mining Scenario-Based Specifications

由 LO, David, Maoz, Shahar
出版 2011

Mining Branching-Time Scenarios

由 FAHLAND, Dirk, LO, David, MAOZ, Shahar
出版 2013

Mining Modal Scenarios from Execution Traces

由 LO, David, MAOZ, Shahar, KHOO, Siau-Cheng
出版 2007

Mining Modal Scenarios-Based Specifications from Execution Trace of Reactive Systems

由 LO, David, MAOZ, Shahar, KHOO, Siau-Cheng
出版 2007

Statistical log differencing

由 BAO, Lingfeng, BUSANY, Nimrod, LO, David, MAOZ, Shahar
出版 2019

LM: A Miner for Scenario-Based Specifications

由 DOAN, Tuan Anh, LO, David, Maoz, Shahar, KHOO, Siau-Cheng
出版 2010

Scalable Parallelization of Specification Mining using Distributed Computing

由 WANG, Shaowei, David LO, JIANG, Lingxiao, Maoz, Shahar, Budi, Aditya
出版 2015

Using finite-state models for log differencing

由 AMAR, Hen, BAO, Lingfeng, BUSANY, Nimrod, LO, David, MAOZ, Shahar
出版 2018

AutoDebloater: Automated android app debloating

由 LIU, Jiakun, HU, Xing, Ferdian, Thung, MAOZ, Shahar, TOCH, Eran, GAO, Debin, LO, David
出版 2023

Towards speedy permission-based debloating for Android apps

由 Ferdian, Thung, LIU, Jiakun, RATTANUKUL, Pattarakrit, MAOZ, Shahar, TOCH, Eran, GAO, Debin, LO, David
出版 2024

MiniMon: Minimizing Android applications with intelligent monitoring-based debloating

由 LIU, Jiakun, ZHANG, Zicheng, HU, Xing, Ferdian, Thung, MAOZ, Shahar, GAO, Debin, TOCH, Eran, ZHAO, Zhipeng, David LO
出版 2024