Using Test Oracles Generated from Program Documentation

No abstract is available for this paper.

• Publication year

  1998

• Venue

  IEEE Trans. Software Eng.

• Publication date

  1998-03-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/32.667877
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Specifying Software Requirements for Complex Systems: New Techniques and Their Application

  2001cited by this paper
• Tabular Representations in Relational Documents

  1997cited by this paper
• EVALUATING GENERALIZED TABULAR EXPRESSIONS IN SOFTWARE DOCUMENTATION

  1997influential reference
• A Practical Approach to Programming With Assertions

  1995cited by this paper
• Functional Documents for Computer Systems

  1995cited by this paper
• GENERATING A TEST ORACLE FROM PROGRAM DOCUMENTATION

  1995cited by this paper
• A logic for describing, not verifying, software

  1995cited by this paper
• Tablewise, a decision table tool

  1995cited by this paper
• Compilation of Z Specifications into C for Automatic Test Result Evaluation

  1995cited by this paper
• Improving Software Tests Using Z Specifications

  1995cited by this paper
• Towards a Formal Semantics of Parnas Tables

  1995cited by this paper
• Specifying and Testing Software Components using ADL

  1994cited by this paper
• Specifying and simulating the externally observable behavior of modules

  1994cited by this paper
• Precise Documentation of Well-Structured Programs

  1994cited by this paper
• Generating a test oracle from program documentation: work in progress

  1994cited by this paper
• Mathematical Description and Specification of Software

  1994cited by this paper
• Predicate Logic for Software Engineering

  1993cited by this paper
• Test template framework: a specification-based testing case study

  1993cited by this paper
• Specification-based test oracles for reactive systems

  1992cited by this paper
• The Core method for real-time requirements

  1992cited by this paper
• Tabular Representation of Relations

  1992influential reference
• Software Requirements Analysis for Real-Time Process-Control Systems

  1991cited by this paper
• Software testing based on formal specifications: a theory and a tool

  1991cited by this paper
• ANNA, a language for annotating Ada programs: reference manual

  1987cited by this paper
• Functional program testing and analysis

  1986cited by this paper
• Predicative programming Part I

  1984cited by this paper
• ANNA A Language for Annotating Ada Programs

  1984cited by this paper
• A generalized control structure and its formal definition

  1983cited by this paper
• A program testing assistant

  1982cited by this paper
• On Testing Non-Testable Programs

  1982cited by this paper
• Data Abstraction, Implementation, Specification, and Testing

  1981cited by this paper
• Automatic Software Test Drivers

  1978cited by this paper
• Testing Programs with the Aid of a Compiler

  1977cited by this paper

• Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles

  2025cites this paper
• Search-based Testing of Simulink Models with Requirements Tables

  2025cites this paper
• Do LLMs Generate Useful Test Oracles? An Empirical Study with an Unbiased Dataset

  2025cites this paper
• Pride: Prioritizing Documentation Effort Based on a PageRank-Like Algorithm and Simple Filtering Rules

  2023cites this paper
• Simulation-Driven Automated End-to-End Test and Oracle Inference

  2023cites this paper
• Automatic Detection of Interaction Errors

  2022cites this paper
• Finding Bugs with Specification-Based Testing is Easy!

  2021cites this paper
• Factorials Experiments, Covering Arrays, and Combinatorial Testing

  2021cites this paper
• An Empirical Validation of Oracle Improvement

  2021cites this paper
• Automating test oracles from restricted natural language agile requirements

  2020cites this paper
• Prioritizing documentation effort: Can we do better?

  2020cites this paper
• The role of formalism in system requirements (full version)

  2019cites this paper
• Formality in Software Requirements

  2019cites this paper
• Constructing Automated Test Oracle for Low Observable Software

  2019cites this paper
• Relational specification as a testing oracle

  2019cites this paper
• A System Identification Based Oracle for Control-CPS Software Fault Localization

  2019cites this paper
• Verification Coverage for Combining Test and Proof

  2018cites this paper
• Automating test oracles generation

  2018cites this paper
• Requirement-Based Testing - Extracting Logical Test Cases from Requirement Documents

  2018cites this paper
• Chapter Three - Emerging Software Testing Technologies

  2018cites this paper
• Oracle problem in software testing

  2017cites this paper
• Validating Converted Java Code via Symbolic Execution

  2017cites this paper
• A survey of the use of crowdsourcing in software engineering

  2017cites this paper
• Evaluation d'applications de paiement sur carte à puce. (Evaluation of payment applications on smart cards)

  2016cites this paper
• Test oracle assessment and improvement

  2016cites this paper
• Test Oracles and Test Script Generation in Combinatorial Testing

  2016cites this paper
• METRIC: METamorphic Relation Identification based on the Category-choice framework

  2016cites this paper
• Generation of Local and Expected Behaviors of a Smart Card Application to Detect Software Anomaly

  2015cites this paper
• POU-Oriented Unit Testing of IEC 61131-3 Control Software

  2015cites this paper
• Cost, benefits and quality of software development documentation: A systematic mapping

  2015cites this paper
• Impact of Arsenic Related Defects on Electronic Performance of ZrO 2 /GaAs: Density Functional Theory Calculations

  2015cites this paper
• Automated specification-based graphical user interface testing

  2015cites this paper
