A Theory of Predicate-Complete Test Coverage and Generation

No abstract is available for this paper.

• Publication year

  2004

• Venue

  Formal Methods for Components and Objects

• Publication date

  2004-11-05

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/11561163_1
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Temporal Logic of Nested Calls and Returns

  2004cited by this paper
• Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004

  2004cited by this paper
• Generating tests from counterexamples

  2004cited by this paper
• Analysis of Recursive Game Graphs Using Data Flow Equations

  2004cited by this paper
• Three-valued abstractions of games: uncertainty, but with precision

  2004cited by this paper
• Monotonic Abstraction-Refinement for CTL

  2004cited by this paper
• Behavioral consistency of C and Verilog programs using bounded model checking

  2003cited by this paper
• Reasoning about Abstract Open Systems with Generalized Module Checking

  2003cited by this paper
• Improving test suites via operational abstraction

  2003cited by this paper
• On the Expressiveness of 3-Valued Models

  2002cited by this paper
• The SLAM project: debugging system software via static analysis

  2002cited by this paper
• Korat: automated testing based on Java predicates

  2002cited by this paper
• Automatic predicate abstraction of C programs

  2001cited by this paper
• Bigraphical Reactive Systems

  2001cited by this paper
• Abstraction-Based Model Checking Using Modal Transition Systems

  2001cited by this paper
• Software–Practice and Experience

  2000cited by this paper
• Communicating and Mobile Systems: the π-calculus,

  2000cited by this paper
• Making abstract interpretations complete

  2000cited by this paper
• Bebop: A Symbolic Model Checker for Boolean Programs

  2000cited by this paper
• Finding bugs with a constraint solver

  2000cited by this paper
• Communicating and mobile systems - the Pi-calculus

  1999cited by this paper
• Model Checking Partial State Spaces with 3-Valued Temporal Logics

  1999cited by this paper
• Automated test data generation using an iterative relaxation method

  1998cited by this paper
• Automatic test data generation using constraint solving techniques

  1998cited by this paper
• Theory of Fault-Based Predicate Testing for Computer Programs

  1996cited by this paper
• Test data generation and feasible path analysis

  1994cited by this paper
• Predicate-based test generation for computer programs

  1993cited by this paper
• Dynamic method for software test data generation

  1992cited by this paper
• Reducing the effects of infeasible paths in branch testing

  1989cited by this paper
• The Science of Programming

  1981cited by this paper
• A System to Generate Test Data and Symbolically Execute Programs

  1976cited by this paper
• On the Automated Generation of Program Test Data

  1976cited by this paper
• Reliability of the Path Analysis Testing Strategy

  1976cited by this paper
• SELECT—a formal system for testing and debugging programs by symbolic execution

  1975cited by this paper
• Control-flow analysis

  year unknowncited by this paper

• On Extending Incorrectness Logic with Backwards Reasoning

  2025cites this paper
• Low-Level Reachability Analysis Based on Formal Logic

  2023cites this paper
• Assessing Effectiveness of Test Suites: What Do We Know and What Should We Do?

  2023cites this paper
• A Measure of Semantic Coverage

  2022cites this paper
• Test suite effectiveness metric evaluation: what do we know and what should we do?

  2022cites this paper
• Defect Forecasting by Specification Mining Using Code Quality Metrics

  2020cites this paper
• Program Synthesis for Programmers

  2019cites this paper
• An integration test coverage metric for Java programs

  2019cites this paper
• Efficient Symbolic Execution of Concurrent Software

  2019cites this paper
• SYMAC: Symbolic Execution Augmented with Concurrent Coverage Criteria

  2019cites this paper
• An experimental comparison of edge, edge-pair, and prime path criteria

  2018cites this paper
• Under-Approximation Generation Driven by Relevance Predicates and Variants

  2018cites this paper
• Generating Tests by Example

  2018cites this paper
• Test Generation from Event System Abstractions to Cover Their States and Transitions

  2018cites this paper
• Tests and Proofs

  2018cites this paper
• Automated Testing Techniques for Event-Driven and Dynamically Typed Software Applications

  2018cites this paper
• Title : Analyzing test completeness for dynamic languages

  2018cites this paper
• Towards Building Efficient Error Detectors for Improving System Resilience

  2017cites this paper
• Multi-Point Stride Coverage: A New Genre Of Test Coverage Criteria

  2017cites this paper
• Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?

  2017cites this paper
• Automatic model learning and its applications in malware detection

  2017cites this paper
• Approximating Event System Abstractions by Covering Their States and Transitions

  2017cites this paper
• Functional Requirements-Based Automated Testing for Avionics

  2017cites this paper
• Analyzing test completeness for dynamic languages

  2016cites this paper
• Bidirectional Symbolic Analysis for Effective Branch Testing

  2016cites this paper
• Tri-modal under-approximation for test generation

  2016influential citation
• AN ENVIRONMENT FOR NON -DUPLICATE TEST GENERATION FOR WEB BASED APPLICATION

  2015cites this paper
• A S TUDY OF F ORMULATION OF S OFTWARE T EST M ETRICS F OR I NTERNET B ASED A PPLICATIONS

  2015cites this paper
• Incremental test case generation using bounded model checking: an application to automatic rating

  2015cites this paper
• Enhancing path-oriented test data generation using adaptive random testing techniques

  2015cites this paper
• Contribution à la vérification de programmes C par combinaison de tests et de preuves. (Contribution to software verification combining tests and proofs)

  2015cites this paper
