The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase program errors (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1985-2001 (17) 2002-2006 (15) 2007-2014 (13)
Publication types (Num. hits)
article(5) inproceedings(40)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 37 occurrences of 35 keywords

Results
Found 45 publication records. Showing 45 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
33Rong Chen, Franz Wotawa Diagnosing Program Errors with Light-Weighted Specifications. Search on Bibsonomy IEA/AIE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Samik Basu 0001, Diptikalyan Saha, Scott A. Smolka Localizing Program Errors for Cimple Debugging. Search on Bibsonomy FORTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Robert Cartwright, Mike Fagan Soft typing (with retrospective) Search on Bibsonomy Best of PLDI The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
17Marisa A. Sanchez, Juan Carlos Augusto Testing an Implementation of a Temporal Logic Language. Search on Bibsonomy SCCC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF temporal logic language, language implementation testing, Temporal Prolog, Hilbert model, formal specification, logic programming, temporal logic, temporal logic, PROLOG, program testing, specification-based testing, inference rules, axioms, program errors
16Rong Chen, Franz Wotawa An Object Store Model for Diagnosing Java Programs. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho 0003 Error-Correcting Source Code. Search on Bibsonomy CP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
15Fei Pu Assumption-based Reasoning with Constraints for Diagnosing Program Errors. Search on Bibsonomy J. Comput. The full citation details ... 2014 DBLP  BibTeX  RDF
15Rong Chen 0003, Yaqing Liu, Zhichun Jia, Jian Gao 0007 Isolating and Understanding Program Errors Using Probabilistic Dispute Model. Search on Bibsonomy COMPSAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
15Martin C. Rinard Technical perspective - Patching program errors. Search on Bibsonomy Commun. ACM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Fei Pu, Yan Zhang Localizing Program Errors via Slicing and Reasoning. Search on Bibsonomy HASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15John C. Knight, Paul Ammann An Experimental Evaluation of Simple Methods for Seeding Program Errors. Search on Bibsonomy ICSE The full citation details ... 1985 DBLP  BibTeX  RDF
14Hon Fung Li, Eslam Al Maghayreh, Dhrubajyoti Goswami Detecting Atomicity Errors in Message Passing Programs. Search on Bibsonomy PDCAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
14Rong Chen, Daniel Köb, Franz Wotawa Diagnosing Java Programs with Static Abstractions of Data Structures. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2004 DBLP  DOI  BibTeX  RDF fault localization, model-based diagnosis, Automatic reasoning
13Hongseok Yang Automatic Verification of Heap-Manipulating Programs Using Separation Logic. Search on Bibsonomy CSR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
13Yannis Smaragdakis, Christoph Csallner Combining Static and Dynamic Reasoning for Bug Detection. Search on Bibsonomy TAP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11Thomas Ball, Rupak Majumdar, Todd D. Millstein, Sriram K. Rajamani Automatic Predicate Abstraction of C Programs. Search on Bibsonomy PLDI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF C
10D. Y. Cheng, J. T. Deutsch, Robert W. Dutton 'Defensive programming' in the rapid development of a parallel scientific program. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
10Nahid Shahmehri, Peter Fritzson Algorithmic Debugging for Imperative Languages with Side-Effects (Abstract). Search on Bibsonomy CC The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
10Hoon-Joon Kouh, Weon-Hee Yoo Automated Debugging in Java Programs Using HDM. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
10Dawson R. Engler, David Yu Chen, Andy Chou Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. Search on Bibsonomy SOSP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
9Oscar R. Hernandez, Chunhua Liao, Barbara M. Chapman A Tool to Display Array Access Patterns in OpenMP Programs. Search on Bibsonomy PARA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
9Ben Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan Bug isolation via remote program sampling. Search on Bibsonomy PLDI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF bug isolation, feature selection, logistic regression, assertions, random sampling, statistical debugging
9Cristiano Calcagno, Peter W. O'Hearn On Garbage and Program Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
9Raimondas Lencevicius, Urs Hölzle, Ambuj K. Singh Dynamic Query-Based Debugging. Search on Bibsonomy ECOOP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
9Andrew K. Wright, Robert Cartwright A Practical Soft Type System for Scheme. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF soft typing, SCHEME, run-time checks
9Wenwey Hseush, Gail E. Kaiser Modeling Concurrency in Parallel Debugging. Search on Bibsonomy PPoPP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF DEBUG
8Jeeva Paudel, Christopher Dutchyn Modularizing error recovery. Search on Bibsonomy ICSM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
8Hao Cai, Andy J. Wellings Towards a High Integrity Real-Time Java Virtual Machine. Search on Bibsonomy OTM Workshops The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
8James Eagan, Mary Jean Harrold, James A. Jones, John T. Stasko Technical Note: Visually Encoding Program Test Information to Find Faults in Software. Search on Bibsonomy INFOVIS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF circular/radial displays, overview and detail, animation, debugging, fault localization, focus+context, hierarchy visualizations
7Aslan Askarov, Andrei Sabelfeld Catch me if you can: permissive yet secure error handling. Search on Bibsonomy PLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF exception handling, security type system
7Kun Wang, Wuwei Shen Improving the Accuracy of UML Class Model Recovery. Search on Bibsonomy COMPSAC (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
7Jason V. Davis, Jungwoo Ha, Christopher J. Rossbach, Hany E. Ramadan, Emmett Witchel Cost-Sensitive Decision Tree Learning for Forensic Classification. Search on Bibsonomy ECML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
7Peter Bunus, Peter Fritzson Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models. Search on Bibsonomy ASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
7Hongwei Xi Unifying object-oriented programming with typed functional programming. Search on Bibsonomy ASIA-PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF DML, object-oriented, dependent types
7Hongwei Xi Dead Code Elimination through Dependent Types. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
7Tim A. Wagner, Susan L. Graham Incremental Analysis of real Programming Languages. Search on Bibsonomy PLDI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
7Lisa J. Burnell, Scott E. Talbot Incorporating Probabilistic Reasoning in a Reactive Program Debugging System. Search on Bibsonomy IEEE Expert The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
7Diane Corney, K. John Gough Type Test Elimination Using Typeflow Analysis. Search on Bibsonomy Programming Languages and System Architectures The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
5Dana N. Xu, Simon L. Peyton Jones, Koen Claessen Static contract checking for Haskell. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF contract satisfaction, static contract checking
5Bryan Chadwick, Karl J. Lieberherr A type system for functional traversal-based aspects. Search on Bibsonomy FOAL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF adaptive programming, functional aspects, traversals, type soundness
5Will Archer, Philip Alexander Levis, John Regehr Interface contracts for TinyOS. Search on Bibsonomy IPSN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF sensor networks, validation, automated testing, TinyOS, design by contract
5Dana N. Xu Extended static checking for haskell. Search on Bibsonomy Haskell The full citation details ... 2006 DBLP  DOI  BibTeX  RDF counterexample guided unrolling, pre/postcondition, symbolic simplification
5Dengping Zhu, Hongwei Xi Safe Programming with Pointers Through Stateful Views. Search on Bibsonomy PADL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
5Walter Maydl Design Accompanying Analysis of Component-Based Embedded Software. Search on Bibsonomy CBSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
5Amiram Hayardeny, Shachar Fienblit, Eitan Farchi Concurrent and Distributed Desk Checking. Search on Bibsonomy IPDPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #45 of 45 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license