• First, Debug the Test Oracle

  2015cites this paper
• Automated Test Oracles: State of the Art, Taxonomies, and Trends

  2015cites this paper
• Automatic generation algorithm of expected results for testing of component-based software system

  2015cites this paper
• Automated Test Oracles: A Survey

  2015cites this paper
• The Oracle Problem in Software Testing: A Survey

  2015cites this paper
• A study of various automated test oracle methods

  2014cites this paper
• Generation of test oracles using neural network and decision tree model

  2014cites this paper
• LAKE: Using Log Files Recorded during Program Execution

  2014cites this paper
• Generating C + + Log File Analyzers

  2014cites this paper
• The proposal of a novel software testing framework

  2014influential citation
• Software health management with Bayesian networks

  2013cites this paper
• A Comprehensive Survey of Trends in Oracles for Software Testing

  2013cites this paper
• Using Test Oracles and Formal Specifications with Test-Driven Development

  2013cites this paper
• Using Log Files as Knowledge Bases

  2013cites this paper
• T ESTING O BJECT -O RIENTED I NDUSTRIAL S OFTWARE W ITHOUT P RECISE O RACLES OR R ESULTS

  2012cites this paper
• Model-based testing using visual contracts

  2012cites this paper
• WSR : Static Analysis

  2012cites this paper
• Validierung der funktionalen Äquivalenz konvertierter JAVA Programme durch einen dynamischen Source-Abgleich

  2012cites this paper
• Title Testing object-oriented industrial software without preciseoracles or results

  2012cites this paper
• GENERATING LOG FILE ANALYZERS

  2012cites this paper
• TACCLE tests an automated assembly system in which the expected outcomes cannot be precisely defined and the actual results cannot be directly observed

  2012cites this paper
• Behavioral interface specification languages

  2012cites this paper
• The use of mathematics in software quality assurance

  2012cites this paper
• Analysing monitoring and switching problems for adaptive systems

  2012cites this paper
• Black-box test case generation from TFM module interface specifications and usage statistics

  2012cites this paper
• WSR : Identifiers and Static Analysis

  2012cites this paper
• A study of test oracle for application interface testing of distributed system

  2012cites this paper
• Foundations for behavioral higher-order contracts

  2012cites this paper
• Artificial neural networks as multi-networks automated test oracle

  2012cites this paper
• Apoio à automatização de oráculos de teste para programas com interfaces gráficas

  2012cites this paper
• An automated framework for software test oracle

  2011cites this paper
• Software testing: more than a stage in the life cycle

  2011cites this paper
• Improving Object Oriented Software Contracts

  2011cites this paper
• A Comparison of Tabular Expression-Based Testing Strategies

  2011cites this paper
• An experimental assessment of module documentation-based testing

  2011cites this paper
• An Empirical Evaluation of Assertions as Oracles

  2011cites this paper
• Refactoring as Testability Transformation

  2011cites this paper
• Prueba del software: más que una fase en el ciclo de vida Software Testing: More than a Stage in the Life Cycle

  2011cites this paper
• Evolving a Test Oracle in Black-Box Testing

  2011cites this paper
• Test oracles associated with dynamical systems models

  2011cites this paper
• An empirical evaluation of the effectiveness of JML assertions as test oracles

  2010cites this paper
• Automating Java Program Testing Using OCL and AspectJ

  2010cites this paper
• Test-Driven Development with Oracles and Formal Specifications

  2010cites this paper
• Specification-based test oracles with JUnit

  2010cites this paper
• Finding failures from passed test cases: improving the pattern classification approach to the testing of mesh simplification programs

  2010cites this paper
• JMLUnit: The Next Generation

  2010cites this paper
• Defining the meaning of tabular mathematical expressions

  2010cites this paper
• Tool Support for Test-Driven Development Using Formal Specifications

  2010cites this paper
• Component architecture of model-based testing environment

  2010cites this paper
• Fault localization using a model checker

  2010cites this paper
• Metamorphic testing techniques to detect defects in applications without test oracles

  2010cites this paper
• Automatic Detection of Defects in Applications without Test Oracles

  2010cites this paper
• Tool support for testing Java generics

  2010cites this paper
• Checking Design Constraints at Run-time Using OCL and AspectJ

  2009cites this paper
• Behavioral Interface Speci cation Languages

  2009cites this paper
• Behavioral Interface Specification Languages

  2009cites this paper
• A Verification-Centric Software Development Process for Java

  2009cites this paper
• Software Error Detection through Testing and Analysis

  2009cites this paper
• Document based rational software development

  2009cites this paper
• Predication of Program Behaviours for Functionality Testing

  2009cites this paper
• Oracles et qualification du test de transformations de modèles

  2008cites this paper
• Module documentation based testing using Grey-Box approach

  2008cites this paper
• Do test cases really matter? An experiment comparing test case based and exploratory testing

  2008cites this paper
• Using Dynamic Symbolic Execution to Improve Deductive Verification

  2008cites this paper
• Fault Propagation in Tabular Expression-Based Specifications

  2008cites this paper
• Analysing the requirements for monitoring and switching : a problem-oriented approach

  2008cites this paper
• Detecting Errors in Spreadsheets

  2008cites this paper
• Integrating Random Testing with Constraints for Improved Efficiency and Diversity

  2008cites this paper