Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Elbaum, Sebastian Add to Alert Profile  
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. The authors...
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 increase specifi...
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 source develop...
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 tests, given...
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 improve test sui...
Sep 15 2004  

Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy