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