A Divide & Conquer Approach to Testing Concurrent Java Programs with JPF and Maude.

Canh Minh Do Kazuhiro Ogata

Published in: SOFL+MSVL (2019)

Keyphrases

java programs
test case generation
test suite
multi threaded
test cases
software components
software testing
operating system
java virtual machine
software engineering
real time
query language
relational databases
training data
web services
java language
information systems