Skip to main navigation
Skip to search
Skip to main content
Sort by
Computer Science
Regression Test
100%
Experimental Result
66%
Speed-up
62%
State Space
59%
Open Source Project
53%
Open Source
52%
Test Generation
51%
Continuous Integration
46%
Fault Detection
36%
Software Development
36%
Programming Language
35%
Refactoring
34%
Correctness
34%
Data Structure
33%
Coverage Criterion
33%
model checker
32%
Software Testing
31%
Source Coding
27%
Model Checking
25%
Software Systems
25%
Software Evolution
25%
Reproducibility
24%
modeling language
24%
Symbolic Execution
24%
Bytecode
23%
Exhaustive Testing
23%
Constraint Solver
22%
Concurrency
22%
Case Study
21%
Network Protocols
21%
Mutation Operator
21%
Postcondition
20%
Parallel Application
20%
runtime verification
20%
Annotation
20%
Transitive Closure
19%
Compiler
19%
Software Engineering
19%
Program Execution
16%
Shared Memory System
16%
Multithreaded Program
16%
Structural Constraint
16%
Software Change
16%
Statement Coverage
15%
Test Requirement
15%
Thread Schedule
15%
Probability
15%
Search Space
15%
Python
15%
Software Developer
15%
Keyphrases
Flaky Tests
86%
Java
79%
Unit Testing
77%
Regression Test Selection
53%
Regression Testing
41%
Mutation Testing
41%
Java Program
38%
Automated Testing
34%
Test Input
32%
Test Generation
31%
Open Source Project
31%
Continuous Integration
31%
Korat
30%
State-space Exploration
29%
Test Execution
28%
Object-oriented Program
25%
Java PathFinder
25%
Systematic Testing
25%
Alloy Model
25%
Refactoring
23%
In Alloy
22%
Popular
21%
Object-oriented
21%
Regression Test Prioritization
21%
Test Failure
20%
Software Development
20%
Test Suite Reduction
20%
Runtime Verification
20%
Test Code
18%
Symbolic Execution
17%
Non-deterministic
17%
Refactoring Engine
17%
Python
16%
SAT Solver
16%
Code Changes
16%
Alloy Analyzer
16%
Model Checker
15%
Flakiness
15%
Order-dependent Test
15%
Testing Framework
14%
Programming Languages
14%
Relational Language
14%
Structural Constraints
14%
Network Protocols
14%
Selection Strategy
14%
Java Projects
13%
Order-dependent
13%
Test Case Prioritization
13%
Random Testing
13%
Runtime Overhead
13%