Open Access Open Access  Restricted Access Subscription Access

Unsupervised Probabilistic Debugging

Ankush Rai

Abstract


We presented an unsupervised probabilistic approach for the debugging of the programs; where the focus is on diagnosing the wrong answers based on the proposed unsupervised semantic parsing algorithm. This approach can be implemented over other programming language. The parsing of the test cases are heuristically employed with the proposed parsing algorithm which reduces the computational complexity and rationally give better performing algorithms.

Keywords


search strategy, divide and query, unsupervised parsing, logic programming

Full Text:

PDF

References


Abreu R., Zoetewij P., van Gemund A.J.C. An Evaluation of Similarity Coefficients for Software Fault Localization. In Proceedings of PRDC’05, IEEE Computer Society, Riverside, CA, USA, Dec 2006, 39–46p.

Abreu R., Zoetewij P., van Gemund A.J.C. On the Accuracy of Spectrum-based Fault Localization. In Proceedings of Testing: Academic and Industrial Conference — Practice and Research Techniques, IEEE Computer Society, 2007, 89–98p.

Agrawal H., Horgan J., London S., et al. Fault Localization using Execution Slices and Dataflow Tests. In Proceedings of the Sixth IEEE International Symposium on Software Reliability Engineering, Toulouse, France, October 1995, 143– 151p.

Wlodek Drabent, Simin Nadjm-Tehrani, Jan Maluszynski. The Use of Assertions in Algorithmic Debugging. In Proceedings of

the 1988 International Conference on Fifth Generation Computer Systems, Tokyo, Japan, December 1988, 573–581p.

Mireille Ducass´e, Schoenig S. A Backward Slicing Algorithm for Prolog. In R. Cousot and D. Schmidt, editors, Third International Static Analysis Symposium (SAS’96), Aachen, Germany, 1996, 317–331p.

Jones J., Harrold M., Stasko J. Visualization of Test Information to Assist Fault Localization. In Proceedings of the International

Conference on Software Engineering, Orlando, Florida, May 2002, 467 477p.

Liblit B., Nauk M., Zheng A.X., et al. Scalable Statistical Bug Isolation. In Proceedings of PLDI’05, Chicago, IL, USA, ACM, June 2005.

Liu C., Yan X., Fei L., et al. SOBER: Statistical Modelbased Bug Localization. In Proceedings of ESECFSE’ 05, Lisbon, Portugal, September

, 286–295p.

John W. Lloyd. Foundations of Logic Programming. Springer Series in

Symbolic Computation. Springer- Verlag, New York, 1984.

Ian MacLarty, Zoltan Somogyi, Mark Brown. Divide-and-query and Subterm Dependency Tracking in the Mercury Declarative Debugger. In C. Jeffery, J.- D. Choi, and R. Lencevicius, editors, Proceedings of the Sixth International Workshop on Automated and Analysis- Driven Debugging, Monterey, California, September 2005. ACM, 59– 68p.

Marriott K., Lee Naish, Lassez J.L. Most Specific Logic Programs. Ann Math Arti Intell 1190; 1(2): 303–338p.

Meyer A., Garcia A., Souza A. de, et al. Comparison of Similarity Coefficients used for Cluster Analysis with Dominant Markers in Maize (Zea mays L). Genet Mol Biol 2004; 27(1): 83–91p.

Lee Naish. Declarative Debugging of Lazy Functional Programs. Aust

Comput Sci Commun 15(1):287–294, 1993.

Lee Naish. A Declarative Debugging Scheme. J Functional and Logic

Programming 1997(3), April 1997.

Lee Naish. A Three-valued Declarative Debugging Scheme. Aust Comput Sci Commun 22(1):166–173, January 2000.

Lee Naish, Dart P. W., Zobel J. The NU-Prolog Debugging Environment. In Antonio Porto, editor, Proceedings of the Sixth International Conference on Logic Programming, Lisboa, Portugal, June 1989, 521–536p.

Henrik Nilsson, Peter Fritzson. Algorithmic Debugging of Lazy Functional Languages. Proceedings of The Fourth International Symposium on Programming Language Implemen-tation and Logic Programming, to appear, August, 1992.

Luis Moniz Pereira. Rational Debugging in Logic Programming. In Ehud Shapiro, editor, Proceedings of the Third International Conference on Logic Programming, pages 203–210, London, England, July 1986. Published as Lecture Notes in Computer Science 225 by Springer Verlag.

Luis Moniz Pereira, Miguel Calejo. A Framework for Prolog Debugging. In Kenneth A. Bowen and Robert A. Kowalski, editors, Proceedings of the Fifth International Conference/Symposium on Logic Programming, Seattle, Washington, August 1988, 481–495p.

Ehud Y. Shapiro. Algorithmic Program Debugging. MIT Press, Cambridge, Massachusetts, 1983.


Refbacks

  • There are currently no refbacks.


This site has been shifted to https://stmcomputers.stmjournals.com/