832 search results - page 97 / 167 » Mutation of Java Objects |
APVIS
2003
13 years 11 months ago
2003
This paper presents an experimental evaluation of a program visualisation tool. Computer science students in an introductory object oriented programming course in Java were asked ...
INTERACT
2003
13 years 11 months ago
2003
: The graphic representation of 3D objects in a 2D space (e.g. sheet of paper, blackboard) is often a tedious task particularly when the used forms are complex. If in addition, suc...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
The Vienna Component Framework (VCF) supports the interoperability and composability of components across different component models, a facility that is lacking in existing compon...
SCAM
2005
IEEE
14 years 3 months ago
2005
IEEE
Long-running, heavily multi-threaded, Java server applications make stringent demands of garbage collector (GC) performance. Synchronisation of all application threads before garb...
ECBS
2003
IEEE
14 years 3 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...