Blar i Department of Informatics på emneord "testing"
Viser treff 1-1 av 1
-
Axiom-Based Transformations: Optimisation and Testing
(Peer reviewed; Journal article, 2009-10-10)Programmers typically have knowledge about properties of their programs that aren't explicitly expressed in the code properties that may be very useful for, e.g., compiler optimisation and automated testing. Although ...