Jeffrey C. Carver (Publications)

Assistant Professor

Journals (reverse chronological order)

  1. Kendall, R., Carver, J., Fisher, D., Henderson, D., Mark, A., Post, D., Rhoades, C. and Squires, S. "Development of a Weather Forecasting Code: A Case Study." To appear in IEEE Software, July/August 2008.

  2. Basili, V., Carver, J., Cruzes, D., Hochstein, L., Hollingsworth, J., Shull, F. and Zelkowitz, M. "Understanding the High Performance Computing Community: A Software Engineer's Perspective." To appear in IEEE Software, July/August 2008.

  3. Shull, F., Carver, J., Vegas, S., and Juristo, N. "The Role of Replications in Empirical Software Engineering." Accepted for publication in Empirical Software Engineering: An International Journal.

  4. He, L., Carver, J. and Vaughn, R. "Using Inspections to Teach Requirements Validation." CrossTalk: The Journal of Defense Software Engineering. Vol. 21, No. 1, Jan. 2008. p. 11-15.

  5. Carver, J. "Post-Workshop report for the Third International Workshop on Software Engineering for High Performance Computing Applications (SE-HPC07)." ACM Software Engineering Notes. Vol. 32, No. 5, Sept. 2007. p. 38-43.

  6. Carver, J., Shull, F. and Basili, V. "Can Observational Techniques Help Novices Overcome the Software Inspection Learning Curve? An Empirical Investigation. Empirical Software Engineering: An International Journal. Volume 11, Number 4, December 2006. p. 523-539.

  7. Carver, J., Shull, F. and Rus, I. " Finding and Fixing Problems Early: A Perspective-Based Approach to Requirements and Design Inspections." CrossTalk: The Journal of Defense Software Engineering. Vol. 19, No. 12 (December 2006). p. 25-28.

  8. Carver, J., Hochstein, L., Kendall, R., Nakamura, T. Zelkowitz, M., Basili, V. and Post, D. " Observations about Software Development for High End Computing. CTWatch Quarterly. November, 2006. p. 33-37. (Invited Paper).

  9. Hochstein, L., Nakamura, T., Basili, V., Asgari, S., Zelkowitz, M. Hollingsworth, J., Shull, F., Carver, J., Voelp, M., Zazworka, N., and Johnson, P. " Experiments to Understand HPC Time to Development. CTWatch Quarterly, November, 2006. p. 24-32. (Invited Paper)

  10. Maldonado, J., Carver, J., Shull, F., Fabbri, S., Doria, E., Martimiano, L., Mendonça, M., and Basili, V. "Perspective-Based Reading: A Replicated Experiment Focused on Individual Reviewer Effectiveness." Empirical Software Engineering: An International Journal. Volume 11, Number 1, March 2006. p. 119-142.

  11. Shull, F., Mendonça, M., Basili, V., Carver, J., Maldonado, J., Fabbri, S., Travassos, G., and Ferreira, M. " Knowledge-Sharing Issues in Experimental Software Engineering." Empirical Software Engineering: An International Journal. Volume 9, Number 1, March 2004.

  12. Carver, J. and Basili, V. " Identifying Implicit Process Variables To Support Future Empirical Work." Journal of the Brazilian Computer Society. November, 2003.


