Login / Signup
Alysson Milanez
ORCID
Publication Activity (10 Years)
Years Active: 2014-2017
Publications (10 Years): 1
Top Topics
Computer Programs
Experimental Study
Moral Hazard
Intermediate Level
Top Venues
SPLASH (Companion Volume)
SAC
</>
Publications
</>
Alysson Milanez
,
Bianca Lima
,
José Ferreira
,
Tiago Massoni
Nonconformance between programs and contracts: a study on C#/code contracts open source systems.
SAC
(2017)
Alysson Milanez
,
Tiago Massoni
,
Rohit Gheyi
Enhancing conformance checking for contract-based programs.
SPLASH (Companion Volume)
(2014)