Marlon Calvo

According to our database, Marlon Calvo authored at least 2 papers between 2021 and 2022.

Collaborative distances:

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

2022

Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts.

Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, David R. Cok

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2021

More Reliable Test Suites for Dynamic APR by using Counterexamples.

Amirfarhad Nilizadeh, Marlon Calvo, Gary T. Leavens, Xuan-Bach Dinh Le

Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021