Konstantinos (Kostis) Sagonas

Registered user since Sun 11 Nov 2018

Name: Konstantinos (Kostis) Sagonas

Country: Sweden

Affiliation: Uppsala University

Research interests: Software Technology, Programming Languages, Testing and Verification, Security

Contributions

HCVS 2019	Invited Speaker in Invited Speakers within the HCVS-track Author of Invited Talk: Concolic testing of higher-order functional languages within the HCVS-track
Show activities from other conferences