Bisimulation Through Probabilistic Testing

·1991·DOI
Engineering and Technology
Computational and Interdisciplinary Sciences
Reliability Engineering and Analysis
Software Testing Methods

Role in the Field

Neutralin Engineering and Technology
Neutralin Computational and Interdisciplinary Sciences
Neutralin Reliability Engineering and Analysis
Neutralin Software Testing Methods

Abstract

Citations

750

Year

1991

PageRank

3.9 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers

Defects4J: A Database Of Existing Faults To Enable Controlled Testing Studies For Java Programs
·2014·806 citations
An Analysis And Survey Of The Development Of Mutation Testing
·2011·1,138 citations
Supporting Controlled Experimentation With Testing Techniques: An Infrastructure And Its Potential Impact
·2005·878 citations
Search-based Software Test Data Generation: A Survey
·2004·892 citations
Bounds Testing Approaches To The Analysis Of Level Relationships
·2001·10,822 citations
Prioritizing Test Cases For Regression Testing
·2001·975 citations
Software Unit Test Coverage And Adequacy
·1997·791 citations
Principles And Methods Of Testing Finite State Machines-A Survey
·1996·854 citations
Selecting Software Test Data Using Data Flow Information
·1985·680 citations
Symbolic Execution And Program Testing
·1976·2,001 citations