Login / Signup
Witness validation and stepwise testification across software verifiers.
Dirk Beyer
Matthias Dangl
Daniel Dietsch
Matthias Heizmann
Andreas Stahlbauer
Published in:
ESEC/SIGSOFT FSE (2015)
Keyphrases
</>
software tools
software development
real time
software package
software platform
commercial software
data flow
software architecture
software systems
test cases
source code
website
databases
development process
evolutionary algorithm
multimedia
database