The errors of tex

No abstract is available for this paper.

• Publication year

  1989

• Venue

  Software, Practice & Experience

• Publication date

  1989-07-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1002/spe.4380190702
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• TeX: The Program

  1986cited by this paper
• Optimal prepaging and font caching

  1985cited by this paper
• Software errors and complexity: an empirical investigation0

  1984cited by this paper
• Literate Programming

  1984cited by this paper
• Breaking paragraphs into lines

  1981cited by this paper
• The letter S

  1980cited by this paper
• A Model of Large Program Development

  1976cited by this paper
• An analysis of errors and their causes in system programs

  1975cited by this paper
• A system for typesetting mathematics

  1975cited by this paper

• Proxy-Based Programming: Making Programming more Accessible through Virtual, Physical and Social Embodiment

  2025cites this paper
• Decoding Debugging Instruction: A Systematic Literature Review of Debugging Interventions

  2024cites this paper
• RULER: Prebugging with Proxy-Based Programming

  2024cites this paper
• A study of common bug fix patterns in Rust

  2024cites this paper
• \topmark in output routines without \shipout

  2024cites this paper
• Reflections on \globaldefs

  2023cites this paper
• Reflections on \globaldefs in plain TEX

  2023influential citation
• Better Together? An Evaluation of AI-Supported Code Translation

  2022cites this paper
• Good Bug Hunting: Inspiring and Motivating Software Testing Novices

  2021cites this paper
• Experience in engineering of scientific software: The case of an optimization software for oil pipelines

  2020cites this paper
• Object Miners: Acquire, Capture and Replay Objects to Track Elusive Bugs

  2020cites this paper
• Novice programmers' faults & failures in GOAL programs: Empirical observations and lessons

  2020cites this paper
• Successful Engagement of Practitioners and Software Engineering Researchers: Evidence From 26 International Industry–Academia Collaborative Projects

  2020cites this paper
• Alignment of Teaching and Electronic Exams and Empirical Classification of Errors for an Introductory Programming Class

  2020cites this paper
• Militarizing red teaming : agile and scalable process for cyber red teaming using adaptive planning and execution framework

  2019influential citation
• Automatic Software Repair

  2018cites this paper
• Static Analysis of Android Secure Application Development Process with FindSecurityBugs

  2018cites this paper
• Towards an Understanding of the Causes of Difficulties in Debugging

  2018cites this paper
• A Three-Year Participant Observation of Software Startup Software Evolution

  2017influential citation
• Interactive sensitive data exposure detection through static analysis

  2017cites this paper
• A note on \linepenalty

  2017cites this paper
• Error detection and recovery in software development

  2016cites this paper
• Quantitative analysis of mass spectrometry proteomics data: Software for improved life science

  2016cites this paper
• Algorithm deployment platform

  2016cites this paper
• Lernziele für die Kompetenzentwicklung auf höheren Taxonomiestufen

  2015cites this paper
• Charting the API minefield using software telemetry data

  2015cites this paper
• An AST-Based Approach to Classifying Defects

  2015cites this paper
• MiSFIT: Mining Software Fault Information and Types

  2015cites this paper
• How computer programmers work : understanding software development in practise

  2015cites this paper
• Development of a Classification Scheme for Errors Observed in the Process of Computer Programming Education

  2015cites this paper
• Classifying defects in software maintenance to support decisions using hierarchical ODC

  2014cites this paper
• Accurate Extraction of Bug Fix Pattern Occurrences using Abstract Syntax Tree Analysis

  2014cites this paper
• Qualitative research methods in Software Engineering

  2014influential citation
• Novice programmers' faults & failures in GOAL programs

  2014cites this paper
• Extraction and Analysis of Knowledge for Automatic Software Repair

  2014cites this paper
• The Effect of Method Origin on Method Invocation Fault Frequency

  2014cites this paper
• Classificação e resolução de defeitos em manutenção de software utilizando ODC e histórico de soluções

  2014cites this paper
• Adaptive Bug Classification for CVE List using Bayesian Probabilistic Approach

  2013cites this paper
• Supporting secure programming in web applications through interactive static analysis

  2013cites this paper
• Detecting Dissimilar Classes of Source Code Defects

  2013influential citation
• Survey on Software Faults Injection in Java Applications

  2013cites this paper
• Formal methods for checking the consistency of biological models.

  2012cites this paper
• On the improvement of a fault classification scheme with implications for white-box testing

  2012cites this paper
• Comparative language fuzz testing: programming languages vs. fat fingers

  2012cites this paper
