Mining behavioral specifications of distributed systems

Mining behavioral specifications of distributed systems

Ph.D

Saved in:

書目詳細資料
主要作者:	SANDEEP KUMAR
其他作者:	COMPUTER SCIENCE
格式:	Theses and Dissertations
語言:	English
出版:	2012
主題:	Specification Mining, Distributed Systems, Program Comprehension
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/35803
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	National University of Singapore
語言:	English

相似書籍

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

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

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

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

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

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

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

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

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

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

DSM: A specification mining tool using recurrent neural network based language model
由: 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 iterative generators and representative rules for software specification discovery
由: Lo, D., et al.
出版: (2013)

Mining iterative generators and representative rules for software specification discovery
由: LO, David, et al.
出版: (2011)

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

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)

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)

ANALYZING THE BEHAVIOR OF DEPLOYED SOFTWARE
由: MARC SVEN BRUENINK
出版: (2018)

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 modal scenarios from execution traces
由: Lo, D., et al.
出版: (2013)

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

Mining logical clones in software: Revealing high-level business and programming rules
由: Qian, W., et al.
出版: (2014)

Automated path generation for software fault localization
由: Wang, T., et al.
出版: (2013)

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)

Android repository mining for detecting publicly accessible functions missing permission checks
由: NGUYEN, Huu Hoang, et al.
出版: (2017)

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)