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