Browsing by Author Fox, CJ
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) |
---|---|---|
2005 | Branch-coverage testability transformation for unstructured programs | Hierons, RM; Harman, M; Fox, CJ |
2005 | ConSUS: A light-weight program conditioner | Danicic, S; Daoudi, M; Fox, CJ; Harman, M; Hierons, RM; Howroyd, J; Ourabya, L; Ward, M |
2005 | Static program slicing algorithms are minimal for free liberal program schemas | Danicic, S; Fox, CJ; Harman, M; Hierons, RM; Howroyd, J; Laurence, MR |