• Assertion guided symbolic execution of multithreaded programs

  2015cites this paper
• TLV: abstraction through testing, learning, and validation

  2015cites this paper
• Tri-modal under-approximation of event systems for test generation

  2015influential citation
• Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites

  2015cites this paper
• PBCOV: a property-based coverage criterion

  2014influential citation
• Mutation Testing of Functional Programming Languages

  2014cites this paper
• Code coverage for suite evaluation by developers

  2014cites this paper
• FUSED : A Low-cost Online Soft-Error Detector

  2014cites this paper
• Help, help, i'm being suppressed! The significance of suppressors in software testing

  2013influential citation
• Leveraging Light-Weight Analyses to Aid Software Maintenance

  2013cites this paper
• An Empirical Study of Randomized Unit Tests using Nighthawk System

  2013cites this paper
• Towards Formal Approaches to System Resilience

  2013cites this paper
• Comparing Multi-Point Stride Coverage and dataflow coverage

  2013cites this paper
• Behind the scenes in SANTE: a combination of static and dynamic analyses

  2013cites this paper
• Comparing non-adequate test suites using coverage criteria

  2013influential citation
• Measuring Code Quality to Improve Specification Mining

  2012cites this paper
• Lightweight Automated Testing with Adaptation-Based Programming

  2012cites this paper
• Combining Software Model Checking and Test Case Generation

  2012cites this paper
• Swarm testing

  2012cites this paper
• Testing Container Classes: Random or Systematic?

  2011influential citation
• B model slicing and predicate abstraction to generate tests

  2011cites this paper
• Contributions à la génération de tests à base de contraintes. (Contributions to Constraint-Based Testing)

  2011cites this paper
• A Conformance Testing Relation for Symbolic Timed Automata

  2011cites this paper
• Classification de menaces d'erreurs par analyse statique, simplification syntaxique et test structurel de programmes. (Classification of errors threats by static analysis, program sclicing and structural testing of programs)

  2011cites this paper
• Enhancing structural software coverage by incrementally computing branch executability

  2011cites this paper
• Test Generation Using Symbolic Animation of Models

  2011cites this paper
• Genetic Algorithms for Randomized Unit Testing

  2011cites this paper
• Association of Under-Approximation Techniques for Generating Tests from Models

  2011cites this paper
• How did you specify your test suite

  2010cites this paper
• Exploring Hybrid Dynamic and Static Techniques for Software Verification

  2010cites this paper
• Associer des techniques de preuve et de résolution de contraintes pour la construction d'abstractions

  2010influential citation
• Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests

  2010cites this paper
• Combining Static Analysis and Test Generation for C Program Debugging

  2010cites this paper
• An Introduction to Test Specification in FQL

  2010cites this paper
• Specification Mining with Few False Positives

  2009cites this paper
• A Precise Specification Framework for White Box Program Testing

  2009cites this paper
• Automatic Test Data Generation for C Programs

  2009cites this paper
• Slope Testing for Activity Diagrams and Safety Critical Software

  2009cites this paper
• Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-Mutations

  2009cites this paper
• Symbolic Model-based Test Selection

  2009cites this paper
• Mutation-Based Test Case Generation for Simulink Models

  2009cites this paper
• Model-Based Generation of Test-Cases for Embedded Systems

  2009cites this paper
• Symbolic execution with abstraction

  2009influential citation
• Interpreting a Successful Testing Process: Risk and Actual Coverage

  2009cites this paper
• Directed random testing

  2009influential citation
• The Complexity of Coverage

  2008cites this paper
• Approximations of state spaces reduced by partial order reduction

  2008cites this paper
• Evaluating and predicting actual test coverage

  2008cites this paper
• Query-Driven Program Testing

  2008cites this paper
• Using a Genetic Algorithm to Control Randomized Unit Testing

  2008cites this paper
• Combining unit-level symbolic execution and system-level concrete execution for testing nasa software

  2008cites this paper
• Dynamic inference of likely data preconditions over predicates by tree learning

  2008cites this paper
• Exploiting structure for scalable software verification

  2008cites this paper
• Program Model Checking: A Practitioner's Guide

  2008cites this paper
• Creating Correct Network Protocols

  2008cites this paper
• Contract-based verification and test case generation for open systems

  2007cites this paper
• Transition predicate abstraction and fair termination

  2007cites this paper
• Technical Report 1112 Coverage Maximization Using Dynamic Taint Tracing

  2007cites this paper
• Hybrid testing and verification techniques for a cognitive radio system

  2007cites this paper
• Coverage Maximization Using Dynamic Taint Tracing

  2007cites this paper
• Employing decision procedures for verification of heap-manipulating programs

  2007cites this paper
• Better Under-Approximation of Programs by Hiding Variables

  2007cites this paper
• Nighthawk: a two-level genetic-random unit test data generator

  2007cites this paper
• Theories for Model-based Testing: Real-time and Coverage

  2007influential citation
• Leaping Loops in the Presence of Abstraction

  2007cites this paper
• Finding Termination and Time Improvement in Predicate Abstraction with Under-Approximation and Abstract Matching

  2007cites this paper
• Feedback-Directed Random Test Generation

  2007cites this paper
• Using Contracts and Boolean Queries to Improve the Quality of Automatic Test Generation

  2007cites this paper
• Finding Termination and Time Improvement in Predicate Abstraction with Under-approximation and Abstract Matching Abstract Finding Termination and Time Improvement in Predicate Abstraction with Under-approximation and Abstract Matching

  2007cites this paper