Automatic Error Correction Of Java Programs
ChapterFormal Methods for Industrial Critical Systems Volume 6371 of the series Lecture Notes in Computer Science pp 67-81Automatic java program corrector Error Correction of Java ProgramsChristian KernAffiliated withTechnische Universität München, Javier EsparzaAffiliated withTechnische Universität hamming code error correction program in java München Buy this eBook * Final gross prices may vary according to local VAT. Get Access Abstract java code corrector We present a technique for automatically detecting and correcting software bugs. The programmer is required to define a catalog of hotspots, syntactic constructs she considered to be error prone (e.g. i < N), together with suitable alternatives (e.g. i < (N + 1) and i < (N - 1)). Given a faulty program, search techniques are then applied to find a combination of alternatives yielding a correct program. The technique is implemented on top of the Java Pathfinder Framework. Page %P Close Plain text Look Inside Chapter Metrics Provided by Bookmetrix Reference tools Export citation EndNote (.ENW) JabRef (.BIB) Mendeley (.BIB) Papers (.RIS) Zotero (.RIS) BibTeX (.BIB) Add to Papers Other actions About this Book Reprints and Permissions Share Share this content on Facebook Share this content on Twitter Share this content on LinkedIn Supplementary Material (0) References (15) References1.Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: localizing errors in counterexample traces. In: POPL, pp. 97–105 (2003)2.Ball, T., Rajamani, S.K.: The slam toolkit. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 260–264. Springer, Heidelberg (2001)CrossRef3.Clarke, E.M., Kroening, D., Lerda, F.: A tool for checking ansi-c programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 168–176. Springer, Heidelberg (2004)CrossRef4.Cleve, H., Zeller, A.: Locating causes of program failures. In: Roman, G.-C., Griswold, W.G., Nuseibeh, B. (eds.) ICSE, pp. 342–351. ACM, New York (2005)5.Griesmayer, A., Staber, S., Bloem, R.: Automated fault localization for c programs. Electr. Notes Theor. Comput. Sci. 174(4), 95–111 (2007)CrossRef6.Groce, A., Chaki, S., Kroeni
the 15th international conference on Formal methods for industrial critical systems Pages 67-81 Springer-Verlag Berlin, Heidelberg ©2010 tableofcontents ISBN:3-642-15897-8 978-3-642-15897-1 2010 Article Bibliometrics ·Downloads (6 Weeks): n/a ·Downloads (12 Months): n/a ·Downloads (cumulative): n/a ·Citation Count: 0 Recent authors with related interests Concepts in this article powered by Concepts inAutomatic error correction of java programs Java (programming language) Java is a programming language originally developed by James Gosling at Sun Microsystems (which has since merged into http://link.springer.com/chapter/10.1007%2F978-3-642-15898-8_5 Oracle Corporation) and released in 1995 as a core component of Sun Microsystems' Java platform. The language derives much of its syntax from C and C++ but has a simpler object model and fewer low-level facilities. Java applications are typically compiled to bytecode that can run on any Java Virtual Machine (JVM) regardless http://dl.acm.org/citation.cfm?id=1894605&preflayout=tabs of computer architecture. morefromWikipedia Error detection and correction In information theory and coding theory with applications in computer science and telecommunication, error detection and correction or error control are techniques that enable reliable delivery of digital data over unreliable communication channels. Many communication channels are subject to channel noise, and thus errors may be introduced during transmission from the source to a receiver. morefromWikipedia Forward error correction In telecommunication, information theory, and coding theory, forward error correction (FEC) or channel coding is a technique used for controlling errors in data transmission over unreliable or noisy communication channels. The central idea is the sender encodes their message in a redundant way by using an error-correcting code (ECC). The American mathematician Richard Hamming pioneered this field in the 1940s and invented the first error-correcting code in 1950: the Hamming (7,4) code. morefromWikipedia Software bug A software bug is the common term used to describe an error, flaw, mistake,
here for a quick overview of the site Help Center Detailed answers to any questions you might have Meta Discuss the workings and policies of this site About Us Learn more about http://stackoverflow.com/questions/13971728/program-to-check-syntax-errors-and-automatically-provide-solutions Stack Overflow the company Business Learn more about hiring developers or posting ads with http://www.academia.edu/15475153/Automatic_Error_Correction_of_Java_Programs us Stack Overflow Questions Jobs Documentation Tags Users Badges Ask Question Page Not Found This question was removed from Stack Overflow for reasons of moderation. Please refer to the help center for possible explanations why a question might be removed. Here are some similar questions that might be relevant: Syntax (probably BNF) spec of VBA ? error correction How exactly does java compilation take place? EBNF declaration syntax in c program “threadsafe” modifier in JAVA? What is a good tool for testing BNF grammars? Is it possible to have a java program in eclipse to compile other languages than java? Why does Java switch on contiguous ints appear to run faster with added cases? Compiler Programs .. i have some error in it Simple programming language in EBNF form automatic error correction Functional programming syntax in Java Try a Google Search Try searching for similar questions Browse our recent questions Browse our popular tags If you feel something is missing that should be here, contact us. about us tour help blog chat data legal privacy policy work here advertising info mobile contact us feedback Technology Life / Arts Culture / Recreation Science Other Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX Programmers Unix & Linux Ask Different (Apple) WordPress Development Geographic Information Systems Electrical Engineering Android Enthusiasts Information Security Database Administrators Drupal Answers SharePoint User Experience Mathematica Salesforce ExpressionEngine® Answers Cryptography Code Review Magento Signal Processing Raspberry Pi Programming Puzzles & Code Golf more (7) Photography Science Fiction & Fantasy Graphic Design Movies & TV Music: Practice & Theory Seasoned Advice (cooking) Home Improvement Personal Finance & Money Academia more (8) English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Christianity English Language Learners Japanese Language Arqade (gaming) Bicycles Role-playing Games Anime & Manga more (18) Mathematics Cross Validated (stats) Theoretical Computer Science Physics MathOverflow Chemistry Biology Computer Science Philosophy more (3) Stack Apps Meta Stack Exchange Area 51 Stack Overflow Careers site design / logo © 2016 Stack Exchange Inc; user
of Java ProgramsAuthorsJavier Esparza + 1Javier EsparzaChristian KernViewsconnect to downloadGetpdfREAD PAPERAutomatic Error Correction of Java ProgramsDownloadAutomatic Error Correction of Java ProgramsAuthorsJavier Esparza + 1Javier EsparzaChristian KernLoading PreviewSorry, preview is currently unavailable. You can download the paper by clicking the button above.GET pdf ×CloseLog InLog InwithFacebookLog InwithGoogleorEmail:Password:Remember me on this computerorreset passwordEnter the email address you signed up with and we'll email you a reset link.Need an account?Click here to sign up Job BoardAboutPressBlogPeoplePapersTermsPrivacyCopyrightWe're Hiring!Help Center Find new research papers in:PhysicsChemistryBiologyHealth SciencesEcologyEarth SciencesCognitive ScienceMathematicsComputer Science Academia © 2016