Specification mining in concurrent and distributed systems

Specification mining in concurrent and distributed systems

10.1145/1985793.1986002

Saved in:

書目詳細資料
主要作者:	Kumar, S.
其他作者:	COMPUTER SCIENCE
格式:	Conference or Workshop Item
出版:	2013
主題:	distributed systems specification mining
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/41525
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Specification mining in concurrent and distributed systems
由: Kumar, S.
出版: (2013)

Mining behavioral specifications of distributed systems
由: SANDEEP KUMAR
出版: (2012)

Inferring class level specifications for distributed systems
由: Kumar, S., et al.
出版: (2013)

Mining message sequence graphs
由: Kumar, S., et al.
出版: (2013)

Extracting significant specifications from mining through mutation testing
由: Nguyen, A.C., et al.
出版: (2013)

Mining dataflow sensitive specifications
由: Zuo, Z., et al.
出版: (2014)

Deep specification mining
由: LE, Tien-Duy B., et al.
出版: (2018)

Towards Succinctness in Mining Scenario-Based Specifications
由: LO, David, et al.
出版: (2011)

Adversarial specification mining
由: KANG, Hong Jin, et al.
出版: (2021)

Mining modal scenario-based specifications from execution traces of reactive systems
由: Lo, D., et al.
出版: (2013)

Scalable Parallelization of Specification Mining using Distributed Computing
由: WANG, Shaowei, et al.
出版: (2015)

Mining Scenario-Based Specifications with Value-Based Invariants
由: LO, David, et al.
出版: (2009)

Mining Modal Scenarios-Based Specifications from Execution Trace of Reactive Systems
由: LO, David, et al.
出版: (2007)

DSM: A specification mining tool using recurrent neural network based language model
由: LE, Tien-Duy B., et al.
出版: (2018)

Hierarchical Inter-object Traces for Specification Mining
由: LO, David, et al.
出版: (2008)

Hierarchical Inter-Object Traces for Specification Mining
由: LO, David, et al.
出版: (2008)

Hybrid based approaches for software fault localization and specification mining
由: LE, Bui Tien Duy
出版: (2017)

LM: A miner for scenario-based specifications
由: Doan, T.-A., et al.
出版: (2013)

Scenario-Based and Value-Based Specification Mining: Better Together
由: LO, David, et al.
出版: (2012)

Scenario-based and value-based specification mining: better together
由: LO, David, et al.
出版: (2010)

SMArTIC: Towards building an accurate, robust and scalable specification miner
由: Lo, D., et al.
出版: (2013)

Mining temporal rules for software maintenance
由: Lo, D., et al.
出版: (2013)

Refinement Techniques in Mining Software Behavior
由: ZUO ZHIQIANG
出版: (2015)

Mining modal scenarios from execution traces
由: Lo, D., et al.
出版: (2013)

Discovering complete API rules with mutation testing
由: Nguyen, A.C., et al.
出版: (2013)

Rule-based specification mining leveraging learning to rank
由: CAO, Zherui, et al.
出版: (2018)

Mining topic-specific concepts and definitions on the web
由: Liu, B., et al.
出版: (2014)

SMArTIC: Towards Building an Accurate, Robust and Scalable Specification Miner
由: LO, David, et al.
出版: (2006)

Specification mining: Methodologies, theories and applications
由: DAVID LO
出版: (2010)

3D segmentation and quantification of a masticatory muscle from MR data using patient-specific models and matching distributions
由: Ng, H.P., et al.
出版: (2014)

Synergizing specification miners through model fissions and fusions
由: LE BUI TIEN DUY,, et al.
出版: (2016)

Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation
由: LO, David, et al.
出版: (2012)

The Philippine gold mining industry
由: Ortigas, Jamie R. M.
出版: (1973)

The Philippine coal mining industry
由: Cuatico, Mary Jane T.
出版: (1979)

CryptoCurrency mining on mobile as an alternative monetization approach
由: HUYNH, Nguyen Phan Sinh, et al.
出版: (2019)

A study of the nickel mining industry in the Philippines
由: Garcia, Alfredo F.
出版: (1979)

Efficient mining of iterative patterns for software specification discovery
由: Lo, D., et al.
出版: (2013)

Multimedia data mining: State of the art and challenges
由: Bhatt, C.A., et al.
出版: (2013)

Analysis of Philex Mining Corporation
由: Bondoc, Edmundo L.
出版: (1968)

Mining generalized associations of semantic relations from textual web content
由: JIANG, Tao, et al.
出版: (2007)