JFIX: semantics-based repair of Java programs via symbolic PathFinder.

Xuan-Bach Dinh Le Duc-Hiep Chu David Lo Claire Le Goues Willem Visser

Published in: ISSTA (2017)

Keyphrases

java programs
multi threaded
software components
java language
java virtual machine
high level
test suite
test case generation
case study
relational databases
open source
distributed systems
software development
computer systems
building blocks