Unsupervised Probabilistic Debugging

Authors

  • Ankush Rai Department of Applied Science, CRIAD Laboratories, Bhilai, Chhattisgarh, India

DOI:

https://doi.org/10.37591/rtpl.v1i3.278

Keywords:

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

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.

Author Biography

  • Ankush Rai, Department of Applied Science, CRIAD Laboratories, Bhilai, Chhattisgarh, India

    Hi, I am Ankush Rai currently involved into extensive Research in Interdisciplinary fields to
    integrate Computer Science, Neurobiology & Computational Anthropology into one fabric of
    "Autonomous Data Processors". Additionally I've 3 years of consultancy experience in
    software development. Assessing throughput of technological problems and building
    comprehensive solution with applicability is my driving force.

    Educational Qualification:
    PhD : Computer Science
    University- CSVTU
    Thesis Title : Mathematical Proof of P=NP : A Major Step in Theoretical Computer Science
    Characteristics: Heuristic, Pragmatic & Polymath
    Area of Expertise: Artificial Intelligence, Mathematical Modelling, Computation & Data
    Modelling, Computer Simulation, Computer Network &
    Multidisciplinary approach for research design and conduct.
    Postdoctoral Fellow: MIT (Massachusetts Institute of Technology, Boston, USA) for 2
    years.

    Hobbies: Graphite Sketching, writing-poetry, playing piano, contemplating & admiring talents of others.

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.

Downloads

Published

2016-01-07

Issue

Vol. 1 No. 3 (2014)

Section

Research Articles

License

Declaration and Copyright Transfer Form

(to be completed by authors)

I/ We, the undersigned author(s) of the submitted manuscript, hereby declare, that the above manuscript which is submitted for publication in the STM Journals(s), is not published already in part or whole (except in the form of abstract) in any journal or magazine for private or public circulation, and, is not under consideration of publication elsewhere.

  • I/We will not withdraw the manuscript after 1 week of submission as I have read the Author Guidelines and will adhere to the guidelines.
  • I/We Author(s ) have niether given nor will give this manuscript elsewhere for publishing after submitting in STM Journal(s).
  • I/ We have read the original version of the manuscript and am/ are responsible for the thought contents embodied in it. The work dealt in the manuscript is my/ our own, and my/ our individual contribution to this work is significant enough to qualify for authorship.
  •  I/We also agree to the authorship of the article in the following order:

Author’s name                                    

 

1. ________________

2. ________________

3. ________________

4. ________________

 

We  Author(s) tick this box and would request you to consider it as our signature as we agree to the terms of this Copyright Notice, which will apply to this submission if and when it is published by this journal.