Efficient Allocation of Verification Resources using Revision History Information.

Jos Augusto Miranda Nacif, Thiago S. F. Silva, Andra Iabrudi Tavares, Antnio Otvio Fernandes, Claudionor Jos Nunes Coelho Jr.

Browse the full DDECS paper archive.