• Understanding and debugging concurrent programs through visualisation

  2012cites this paper
• Towards a Better Understanding of Testing if Conditionals

  2012cites this paper
• Lowering the Barrier to Applying Machine Learning

  2012cites this paper
• Idea: Interactive Support for Secure Software Development

  2011cites this paper
• ASIDE: IDE support for web application security

  2011cites this paper
• Understanding Software Engineering Through Qualitative Methods

  2011cites this paper
• On Test Design

  2011cites this paper
• The errors of Feynman and Hibbs

  2011cites this paper
• Factors Influencing Participant Satisfaction with Free/Libre and Open Source Software Projects

  2011cites this paper
• On the number and nature of faults found by random testing

  2011cites this paper
• Predicting the types and locations of faults introduced during an imperfect repair process and their impact on reliability

  2010cites this paper
• An Initial Characterization of Industrial Graphical User Interface Systems

  2009cites this paper
• Understanding students ’ errors in concurrent programming

  2009cites this paper
• Defining and Evaluating Test Suite Consolidation for Event Sequence-based Test Cases

  2009cites this paper
• Observable Runtime Behavior for Defects Indicated by Automated Static Analysis

  2009cites this paper
• Towards Interactivity for

  2009cites this paper
• Defining and Evaluating Test Suite Consolidation for Event Sequence-based Test Cases

  2009cites this paper
• Debugging: a review of the literature from an educational perspective

  2008cites this paper
• Estimation of Defects Based on Defect Decay Model: ED^{3}M

  2008cites this paper
• Strategies for Random Contract-Based Testing

  2008cites this paper
• Power laws in software

  2008cites this paper
• Aligning development tools with the way programmers think about code changes

  2007cites this paper
• Overview of the TEX historic archive

  2007cites this paper
• Research issues in software fault categorization

  2007cites this paper
• Overview of the T E X historic archive

  2007cites this paper
• Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware

  2007cites this paper
• 'Good' Organisational Reasons for 'Bad' Software Testing: An Ethnographic Study of Testing in a Small Software Company

  2007cites this paper
• 1 ASKING AND ANSWERING QUESTIONS ABOUT THE CAUSES OF SOFTWARE BEHAVIORS THESIS PROPOSAL

  2006cites this paper
• A Framework for Deriving Verification and Validation Strategies to Assess Software Security

  2006cites this paper
• Rumours and Errours

  2006cites this paper
• Prism: A Principle-Based Sequential Memory Model for Microsoft Native Code Platforms

  2006cites this paper
• Pragmatic Countermeasures for Implementation-related Vulnerabilities in Web Applications

  2006cites this paper
• Interpreting procedures from descriptive guidelines

  2006cites this paper
• Code Testing and Its Role in Teaching

  2006cites this paper
• A framework for deriving verification and validation strategies to assess software security

  2006cites this paper
• Classification of Programming Errors in Parallel Message Passing Systems

  2006cites this paper
• JavaDD: a Declarative Debugger for Java

  2006cites this paper
• The design of TEX and METAFONT: A retrospective

  2005cites this paper
• Transliteration of online handwritten phonetic Pitman's shorthand with the use of a Bayesian network

  2005cites this paper
• The design of T E Xa nd :A retrospective

  2005cites this paper
• Keynote Address: The design of T E Xa ndMETAFONT :Ar etrospective

  2005cites this paper
• Visualizing errors in object oriented programs

  2005cites this paper
• An Economic and Cultural Commentary

  2005cites this paper
• A framework and methodology for studying the causes of software errors in programming systems

  2005cites this paper
• Interactive visualization of object-oriented programs

  2004cites this paper
• Review Paper: The InterMed Approach to Sharable Computer-interpretable Guidelines: A Review

  2004cites this paper
• A Case for Interactive Source-to-Source Transformations

  2004cites this paper
• Debugging: from novice to expert

  2004cites this paper
• A software test process stochastic control model based on CMM characterization

  2004cites this paper
• iXj: interactive source-to-source transformations for java

  2004cites this paper
• Software release control using defect based quality estimation

  2004cites this paper
• Attack-class-based analysis of intrusion detection systems

  2004cites this paper
• Fault-based Testing of CORBA Component Software

  2004cites this paper
• The New C Standard An Economic and Cultural Commentary

  2004cites this paper
• Multilevel debugging of parallel message passing programs

  2003cites this paper
• System Testing Process Behavior Prediction at Sun Microsystems

  2003cites this paper