NDLI: SMArTIC: towards building an accurate, robust and scalable specification miner

Please wait, while we are loading the content...

Using task context to improve programmer productivity

How is aliasing used in systems software?

An empirical study of regression testing techniques incorporating context and lifetime factors and improved cost-benefit models

Using positive tainting and syntax-aware evaluation to counter SQL injection attacks

Scenarios, goals, and state machines: a win-win partnership for model synthesis

Simulation-based test adequacy criteria for distributed systems

SMArTIC: towards building an accurate, robust and scalable specification miner

Work experience versus refactoring to design patterns: a controlled experiment

Failure proximity: a fault localization-based approach

Dynamic slicing long running programs through execution fast forwarding

SYNERGY: a new algorithm for property checking

Exceptions and aspects: the devil is in the details

Local analysis of atomicity sphere for B2B collaboration

User guidance for creating precise and accessible property specifications

Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation

Lightweight extraction of syntactic specifications

Questions programmers ask during software evolution tasks

Finding failure-inducing changes in java programs using change classification

Controlling factors in evaluating path-sensitive error detection techniques

Bit level types for high level reasoning

Detecting increases in feature coupling using regression tests

From multi-modal scenarios to code: compiling LSCs into aspectJ

Carving differential unit test cases from system test cases

SMArTIC: towards building an accurate, robust and scalable specification miner

Content Provider	ACM Digital Library
Author	Khoo, Siau-Cheng Lo, David
Abstract	Improper management of software evolution, compounded by imprecise, and changing requirements, along with the "short time to market" requirement, commonly leads to a lack of up-to-date specifications. This can result in software that is characterized by bugs, anomalies and even security threats. Software specification mining is a new technique to address this concern by inferring specifications automatically. In this paper, we propose a novel API specification mining architecture called SMArTIC Specification Mining Architecture with Trace fIltering and Clustering) to improve the accuracy, robustness and scalability of specification miners. This architecture is constructed based on two hypotheses: (1) Erroneous traces should be pruned from the input traces to a miner, and (2) Clustering related traces will localize inaccuracies and reduce over-generalizationin learning. Correspondingly, SMArTIC comprises four components: an erroneous-trace filtering block, a related-trace clustering block, a learner, and a merger. We show through experiments that the quality of specification mining can be significantly improved using SMArTIC.
Starting Page	265
Ending Page	275
Page Count	11
File Format	PDF
ISBN	1595934685
DOI	10.1145/1181775.1181808
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2006-11-05
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Clustering traces Specification mining Filtering errors
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

SMArTIC: Toward building an accurate, robust and scalable specification miner (2006)

SMArTIC: Specification mining architecture with trace filtering and clustering (2006)

SMArTIC : Specification Mining Architecture with Trace fIltering and Clustering

Scalable clustering mechanism to analyze the traces and to predict the behavior of learners

Towards scalable and accurate item-oriented recommendations

Scalable robust covariance and correlation estimates for data mining

SIFT: a scalable iterative-unfolding technique for filtering execution traces

Hierarchical inter-object traces for specification mining

Building an Information System for Reality Mining Based on Communication Traces

SMArTIC: towards building an accurate, robust and scalable specification miner

Similar Documents

SMArTIC: Toward building an accurate, robust and scalable specification miner (2006)

SMArTIC: Specification mining architecture with trace filtering and clustering (2006)

SMArTIC : Specification Mining Architecture with Trace fIltering and Clustering

Scalable clustering mechanism to analyze the traces and to predict the behavior of learners

Towards scalable and accurate item-oriented recommendations

Scalable robust covariance and correlation estimates for data mining

SIFT: a scalable iterative-unfolding technique for filtering execution traces

Hierarchical inter-object traces for specification mining

Building an Information System for Reality Mining Based on Communication Traces

SMArTIC: towards building an accurate, robust and scalable specification miner