Refereed Conferences and Workshops (reverse chronological order)

  1. Walia, G. and Carver, J. "Evaluation of Capture- Recapture Models for Estimating the Abundance of Naturally-Occurring Defects." To appear in the Proceedings of the 2nd International Symposium on Empirical Software Engineering and Metrics. Oct. 9-10, 2008. Kaiserslaturn, Germany.

  2. Walia, G., Carver, J. and Naggapan, N. "The Effect of the Number of Inspectors on the Defect Estimates Produced by Capture-Recapture Models." To appear in the Proceedings of the 30th International Conference on Software Engineering. May 10-18, 2008. Leipzig, Germany.

  3. Carver, J. "SE-CSE 2008: The First International Workshop on Software Engineering for Computational Science and Engineering." To appear in the Proceedings of the 30th International Conference on Software Engineering. May 13, 2008. Leipzig, Germany.

  4. Mendoca, M., Maldonado, J., Oliveira, M., Carver, J., Fabbri, S., Shull, F., Travassos, G., Hohn, E., and Basili, V. "A Framework for Software Engineering Experimental Replications." To appear in the Proceedings of the 13th International Conference on Engineering Complex Computer Systems (ICECCS 2008). March 31 - April 4, 2008. Belfast, Northern Ireland.

  5. Walia, G., Carver, J. and Philip, T. "Requirement Error Abstraction and Classification: A Control Group Replicated Study." Proceedings of the 18th IEEE International Symposium on Software Reliability Engineering. November 5-9, 2007, Trollhättan, Sweden. p. 71-80.

  6. Williams, B. and Carver, J. " Characterizing Software Architecture Changes: An Initial Study." Proceedings of the First International Symposium on Empirical Software Engineering and Measurement. September 20-21, 2007. Madrid, Spain. p. 410-419.

  7. Lemon, K., Allen, E., Carver, J., and Bradshaw, G. " An Empirical Study of the Effects of Gestalt Principles on Diagram Understandability." Proceedings of the First International Symposium on Empirical Software Engineering and Measurement. September 20-21, 2007. Madrid, Spain. p. 156-165.

  8. Carver, J., Henderson, L., He, L., Hodges, J., and Reese, D. " Increased Retention of Early Computer Science and Software Engineering Students using Pair Programming." Proceedings of the 2007 Conference on Software Engineering Education and Training. Dublin. July 3-5, 2007. p. 115-122.

  9. Carver, J., Kendall, R., Squires, S. and Post, D. " Software Development Environments for Scientific and Engineering Software: A Series of Case Studies." Proceedings of the 29th International Conference on Software Engineering. Minneapolis, USA. May 23-25, 2007. p. 550-559.

  10. Carver, J." Third International Workshop on Software Engineering for High Performance Computing (HPC) Applications." Proceedings of the 29th International Conference on Software Engineering - Companion Volume. Minneapolis, USA. May 25, 2007. p. 147.

  11. Vaugnh, R. and Carver, J. "Experiences in n-fold Structured Walkthroughs of Requirements Documents." Canadian Air Force Software Engineering Symposium, Royal Military College of Canada. May 24-25, 2007

  12. Carver, J., Fisher II, M., and Rothermel, G. "An Empirical Evaluation of a Testing and Debugging Methodology for Excel." Proceedings of the 2006 International Symposium on Empirical Software Engineering (ISESE). Sept. 21-22. Rio de Janeiro, Brazil. p. 278-287.

  13. He, L. and Carver, J. "PBR vs. Checklist: A Replication in the N-Fold Inspection Context." Proceedings of the 2006 International Symposium on Empirical Software Engineering (ISESE). Sept. 21-22. Rio de Janeiro, Brazil. p. 95-104.

  14. Walia, G., Carver, J., and Philip, T. " Requirements Error Abstraction and Classification: An Empirical Study." Proceedings of the 2006 International Symposium on Empirical Software Engineering (ISESE). Sept. 21-22. Rio de Janeiro, Brazil. p. 336-345.

  15. Maldonado, J., Fabbri, S., Mendonca, M., Doria, E., Martimiano, L., Carver, J., Shull, F. and Basili, V. "Comparing Code Reading and Testing Criteria: A Replication of Experimental Studies." Proceedings of the 2006 International Symposium on Empirical Software Engineering (Short Papers Track). Sept. 21-22, 2006. Rio de Janeiro, Brazil. p.42-44.

  16. Lemon, K., Allen, E., Carver, J., and Bradshaw, G.. "Gestalt Principles Applied to Software Engineering Diagrams: A Preliminary Study." Proceedings of the 2006 International Symposium on Empirical Software Engineering (Short Papers Track). Sept. 21-22, 2006. Rio de Janeiro, Brazil. p. 48-50.

  17. Carver, J. and Henderson, L. "Viope as a Tool for Teaching Introductory Programming: An Empirical Investigation." Proceedings of 2006 Conference on Software Engineering Education and Training (CSEE&T), April 19-21, 2006. p. 9-16.

  18. Carver, J. and Krystle Lemon. "Architecture Reading Techniques: A Feasibility Study." In Proceedings of 2005 International Symposium on Empirical Software Engineering (Late Breaking Research Track). Nov. 17-18, 2005. Noosa Heads, Australia. p.17-20.

  19. Shull,F., Carver, J. , Hochstein, L., and Basili, V. "Empirical Study Design in the Area of High Performance Computing (HPC)." In Proceedings of 2005 International Symposium on Empirical Software Engineering (ISESE). Nov. 17-18, 2005. Noosa Heads, Australia.

  20. Hochstein, L., Carver, J., Shull, F., Asgari, S., Basili,V., Hollingsworth, J., and Zelkowitz, M. "Parallel Programmer Productivity: A Case Study of Novice Parallel Programmers." In Proceedings of SuperComputing 2005. (Awarded Best Paper By A Student Led Author)

  21. Hochstein, L., Basili, V., Zelkowitz, M., Hollingsworth, J., and Carver, J. "Combining self-reported and automatic data to improve effort measurement." In Proceedings of Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2005)

  22. Carver, J., Van Voorhis,J., and Basili, V. " Understanding the Impact of Assumptions on Experimental Validity." Proceedings of the 2004 ACM-IEEE International Symposium on Empirical Software Engineering (ISESE 2004). August 2004. p. 251-160.

  23. Carver, J. and Basili, V. "Identifying Implicit Process Variables To Support Future Empirical Work." Proceedings of the 17th Brazilian Symposium on Software Engineering (SBES 2003). October 2003. p. 5-18. (Received Best Paper Award)

  24. Carver, J., Shull, F., and Basili, V. "Observational Studies to Accelerate Process Experience in Classroom Studies: An Evaluation." Proceedings of 2003 ACM-IEEE International Symposium on Empirical Software Engineering (ISESE 2003). September, 2003. p.72-79.

  25. Carver, J., Jaccheri, L., Morasca, S., and Shull, F. "Issues Using Students in Empirical Studies in Software Engineering Education." Proceedings of 2003 International Symposium on Software Metrics (METRICS 2003). September, 2003. p. 239-249.

  26. Shull, F., Basili, V., Carver, J., Maldonado, J.C., Travassos, G.H., Mendonca, M., and Fabbri, S. "Replicating Software Engineering Experiments: Addressing the Tacit Knowledge Problem." In Proceedings of the 2002 International Symposium on Empirical Software Engineering, pp. 7-16. Nara, Japan, October 3-4 2002. (Awarded Best Paper of the Symposium)

  27. Shull, F., Carver, J., and Travassos, G. "An Empirical Methodology for Introducing Software Processes." In Proceedings of the Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna, Austria, Sept. 10-14,2001. p. 288-296.

  28. Travassos, G., Shull, F., and Carver, J. "A Family of Reading Techniques for OO Design Inspections." In Proceedings of WQS'2000 - Workshop Qualidade de Software, at the XIV Brazilian Symposium on Software Engineering. Joao Pessoa: Brazilian Computer Society, 2000. v.1. p.225-237.

  29. Travassos, G., Shull, F., and Carver, J. "Reading Techniques for OO Design Inspections" In Proc of the Twenty-fourth Annual Software Engineering Workshop, Goddard Space Flight Center, Greenbelt, MD, December 1999.

  30. Travassos, G., Shull,F., and Carver, J.. "Evolving a Process for Inspecting OO Designs." In Proc. of the Workshop on Software Quality, XIII Brazilian Symposium on Software Engineering Florianopolis, Curitiba, Brazil, October 1999. Florianópolis, Curitiba, Brazil, October 1999.


