Keyphrases
Java
100%
Flaky Tests
89%
Unit Testing
82%
Regression Test Selection
67%
Mutation Testing
65%
Regression Testing
56%
Test Input
49%
Java Program
49%
Automated Testing
47%
State-space Exploration
46%
Test Case Generation
45%
Test Suite Reduction
38%
Korat
38%
Test Execution
34%
In Alloy
34%
Alloy Model
33%
Continuous Integration
32%
Refactoring
31%
Open Source Project
31%
Object-oriented Program
31%
Java Projects
30%
Java PathFinder
29%
Popular
27%
Systematic Testing
24%
Software Testing
24%
Coverage Criteria
23%
Model Checker
23%
Code Changes
22%
Alloy Analyzer
22%
Software Development
21%
Programmer
21%
Test Case Prioritization
20%
Object-oriented
20%
Programming Languages
20%
Communication Protocol
20%
Actor System
19%
Declarative Model
19%
Runtime Verification
19%
Test Selection
19%
Parallel Applications
19%
Symbolic Execution
19%
First-order
19%
Test Failure
18%
Order-dependent Test
18%
Test Code
18%
Splashing
18%
Team Formation
17%
Non-deterministic
17%
J-Sim
16%
SAT Solver
16%
Computer Science
Regression Test
90%
Experimental Result
71%
Speed-up
59%
Open Source Project
58%
State Space
57%
Test Generation
56%
Open Source
51%
Continuous Integration
45%
Software Development
43%
Oriented Program
38%
Data Structure
36%
Fault Detection
36%
Refactoring
33%
Coverage Criterion
32%
Computer Hardware
32%
Programming Language
32%
model checker
31%
Reproducibility
30%
Software Testing
29%
Model Checking
28%
Software Systems
24%
Software Evolution
24%
And-States
24%
modeling language
23%
Symbolic Execution
23%
Bytecode
22%
Postcondition
22%
Constraint Solver
21%
Concurrency
21%
Mutation Operator
21%
Network Protocols
20%
Parallel Application
19%
Automatic Generation
19%
runtime verification
19%
Java Virtual Machines
19%
Annotation
19%
Case Study
19%
Transitive Closure
19%
Software Developer
17%
Software Engineering
17%
Program Execution
16%
Shared Memory System
16%
Precondition
16%
Multithreaded Program
16%
Exhaustive Testing
16%
Structural Constraint
16%
Software Change
15%
Statement Coverage
15%
Test Requirement
15%
Thread Schedule
15%
