Search for Author All Reviews
	Elbaum, Sebastian     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 5 reviews       On the techniques we create, the tools we build, and their misalignments: a study of KLEE Rizzi E., Elbaum S., Dwyer M.  ICSE 2016 (Proceedings of the 38th International Conference on Software Engineering, Austin, TX, May 14-22, 2016) 132-143, 2016.  Type: Proceedings Software maintenance research seems to gets no respect and it is a minor miracle that the academic publish-or-perish system produced the data in this paper. This data indicates that ignoring maintenance distorts some academic research....... Dec 14 2016     Cascading verification: an integrated method for domain-specific model checking Zervoudakis F., Rosenblum D., Elbaum S., Finkelstein A.  ESEC/FSE 2013 (Proceedings of the 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Saint Petersburg, Russia, Aug 18-26, 2013) 400-410, 2013.  Type: Proceedings Model checking is used to verify behavior in system models, and Zervoudakis et al. present cascading verification, a novel technique for checking domain-specific models. In particular, formal knowledge of the domain can be used to incr...... Oct 10 2013     Quality assurance under the open source development model Zhao L., Elbaum S. Journal of Systems and Software 66(1): 65-75, 2003.  Type: Article Zhao and Elbaum seek to quantify a number of the software quality assurance activities used in the development of open source (OS) software, in an attempt to either support or debunk some of the claims made by the proponents of open so...... May 4 2005     On test suite composition and cost-effective regression testing Rothermel G., Elbaum S., Malishevsky A., Kallakuri P., Qiu X. ACM Transactions on Software Engineering and Methodology 13(3): 277-331, 2004.  Type: Article Relative beginners to the software development field should read this paper. Regression testing is still quite expensive in terms of resource use. The recent emphasis on test-driven development and agile methods makes it easier to run ...... Jan 12 2005     An empirical study of profiling strategies for released software and their impact on testing activities Elbaum S., Hardojo M.  Software testing and analysis (Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis, Boston, Massachusetts, USA, Jul 11-14, 2004) 65-75, 2004.  Type: Proceedings With so many potential users of software packages linked by high-speed networking, it is now feasible to obtain profiling information from a potentially huge number of user sessions. Such information could be used, for example, to impr...... Sep 15 2004
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy