mining specificationsmining conditions ma

mining specificationsmining conditions ma

    Comments

  • Mining specifications

    16 Jan 2002 , This paper describes specification mining, a machine learning approach to , Andreas Lochbihler , Gregor Snelting, On temporal path conditions in , Shan Lu , Soyeon Park , Chongfeng Hu , Xiao Ma , Weihang Jiang....

  • Medicaid Increases Emergency-Department Use: Evidence from ,

    2 Jan 2014 , Analyses of the 2006 health insurance expansion in Massachusetts , use overall and for specific types of visits, conditions, and groups , Prespecification was done to minimize issues of data and specification mining and to....

  • The Daikon system for dynamic detection of likely invariants

    , invariant detection;; Inductive logic programming;; Inference;; Invariant;; Likely invariant;; Program understanding;; Specification;; Specification mining...

  • Tao Xie - Publications

    Xuanzhe Liu, Yun Ma, Xinyang Wang, Yunxin Liu, Tao Xie, Gang Huang SWAROVsky: ,, Static API Specification Mining: Exploiting Source Code Model Checking , Alattin: Mining Alternative Patterns for Detecting Neglected Conditions...

  • ACM SIGSOFT - Distinguished Paper Award

    Lei Ma, Cyrille Artho, Cheng Zhang, Hiroyuki Sato, Johannes Gmeiner, and Rudolf , Møller: Systematic Execution of Android Test Suites in Adverse Conditions , Eran Yahav, Stephen Fink, Marco Pistoia, Static Specification Mining Using....

  • On-demand feature recommendations derived from mining public ,

    21 May 2011 , Our approach mines product descriptions from publicly available online , Tao Wang , Gang Yin , Xiang Li , Huaimin Wang, Labeled topic detection of open source software from mining mass textual project , Under certain conditions, the , Dynamic specification mining involves discovering software....

  • Compositional Mining of Multiple Object API Protocols through State ,

    17 Apr 2013 , Previous work on mining multiple object API protocols employs various , and destination state violations are flagged as postcondition violations ,, For approaches that take specification mining as a language learning problem , For the state abstraction, they do not simply map fields of reference types to....