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

Property appraisal in high-rises: A cooperative game theory approach

بواسطة Ben-Shahar, D., Deng, Y., Sulganik, E.
منشور في 2013

Statistical log differencing

بواسطة BAO, Lingfeng, BUSANY, Nimrod, LO, David, MAOZ, Shahar
منشور في 2019

Negative magnetoresistance in amorphous indium oxide wires

بواسطة Mitra, Sreemanta, Tewari, Girish C, Mahalu, Diana, Shahar, Dan
منشور في 2018

A Preliminary Randomized Controlled Trial of Multifaceted Educational Intervention for Mild Cognitive Impairment Among Elderly Malays in Kuala Lumpur

بواسطة Johari, S.M., Shahar, S., Ng, T.P., Rajikan, R.
منشور في 2016

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

Mortgage Markets Worldwide

بواسطة Ben-Shahar, D., Leung, C.K.Y., Ong, S.E.
منشور في 2014

Preface

بواسطة Ben-Shahar, D., Leung, C.K.Y., Ong, S.E.
منشور في 2014