Searching for "Mining specifications." – sorted by Relevance.
139 documents found, showing 1 through 10.
Next 10 →
-
Mining Specifications
- …Mining Specifications Glenn Ammons Dept. of Computer Sciences University of Wisconsin Madison…
- Cited by 163 (5 self) – Add To MetaCart
-
Mining Specifications
- …. This paper describes specification mining, a machine learning approach to discovering formal specifications…
- Add To MetaCart
-
ABSTRACT Mining Specifications of Malicious Behavior
- …ABSTRACT Mining Specifications of Malicious Behavior Mihai Christodorescu ∗ University…
- Cited by 1 (0 self) – Add To MetaCart
-
Concept Hierarchy in Data Mining: Specification, Generation and Implementation
- …Concept Hierarchy in Data Mining: Specification, Generation and Implementation by Yijun Lu M…
- Cited by 5 (0 self) – Add To MetaCart
-
Mining Temporal Specifications for Error Detection
- …Mining Temporal Specifications for Error Detection Westley Weimer and George C. Necula University…
- Cited by 33 (2 self) – Add To MetaCart
-
Specification Mining With Few False Positives
- …Specification Mining With Few False Positives Claire Le Goues and Westley Weimer ⋆ {legoues…
- Add To MetaCart
-
Static Specification Mining Using Automata-Based Abstractions
- …Static Specification Mining Using Automata-Based Abstractions Sharon Shoham Technion Israel…
- Cited by 5 (0 self) – Add To MetaCart
-
Mining API Error-Handling Specifications from Source Code
- …Mining API Error-Handling Specifications from Source Code Mithun Acharya and Tao Xie Department…
- Add To MetaCart
-
Mining Domain Specific Texts and Glossaries to Evaluate and Enrich Domain Ontologies
- …Mining Domain Specific Texts and Glossaries to Evaluate and Enrich Domain Ontologies Viral Parekh…
- Cited by 1 (0 self) – Add To MetaCart
-
Mining context specific similarity relationships using the World Wide Web
- …Mining Context Specific Similarity Relationships Using The World Wide Web Dmitri Roussinov Leon J…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
