Search for Author All Reviews
	Harman, Mark     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 7 reviews       ORBS: language-independent program slicing Binkley D., Gold N., Harman M., Islam S., Krinke J., Yoo S.  FSE 2014 (Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, Hong Kong, China, Nov 16-21, 2014) 109-120, 2014.  Type: Proceedings Binkley et al. introduce a novel dynamic slicing technique called observation-based slicing (ORBS). This new technique has a very interesting property: it is language independent, and thus it is able to slice multi-language systems.... Apr 15 2015     Exact scalable sensitivity analysis for the next release problem Harman M., Krinke J., Medina-Bulo I., Palomo-Lozano F., Ren J., Yoo S. ACM Transactions on Software Engineering and Methodology 23(2): 1-31, 2014.  Type: Article The next release problem (NRP) is part of the search-based software engineering (SBSE) paradigm. SBSE studies algorithms that find solutions to software developers’ problems....... Jan 28 2015     Coherent clusters in source code Islam S., Krinke J., Binkley D., Harman M. Journal of Systems and Software 881-24, 2014.  Type: Article A cluster is a collection of program statements, each member of which depends on all the other members. (One of the ways a statement can depend on another statement is when it uses a variable set by the other statement.) This paper des...... May 14 2014     Amorphous slicing of extended finite state machines Androutsopoulos K., Clark D., Harman M., Hierons R., Li Z., Tratt L. IEEE Transactions on Software Engineering 39(7): 892-909, 2013.  Type: Article Slicing is commonly used in software engineering as a program analysis tool, but has been less studied as a method for analyzing extended finite state machines (EFSMs). The authors of this paper discuss the difficulties involved with s...... Oct 29 2013     Regression test suite prioritization using system models Tahat L., Korel B., Harman M., Ural H. Software Testing, Verification & Reliability 22(7): 481-506, 2012.  Type: Article The use of system models for guiding the prioritization of regression test suites is examined in depth. In particular, this paper extends recent work on the use of extended finite-state machine (EFSM) models as a tool for predicting wh...... Mar 5 2013     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy