Alysson Milanez

According to our database, Alysson Milanez authored at least 2 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Nonconformance between programs and contracts: a study on C#/code contracts open source systems.

Alysson Milanez, Bianca Lima, José Ferreira, Tiago Massoni

Proceedings of the Symposium on Applied Computing, 2017

2014

Enhancing conformance checking for contract-based programs.

Alysson Milanez, Tiago Massoni, Rohit Gheyi

Proceedings of the SPLASH'14, 2014