Alysson Milanez

icon indicating a website link https://sites.google.com/site/alyssonfilgueira

icon company Federal Rural University of the Semi-Arid region (UFERSA) icon location Pau dos Ferros, RN icon location Professor at UFERSA. PhD of Computer Science (UFCG). My research interests are Contract-Based Programs, Software Engineering and Testing.

Results 1 issues of Alysson Milanez

Report from ContractOk tool execution under DotNetExtensionsImproved

Hi developer of DotNetExtensionsImproved, I have used this unit as input for a conformance checking tool called: ContractOk - https://github.com/alyssonfm/contractok, and ContractOk was able to detect some nonconformances between source...