Abstraction-guided Test Generation: A Case Study

No abstract is available for this paper.

• Publication year

  2003

• Venue

  Unknown venue

• Publication date

  2003-11-01

• Fields of study

  Computer Science, Engineering

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Behavioral consistency of C and Verilog programs using bounded model checking

  2003influential reference
• 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
• Bebop: A Symbolic Model Checker for Boolean Programs

  2000influential reference
• Finding bugs with a constraint solver

  2000cited by this paper
• A static analyzer for finding dynamic programming errors

  2000cited by this paper
• Generating test data for branch coverage

  2000cited 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
• On random and partition testing

  1998cited by this paper
• Construction of Abstract State Graphs with PVS

  1997cited by this paper
• Principles and methods of testing finite state machines-a survey

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

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

  1992cited by this paper
• An empirical study of the reliability of UNIX utilities

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

  1989cited by this paper
• A report on random testing

  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
• Toward a theory of test data selection

  1975cited by this paper

• A Methodology for Applying Concolic Testing

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

  2016cites this paper
• Software testing with code-based test generators: data and lessons learned from a case study with an industrial software component

  2013cites this paper
• A Framework for Guided Test Case Generation in Constraint Logic Programming

  2012cites this paper
• A heuristic algorithm for reducing system-level test vectors with high branch coverage

  2011cites this paper
• Efficient Directionless Weakest Preconditions

  2011cites this paper
• COMBINATORIAL SCHEMA AND THEIR COHOMOLOGY; APPLICATIONS IN NATURAL AND ORGANIZATIONAL SYSTEMS.

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

  2011cites this paper
• Efficient Directionless Weakest Preconditions (CMU-CyLab-10-002)

  2010cites this paper
• Bang for the buck: Improvising and scheduling verification engines for effective resource utilization

  2009cites this paper
• Combining over- and under-approximating program analyses for automatic software testing

  2008cites this paper
• DSD-Crasher: A hybrid analysis tool for bug finding

  2008cites this paper
• Hybrid Concolic Testing

  2007cites this paper
• Predictive testing: amplifying the effectiveness of software testing

  2007cites this paper
• DSD-Crasher: a hybrid analysis tool for bug finding

  2006cites this paper
• Concolic Testing of Sequential and Concurrent Programs

  2006cites this paper
• Scalable Automated Methods for Dynamic Program Analysis

  2006cites this paper
• Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking

  2005cites this paper
• A Black-Box Tracing Technique to Identify Causes of Least-Privilege Incompatibilities

  2005cites this paper
• CUTE: a concolic unit testing engine for C

  2005cites this paper
• Counterexample Guided Abstraction Refinement Via Program Execution

  2004cites this paper
• Test input generation with java PathFinder

  2004cites this paper