Search for Author All Reviews
	Hierons, Robert M.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Decidability and complexity for quiescent consistency Dongol B., Hierons R.  LICS 2016 (Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, NY, Jul 5-8, 2016) 116-125, 2016.  Type: Proceedings Quiescent consistency is a correctness constraint for concurrent objects that attempts to improve concurrent-execution performance by accepting a broader range of possible operation sequences than do, for example, linearizability or se...... Mar 1 2017     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     Verdict functions in testing with a fault domain or test hypotheses Hierons R. ACM Transactions on Software Engineering and Methodology 18(4): 1-19, 2009.  Type: Article State-based testing is used when both the state of the system and the external outputs from the system are important to the notion of correctness. For example, if the system to be tested is a finite stack, it might be important to know...... Jan 4 2010
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy