Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 1-7 of 7 (Search time: 0.002 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2001Node coarsening calculi for program slicingHarman, M; Hierons, RM; Danicic, S; Howroyd, J; Laurence, MR; Fox, C
2001Backward conditioning: A new program specialisation technique and its application to program comprehensionFox, C; Harman, M; Hierons, RM; Danicic, S
2000ConSIT: A conditioned program slicerDanicic, S; Fox, C; Harman, M; Hierons, RM
2002VADA: A transformation-based system for variable dependence analysisHarman, M; Fox, C; Hierons, RM; Hu, L; Danicic, S; Wegener, J
2001Pre/post conditioned slicingHarman, M; Hierons, RM; Fox, C; Danicic, S; Howroyd, J
1999Program simplification as a means of approximating undecidable propositionsHarman, M; Fox, C; Hierons, RM; Binkley, D; Danicic, S
2002Evolutionary testing supported by slicing and transformationHarman, M; Hu, L; Hierons, RM; Fox, C; Danicic, S; Wegener, J; Sthamer, H; Baresel, A