A Comparison of Network Level Fault Injection with Code Insertion
(2005)
Presentation / Conference Contribution
Looker, N., Munro, M., & Xu, J. (2005, July). A Comparison of Network Level Fault Injection with Code Insertion. Presented at International Computer Software and Applications Conference, (COMPSAC, Edinburgh, UK
Outputs (35)
A Requirements traceability to Support Change Impact Analysis (2005)
Journal Article
Ibrahim, S., Munro, M., & Deraman, A. (2005). A Requirements traceability to Support Change Impact Analysis. Asian journal of information technology, 4(4), 329-338
Simulating Errors in Web Services. (2004)
Journal Article
Looker, N., Munro, M., & Xu, J. (2004). Simulating Errors in Web Services. International journal of simulation: systems, science & technology, 5(5), 29-37
Understanding service-oriented software (2004)
Journal Article
Gold, N., Knight, C., Mohan, A., & Munro, M. (2004). Understanding service-oriented software. IEEE Software, 21(2), 71-77. https://doi.org/10.1109/ms.2004.1270766Service-oriented software is being hailed as the next revolutionary approach to software development. Service orientation allows organizations to rapidly and dynamically form new software applications to meet changing business needs, thus alleviating... Read More about Understanding service-oriented software.
Syntax-directed amorphous slicing (2004)
Journal Article
Harman, M., Hu, L., Munro, M., Zhang, X., Binkley, D., Danicic, S., …Ouarbya, L. (2004). Syntax-directed amorphous slicing. Automated Software Engineering, 11(1), 27-61. https://doi.org/10.1023/b%3Aause.0000008667.37988.11
Moral dominance relations for program comprehension (2003)
Journal Article
Shaw, S., Goldstein, M., Munro, M., & Burd, E. (2003). Moral dominance relations for program comprehension. IEEE Transactions on Software Engineering, 29(9), 851-863. https://doi.org/10.1109/tse.2003.1232289Dominance trees have been used as a means for reengineering legacy systems into potential reuse candidates. The dominance relation suggests the reuse candidates which are identified by strongly directly dominated subtrees. We review the approach and... Read More about Moral dominance relations for program comprehension.
Weakest precondition for general recursive programs formalized in coq (2002)
Presentation / Conference Contribution
Zhang, X., Munro, M., Harman, M., & Hu, L. (2002, January). Weakest precondition for general recursive programs formalized in coq. Presented at 15th International Conference on Theorem Proving in Higher Order Logics : TPHOLs., Hampton, VAThis paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is a deep embedding using the computational power intrinsic to type theory. Since C... Read More about Weakest precondition for general recursive programs formalized in coq.
Generalized partition testing via Bayes linear methods (2001)
Journal Article
Coolen, F., Goldstein, M., & Munro, M. (2001). Generalized partition testing via Bayes linear methods. Information and Software Technology, 43(13), 783-793. https://doi.org/10.1016/s0950-5849%2801%2900185-9This paper explores the use of Bayes linear methods related to partition testing for software. If a partition of the input domain has been defined, the method works without the assumption of homogeneous (revealing) subdomains, and also includes the p... Read More about Generalized partition testing via Bayes linear methods.
An improved method of selecting regression tests for C++ programs (2001)
Journal Article
Jang, Y., Munro, M., & Kwon, Y. (2001). An improved method of selecting regression tests for C++ programs. Journal of software maintenance and evolution, 13(5), 331-350. https://doi.org/10.1002/smr.236
Supporting program comprehension using dominance trees (2000)
Journal Article
Burd, E., & Munro, M. (2000). Supporting program comprehension using dominance trees. Annals of Software Engineering, 9(1-2), 193-213. https://doi.org/10.1023/a%3A1018928825530This paper will address how program comprehension can be aided within software maintenance through the use of high level representations of code, specifically the use of dominance trees. The paper proposes that dominance trees should be used as a sta... Read More about Supporting program comprehension using dominance trees.