7 search results - page 2 / 2 » Verifying the Concept of Union Slices on Java Programs |
ITICSE
2003
ACM
13 years 10 months ago
2003
ACM
Because the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it ...
IEE
2008
13 years 4 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...