Localizing program logical errors using extraction of knowledge from invariants

Authors:
Mojtaba Daryabari;Behrouz Minaei-Bidgoli;Hamid Parvin
Affiliations:
School of Computer Engineering, Iran University of Science and Technology, Tehran, Iran;School of Computer Engineering, Iran University of Science and Technology, Tehran, Iran;School of Computer Engineering, Iran University of Science and Technology, Tehran, Iran
Venue:
SEA'11 Proceedings of the 10th international conference on Experimental algorithms
Year:
2011

Citing 14
Cited 3

Data flow analysis for verifying properties of concurrent programs

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
LCLint: a tool for using specifications to check code

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Query-based debugging of object-oriented programs

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Discovering models of software processes from event-based data

ACM Transactions on Software Engineering and Methodology (TOSEM)
Event-based detection of concurrency

SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
An Introduction to Genetic Algorithms

An Introduction to Genetic Algorithms
Automatic generation of program specifications

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Automated Support for Program Refactoring using Invariants

ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Efficient incremental algorithms for dynamic detection of likely invariants

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Generalized cycle crossover for graph partitioning

Proceedings of the 8th annual conference on Genetic and evolutionary computation
Data Mining Static Code Attributes to Learn Defect Predictors

IEEE Transactions on Software Engineering
The Daikon system for dynamic detection of likely invariants

Science of Computer Programming
Investigating the effect of dataset size, metrics sets, and feature selection techniques on software fault prediction problem

Information Sciences: an International Journal
Review: Software fault prediction: A literature review and current trends

Expert Systems with Applications: An International Journal

A heuristically perturbation of dataset to achieve a diverse ensemble of classifiers

MCPR'12 Proceedings of the 4th Mexican conference on Pattern Recognition
A heuristic diversity production approach

ICCSA'12 Proceedings of the 12th international conference on Computational Science and Its Applications - Volume Part III
A clustering ensemble based on a modified normalized mutual information metric

AMT'12 Proceedings of the 8th international conference on Active Media Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Program logical error localization and program testing are two of the most important sections in software engineering. Programmers or companies that produce programs will lose their credit and profit effectively if one of their programs delivered to a customer has any drawback. Nowadays there are many methods to test a program. This paper suggests a framework to localize the program logical errors by extraction of knowledge from invariants using a clustering technique.