Contracts in the Wild: A Study of Java Programs (Artifact).

Jens Dietrich David J. Pearce Kamil Jezek Premek Brada

Published in: Dagstuhl Artifacts Ser. (2017)

Keyphrases

java programs
evolutionary algorithm
real time
artificial intelligence
computer systems
data processing
fine grained
test cases