A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder.

Kyle Storey Eric Mercer Pavel Parízek

Published in: ACM SIGSOFT Softw. Eng. Notes (2019)

Keyphrases

dynamically changing
object oriented
programming language
partial order reduction
model checking
case study
databases
control system
knowledge base
data sets
open source
source code
dynamic environments
database design
artificial intelligence
inference rules
neural network