Book Chapters

  1. Carver, J., Jaccheri, L., Morasca, S., and Shull, F. "Using Empirical Studies during Software Courses." Lecture Notes on Computer Science, Eds. Reidar Conradi and Alf Inge Wang. Springer-Verlag Heidelberg, 2003.

  2. Shull, F., Carver, J., Travassos, G., Maldonado, J., Conradi, R., and Basili, V. "Replicated Studies: Building a Body of Knowledge about Software Reading Techniques." Lecture Notes on Empirical Software Engineering, Eds. Natalie Juristo and Ana Moreno. World Scientific, 2003.

  3. Travassos, G., Shull, F., and Carver, J. "Working with UML: A Software Design Process Based on Inspections for the Unified Modeling Language." Advances in Computers Book Series, vol. 54, p. 35-97. Academic Press, 2001.


Other Publications

  1. Williams, B., Carver, J., and Vaughn, R. "Change Risk Assessment: Understanding Risks Involved in Changing Software Requirements." 2006 International Conference on Software Engineering Research & Practice. June 29-29, Las Vegas, Nevada.

  2. Vaughn, R., and Carver, J. "The Importance of Experience with Industry in Software Engineering Education." Workshop on Best Practices in Software Engineering: The Role of Industry in Software Engineering Education and Training. Held at the 19th Conference on Software Engineering Education and Training. April 2006. Turtle Bay, Hawaii.

  3. Garcia, R., Carver, J. , Maldonado, J., Oliveira, M. "In-Virtuo Experimental Studies: An Approach Based on Genetic Algorithms." Empirical Software Engineering Latin American Workshop (ESELAW 2005). (Held at the Brazilian Symposium on Empirical Software Engineering).

  4. Asgari, S., Hochstein, L., Basili, V., Carver, J., Hollingsworth, J., Shull, F., Zelkowitz, M. "Generating Testable Hypotheses from Tacit Knowledge for High Productivity Computing." 2nd Workshop on Software Engineering and High Performance Computing (held at ICSE 2005).

  5. Carver, J., Asgari, S., Basili, V., Hochstein, L., Hollingsworth, J., Shull, F., and Zelkowitz, M. "High Productivity Computing Systems (HPCS): Empirical Studies on Development Time." Poster. In Proceedings: Volume II: Poster and Fast Abstract Sessions of the 2004 International Symposium on Empirical Software Engineering.  Redondo Beach, CA. August 2004.

  6. Carver, J. " The Impact of Background and Experience on Software Inspections." Empirical Software Engineering: An International Journal. 9(3):259-262. (Dissertation Abstract).

  7. Carver, J., Asgari, S., Basili, V., Hochstein, L., Hollingsworth, J., Shull, F., and Zelkowitz, M. "Studying Code Development for High Performance Computing: The HPCS Program." In Proceedings of the Workshop on Software Engineering and High Performance Computing Applications (held at ICSE 2004). Edinburgh, Scotland.

  8. Asgari, S., Basili, V., Carver, J., Hochstein, L., Hollingsworth, J., Shull, F., and Zelkowitz, M. "Challenges in Measuring HPCS Learner Productivity in an Age of Ubiquitous Computing." In Proceedings of the Workshop on Software Engineering and High Performance Computing Applications (held at ICSE 2004). Edinburgh, Scotland.


