134
Voted
TSE
2011
14 years 9 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...