The paper QuickChecking Static Analysis Properties is accepted at ICST'15

2015.01.05 | Ann Eg Mølhave

Read the abstract

ICST'15 conference web site