AP

Annibale Panichella

Authored

1 records found

Mutation testing is widely considered as a high-end test coverage criterion due to the vast number of mutants it generates. Although many efforts have been made to reduce the computational cost of mutation testing, in practice, the scalability issue remains. In this paper, we exp ...

Contributed

1 records found

Dependent Types and Conversion Checking

A literature survey on implementation techniques for type systems

While dependent types can allow programmers to verify properties of their programs, implementing a type checker for a dependent type theory is often difficult. This is due to the fact that, in the presence of dependent types, deciding the equality of types - conversion checking - ...