Technical Reports

  1. Walia, G. and Carver, J.. " Development of a Requirement Error Taxonomy as a Quality Improvement Approach: A Systematic Literature Review." Technical Report MSU-070404, Department of Computer Science and Engineering, Mississippi State University, April 4, 2007.

  2. Kendall, R., Post, D., Carver, J., Henderson, D. and Fisher, D. " A Proposed Taxonomy for Software Development Risks for High-Performance Computing (HPC) Scientific/Engineering Applications. Technical Note CMU/SEI-2006-TN-039. Software Engineering Institute, Carnegie Melon University. January, 2007.

  3. Williams, B. and Carver, J.. " Characterizing Changes to Assess Architectural Impact." Techical Report MSU-070115, Department of Comptuer Science and Engineering, Mississippi State University, January 15, 2007.

  4. Kendall, R., Post, D., Carver, J., and Squires, S. "Case Study of the Eagle Code Project." Los Alamos Technical Report, LA-UR-06-1092. 2006.

  5. Carver, J., Jaccheri, L., Morasca, S., and Shull, F. " Issues in Empirical Studies with Students." Technical Report MSU-060714, Department of Computer Science and Engineering, Mississippi State University, July 14, 2006.

  6. Kendall, R., Carver, J., Mark, A., Post, D., Squires, S., and Shaffer, D. "Case Study of the Hawk Code Project." Los Alamos Technical Report, LA-UR-05-9011. 2005.

  7. Carver, J. " Architecture Reading Techniques." Mississippi State University Department of Computer Science and Engineering Technical Report MSU-050525. May 25, 2005.

  8. Basili, V., Asgari, S., Carver, J., Hochstein, L., Hollingsworth, J., Shull, F., Zelkowitz, M. "A Pilot Study to Evaluate Development Effort for High Performance Computing." University of Maryland Technical Report CS-TR-4588. April 2004.

  9. Fabbri, S., Maldonado, J.D., Hohn, E.N., Martimiano, L.A.F., Mendonca, M., Shull, F., Carver, J., and Basili, V.R. "Data Analysis of the First Two PBR Replications in Readers Project." Technical Report TR-225, ICMC-USP, University of Sao Paulo, Sao Carlos, SP, Brazil.

  10. Carver, J., Van Voorhis, J., and Basili, "Investigating the Interaction Between Process Specificity and Software Development Experience." University of Maryland Technical Report CS-TR-4532. October 2003.

  11. Carver, J., Shull, F., and Basili, V. "Investigating the Effects of Process Experience on Inspection Effectiveness." University of Maryland Technical Report CS-TR-4442. March 2003.

  12. Travassos, G., Shull, F., Carver, J., and Basili, V.. "Reading Techniques for OO Design Inspections." University of Maryland Technical Report CS-TR-4353. April 2002. (Also available as Technical Report ES-575/02 of the Systems Engineering and Computer Science Program, COPPE, Federal University of Rio de Janeiro.)

  13. Conradi, J., Basili, V., Carver, J., Shull, F., and Travassos,G. "A Pragmatic Document Standard for an Experience Library: Roles, Documents, Contents and Structure." University of Maryland Technical Report CS-TR-4235. April 2001. (Also available as ISERN Technical Report ISERN-01-03)

  14. Shull, F., Travassos, G., Carver, J., and Basili,V. "Evolving a Set of Techniques for OO Inspections." University of Maryland Technical Report CS-TR-4070. October 1999.

Dissertation:  Jeff Carver. The Impact of Background and Experience on Software Inspections. April, 2003.
(Also available as University of Maryland Department of Computer Science Technical Report CS-TR-4476)

Last Updated on March 10, 2008 by Jeffrey Carver

Mississippi State University | James Worth Bagley College of Engineering | Department of Computer Science and Engineering
© Copyright 2008 Mississippi State University