Colorado State University Computer Science Department

Selected Publications

James M. Bieman

Currently under revision - adding links to electronic manuscripts. Last update 23 October 2015

Copyright Notice: Your use of any posted manuscripts must be consistent with copyright "fair use'' provisions.


Book

N. Fenton and J. Bieman. Software Metrics: A Rigorous and Practical Approach, Third Edition, CRC Press, 2014. Publishers website, Amazon link, Barnes & Noble link.

Also see editorials in published in the Software Quality Journal.

Research Publications

2016

  1. F. Assiri and J. Bieman. Fault localization for automated program repair: effectiveness, performance, repair correctness. The Software Quality Journal. Accepted Manuscript. Published Online First, DOI 10.1007/s11219-016-9312-z, March 2016.

2015

  1. U. Kanewala, J. Bieman, and Asa Ben-Hur. Predicting Metamorphic Relations for Testing Scientific Software: A Machine Learning Approach Using Graph Kernels, Software Testing Verification and Reliability, in press 2015. Early View published online in Wiley Online Library, Accepted manuscript (preprint).

  2. F. Assiri and J. Bieman. The impact of search algorithms in automated program repair, Proc. The 2015 Int. Conf. on Soft Computing and Software Engineering (SCSE 2015), pp. 65-72, March 2015. Published manuscript.

2014

  1. C. Wilcox, M.M. Strout, and J. Bieman. An optimization-based approach to lookup table program transformations. Journal of Software: Evolution and Process, 26(6), pp. 533-551, 2014. Preprint, Wiley Online Library.

  2. F. Assiri and J. Bieman. Fault Localization for Automated Program Repair: Effectiveness and Performance, submitted to Software Testing Verification and Reliability, June 2014. Submitted manuscript (preprint).

  3. U. Kanewala and J. Bieman. Testing Scientific Software: A Systematic Literature Review. Information and Software Technology, 56(10), pp. 1219-1232, Oct. 2014. Accepted Author Manuscript, Final published version.

  4. F.Y. Assiri and J. Bieman. An Assessment of the Quality of Automated Program Operator Repair. Proc. IEEE Int. Conference on Software Testing, Verification, and Validation (ICST), pp. 273-282, 2014. Preprint.

  5. F.Y. Assiri and J. Bieman. Towards Improved APR Techniques and Tools. Poster presentation at the Rocky Mountain Celebration of Women in Computing (RMCWiC 2014), Best Poster Award, October, 2014.

2013

  1. U. Kanewala and J. Bieman. Using Machine Learning Techniques to Detect Metamorphic Relations for Programs without Test Oracles. Proc. IEEE Int. Symposium on Software Reliability Engineering (ISSRE), pp. 1-10, 2013. Preprint.

  2. C. Izurieta and J. Bieman. A Multiple Case Study of design pattern decay, grime, and rot in evolving software systems. Software Quality Journal, 21(2):289-323, June 2013. Published Online First.

  3. U. Kanewala and J. Bieman. Techniques for Testing Scientific Programs Without an Oracle. Proc. ICSE Int. Workshop on Software Engineering for Computational Science and Engineering (SE-CSE), pp. 48-57, May 2013. Preprint.

  4. S. Lozano-Fuentes, F. Wedyan, E. Hernandez-Garcia, D. Sadhu, S. Ghosh, J. Bieman, D. Tep-Chel, J. Garcia-Rejon, and L. Eisen. Cell Phone-Based System (Chaak) for Surveillance of Imatures of Dengue Virus Mosquito Vectors. Journal of Medical Entomology, 50(4):879-889, 2013. Posted on BioOne

2012

  1. M. Mortensen, S. Ghosh, and J. Bieman. Aspect-Oriented Refactoring of Legacy Applications: An Evaluation. IEEE Trans. Software Engineering, 38(1):118-140, January/February 2012. Preprint.

  2. C. Wilcox and M.M. Strout and J. Bieman. Optimizing Expression Selection for Lookup Table Program Transformation. Proc. 12th IEEE Int. Working Conference on Source Code Analysis and Manipulation (SCAM), pp. 84-93, 2012. Preprint.

  3. R. France, J. Bieman, S. Mandalaparty, B. Cheng, and A. Jensen. Repository for Model Driven Development (ReMoDD). Proc. 34th Int. Conf. Software Engineering (ICSE), pp. 1471-1472, 2012 (Posters and Informal Tools Demonstrations). Preprint

  4. S. Lozano-Fuentes, S. Ghosh, J. Bieman, D. Sadhu, L. Eisen, E. Hernandez-Garcia, J. Garcia-Rejon, F. Wedyan, D. Tep-Chel. Using Cell Phones for Mosquito Vector Surveillance and Control. Proc. 24th Int. Conf. Software Engineering and Knowledge Engineering (SEKE 2012), 2012. Preprint.

2011

  1. C. Wilcox, M.M. Strout, J. Bieman. Tool Support for Software Lookup Table Optimization. Scientific Programming, 19(4):213-229, 2011. Public access manuscript at PubMed Central.

  2. C. Wilcox, M.M. Strout, J. Bieman. Mesa:Automatic Generation of Lookup Table Optimizations. Proc. ICSE Int. Workshop on Multicore Software Engineering, 2011. Preprint.

2009

  1. I Chung and J. Bieman. Generating input data structures for automated program testing. Journal of Software Testing, Verification, and Reliability, 19(1):3-36, March 2009. Preprint.

  2. M. Woodside, D.C. Petriu, D.B. Petriu, J. Xu, T. Israr, G. Georg, R. France, J. Bieman, S.H. Houmb, J. Jurjens. Performance analysis of security aspects by weaving scenarios from UML Models. Journal of Systems and Software, Vol. 82, pp. 56-74, 2009. Preprint.

  3. F. Wedyan and D. Alrumny and J. Bieman. The Effectiveness of Automated Static Analysis Tools for Fault Detection and Refactoring Prediction. Proc. Int. Conf. Software Testing Verification and Validation (ICST 2009), pp. 141-150, 2009. Preprint.

2008

  1. C. Izurieta and J. Bieman. Testing Consequences of Grime Buildup in Object Oriented Design Patterns. Proc. Int. Conf. Software Testing, Verification, and Validation (ICST 2008), pp. 171-179, 2008. Preprint.

  2. M. Mortensen, S. Ghosh, and J. Bieman. A test driven approach for aspectualizing legacy software using mock systems, Information and Software Technology, 50:7-8(621-640), June 2008. Preprint.

2007

  1. C. Izurieta and J. Bieman. How software designs decay: a pilot study of pattern evolution. Proc. First Symp. Empirical Software Engineering and Measurement, pp. 459-461, 2007. Preprint.

  2. Dorina Petriu, M. Woodside, Dorin Petriu, J. Xu, T. Israr, G. Georg, R. France, J. Bieman, S. H. Houmb, J. Jurjens. Performance Analysis of Security Aspects in UML Models. Proc. Sixth Int. Workshop on Software Performance (WOSP2007), pp. 91-102, 2007. Preprint.

  3. I. Chung and J. Bieman. Automated test data generation using a relational approach. Proc. 6th Int. Conf. on Applications and Principles of Information Science (APIS 2007), pp. 547-550, 2007. Preprint.

2006

  1. Y.R. Reddy, S. Ghosh, R. France, G. Straw, J. Bieman, N. McEachen, E. Song, G. Georg. Directives for composing aspect-oriented design class models. Trans. Aspect-Oriented Software Development, 1(1):75--105, LNCS 3880, 2006. Preprint.

  2. M. Mortensen, S. Ghosh, and J. Bieman. Testing during refactoring: adding aspects to legacy systems. Proc. Int. Symp. Software Reliability Engineering (ISSRE 06), pp. 221-230, 2006. Preprint.

  3. C. Izurieta and J. Bieman. The evolution of FreeBSD and Linux. Proc. ACM/IEEE Int. Symp. Empirical Software Engineering (ISESE 2006). pp. 204-211, 2006. Preprint.

  4. J. Bieman and H. Wang. Design pattern coupling, change proneness, and change coupling: a pilot study. Technical Report, 2006.

2005

  1. T. Dinh-Trong and J. Bieman. The FreeBSD project: A replication case study of open source development. IEEE Trans. Software Engineering, 31(6):481--494, June 2005. Preprint.

  2. S.H. Houmb, G. Georg, R. France, J. Bieman, J. Jurjens. Cost-benefit trade-off analysis using BBN for aspect-oriented risk-driven development. Proc. IEEE 10th Int. Conf. Engineering of Complex Computer Systems (ICECCS 2005), pp. 195--204, 2005. Preprint.

  3. S.H. Houmb, G. Georg, R. France, R. Reddy, and J. Bieman. Predicting availability of systems using BBN in aspect-oriented risk-driven development. Proc. Symp. on Risk Management and Cyber-Informatics (RMCI 2005), to appear, 2005. Preprint.

2004

  1. T. Dinh-Trong and J. Bieman. Open source software development: a case study of FreeBSD. Proc. Tenth Int. Software Metrics Symposium (Metrics 2004), pp. 96--105, 2004. Preprint.

  2. G. Straw, G. Georg, S. Ghosh, R. France, and J. Bieman. Model composition directives. Proc. UML 2004, pp. 84--97, 2004. Preprint.

  3. D. Matheson, R. France, J. Bieman, R. Alexander, J. DeWitt, and N. McEachen. Managed evolution of a model driven development approach to software-based solutions. Proc. OOPSLA & GPCE Workshop 2004: Best Practices for Model Driven Software Development 2004. Preprint.

  4. R. Alexander, J. Bieman, and R. France. A software engineering research repository. Proc. Workshop on Empirical Research in Software Testing (WERST 2004), 2004. Preprint.

2003

  1. J. Bieman, G. Straw, H. Wang, P.W. Munger, R. Alexander. Design patterns and change proneness: an examination of five evolving systems. Proc. Ninth Int. Software Metrics Symposium (Metrics 2003), pp. 40-49, 2003. Preprint.

  2. J. Bieman, A. Andrews, H. Yang. Understanding change-proneness in OO software through visualization. Proc. Int. Workshop on Program Comprehension (IWPC 2003), pp. 44-53, 2003. Preprint.

  3. R. France, S. Ghosh, I. Ray, J. Bieman, G. Georg, R. Alexander. Evaluating competing dependability concern realizations in an aspect-oriented modeling framework. Proc. Int. Symposium on Software Reliability Engineering (Supplementary Proceedings), pp. 269-270, 2003. Fast Abstract Publication.

2002

  1. Y. Malaiya, N. Li, J. Bieman, R. Karcich. Software reliability growth with test coverage. IEEE Trans. Reliability, 51(4):420--426, December 2002. Preprint.

  2. R Alexander, J. Bieman, S. Ghosh, B. Ji. Mutation of java objects. Proc. Int. Conf. Software Reliability Engineering (ISSRE 2002), pp. 341--351, 2002. Preprint.

  3. R. Alexander, A. J. Offutt, J. Bieman. Fault detection capabilities of coupling-based OO testing. Proc. Int. Conf. Software Reliability Engineering (ISSRE 2002), pp. 207--218, 2002. Preprint.

  4. R. Alexander, A. J. Offutt, J. Bieman. Syntactic fault patterns in OO programs. Proc. Int. Conf. Engineering Complex Computer Systems (ICECCS 2002), 2002. Preprint

  5. W. Munger, J. Bieman, R. Alexander. Coding concerns: do they matter? Proc. Workshop on Empirical Studies of Software Maintenance (WESS 2002), 2002. Preprint.

  6. J. Bieman, R. Alexander, P. W. Munger, E. Meunier. Software design quality: style and substance, Proc. ICSE 2002 Workshop on Software Quality, 2002. Preprint.

  7. R. Alexander, J. Bieman. Challenges of aspect-oriented technology. Proc. ICSE 2002 Workshop on Software Quality, 2002. Preprint in PDF.

2001

  1. J. Bieman, S. Ghosh, R. Alexander. A technique for mutation of Java objects. Proc. Automated Software Engineering (ASE 2001). November 2001. Preprint in PDF.

  2. J. Bieman, D. Jain, and H. Yang. OO Design patterns, design structure, and program changes: an industrial case study. Proc. Int. Conf. on Software Maintenance (ICSM 2001). November 2001, pp. 580-589. Preprint in PDF.

  3. R. France and J. Bieman. Multi-view software evolution: a UML-based framework for evolving object-oriented software. Proc. Int. Conf. on Software Maintenance (ICSM 2001). 2001. Preprint in postscript; in pdf.

  4. R. France, J. Bieman, and R. Trask. Extending the UML to Support Evolution Management. Proc. Int. Conf. on Software Maintenance (ICSM 2001). Industry experience overview. 2001. Preprint in pdf.

  5. J. Bieman and V. Murdock. Finding code on the World Wide Web: a preliminary investigation. Proc. Int. Workshop on Source Code Analysis and Manipulation (SCAM 2001). 2001. Preprint in postscript; in pdf.

  6. J. Bieman. Seven challenges for research on the maintenance and evolution of widely distributed software Proc. Workshop on Empirical Studies of Software Maintenance (WESS 2001), position paper, November 2001. Preprint in PDF; in postscript.

  7. G. Georg, J. Bieman, and R. France. Using Alloy and UML/OCL to specify run-time configuration management: a case study. Proc. Workshop on Practical UML-Based Rigorous Development Methods --- Countering or Integrating the eXtremists, October 2001. Preprint in PDF.

  8. W. McNatt and J. Bieman, Coupling of design patterns: common practices and their benefits. Proc. COMPSAC 2001. October 2001. Preprint in PDF.

2000

  1. R. Alexander, J. Bieman, and J. Viega. Coping with Java Programming Stress. IEEE Computer, 33(4):30--38, April 2000.

  2. J. Bieman. Do design patterns create more maintainable systems? Proc. Workshop on Empirical Studies of Software Maintenance (WESS 2000), position paper, November 2000. Preprint in PDF.

  3. H. S. Kim and J. Bieman, Migrating legacy systems to CORBA based distributed environments through an automatic wrapper generation technique. Proc. Joint meeting of the 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI'2000) and the 6th International Conference on Information Systems Analysis and Synthesis (ISAS'2000) . Preprint in PDF.

1999

  1. M. Staples and J. Bieman. 3-D Visualization of Software Structure. In Advances in Computers, Volume 49, Edited by M. Zelkowitz, Academic Press, London, 1999. Preprint in pdf.

  2. B.-K. Kang and J. Bieman. A Quantitative Framework for Software Restructuring. Journal of Software Maintenance, 11:245--284, 1999. Paper in postscript; in pdf.

  3. D. Yakimovich, J. Bieman, and V. Basili. Software architecture classification for estimating the cost of COTS integration. Proc. 21st Int. Conf. on Software Engineering (ICSE'99), May 1999. Preprint in pdf.

1998

  1. J. Bieman and B-K Kang. Measuring design-level cohesion. IEEE Trans. Software Engineering, 24(2):111--124, February 1998. Paper in pdf.

  2. B-K Kang and J. Bieman . Using design abstractions to visualize, quantify, and restructure software. Journal of Systems and Software, 42: 175-187, August 1998. Paper in pdf.

  3. L. Ott and J. Bieman . Program slices as an abstraction for cohesion measurement. Journal of Information and Software Technology, 40(11-12): 691-699, Nov. 1998. Paper in pdf.

1997

  1. V.S. Gordon and J. Bieman. Rapid Prototyping: Lessons Learned. In Software Project Management: Readings and Cases, First Edition. by C. Kemerer, Irwin Publishing, 1997. (reprinted from IEEE Software, 12(1):85--95, 1995) Paper in postscript; in pdf.

  2. B-K Kang and J. Bieman. Inheritance tree shapes and reuse. Proc. Fourth Int. Software Metrics Symposium (Metrics'97), November 1997, pp. 34--42. Preprint in pdf .

1996

  1. J. Bieman, D. Dreilinger and L. Lin. Using fault injection to increase software test coverage. Proc. Int. Symp. Software Reliability Engineering (ISSRE'96), October 1996, pp. 166--174. Preprint in PDF.

  2. B-K. Kang and J. Bieman. Design-level cohesion measures: derivation, comparison, and applications. Proc. 20th Int. Computer Software & Applications Conf (COMPSAC'96), Aug. 1996, pp. 92-97. Preprint in PDF.

  3. B-K. Kang and J. Bieman. Using design cohesion to visualize, quantify, and restructure software. Proc. 8th Int. Conf. Software Engineering and Knowledge Engineering (SEKE'96), pp. 222-229, June 1996. Preprint in PDF.

  4. J. Bieman. Metric development for object-oriented software, In Software Measurement: Understanding Software Engineering. A. Melton, editor, International Thomson Publishing (ITP), pp. 75-92, 1996. Preprint in postscript; in pdf.

  5. J. Bieman , N. Fenton, D. Gustafson, A. Melton and L. Ott. Fundamental issues in software measurement, In Software Measurement: Understanding Software Engineeringa. A. Melton, editor, International Thomson Publishing (ITP), pp. 39-74, 1996. Preprint without references in pdf. The references are in the book.

1995

  1. K. Olender and J. Bieman . Algebraic specifications and sequencing: a defect detection method. The Journal of Software Testing Verification & Reliability , 5(1):49-70, March 1995. Preprint in postscript; in PDF.

  2. J. Bieman and S. Karunanithi. Measurement of language supported reuse in object oriented and object based software. The Journal of Systems and Software. 28(9):271--293, September 1995. Preprint in postscript; in pdf.

  3. V.S. Gordon and J. Bieman. Rapid prototyping: Lessons learned. IEEE Software , 12(1):85-95, January 1995. Paper in postscript; in pdf.

  4. R. Turley and J. Bieman. Competencies of exceptional and non-exceptional software engineers. Journal of Systems and Software , 28(1):19-38, January 1995. Preprint in pdf.

  5. L. Ott, J. Bieman , B-K Kang, and B. Mehra. Developing measures of class cohesion for object-oriented software. Proc. Annual Oregon Workshop on Software Metrics (AOWSM'95), June 1995. Reprint in PDF.

  6. J. Bieman and J.X. Zhaox. Reuse through inheritance: A quantitative study of C++ software. Proc. ACM Symp. Software Reusability (SSR'95), pp. 47-52, April 1995. Preprint in pdf .

  7. J. Bieman and B-K Kang. Cohesion and reuse in an object-oriented system. Proc. ACM Symp. Software Reusability (SSR'95), pp. 259-262, April 1995. Paper in pdf ;

  8. J. Hagar and J. Bieman. Adding formal specifications to a proven V&V Process for system-critical flight software. Proc. Workshop on Industrial-Strength Formal Specification Techniques (WIFT'95), pp. 76-85, April 1995. Preprint in PDF.

1994

  1. J. Bieman and L. Ott. Measuring functional cohesion. IEEE Trans. Software Engineering , 20(8):644-657, Aug. 1994. Paper in pdf.

  2. Y.K Malaiya, N. Li, J. Bieman, R. Karcich, and B. Skibbe. The relationship between test coverage and reliability. Proc. Int. Symp. Software Reliability Engineering (ISSRE94), pp. 186-195, Nov. 1994. in PDF.

  3. H. Yin and J. Bieman. Improving software testability with assertion insertion. Proc. International Test Conf.(ITC94), pp. 831-839, October 1994. Preprint in postscript; in PDF.

  4. J. Hagar and J. Bieman. A technique for testing highly reliable real-time software. Proc. 6th Software Technology Conf. (STC '94), April 1994. Preprint in PDF.

  5. R. Turley and J. Bieman. Identifying essential competencies of software engineers. Proc. 22nd ACM Computer Science Conf. (CSC '94), pp. 271-278, March 1994. Preprint in pdf.

1993

  1. V.S. Gordon and J. Bieman . Reported effects of rapid prototyping on industrial software quality. Software Quality Journal, 2(2):93-110, June 1993. Preprint in pdf.

  2. K. Olender and J. Bieman. Using algebraic specifications to find sequencing defects. Proc. Int. Symp. on Software Reliability Engineering, pp. 226-232, November 1993. Preprint in postscript; in PDF.

  3. S. Karunanithi and J. Bieman. Candidate reuse metrics for object oriented and Ada software. Proc. IEEE-CS Int. Software Metrics Symp., pp. 120-128, May 1993. Preprint in pdf.

1992

  1. J. Bieman and J.L. Schultz. An empirical evaluation (and specification) of the all-du-paths testing criterion. IEE/BCS Software Engineering Journal, 7(1):43-51, Jan. 1992. An extended version of the paper is available in postscript; in pdf.

  2. L. Ott and J. Bieman. Effects of software changes on module cohesion. Proc. IEEE/ACM Conf. on Software Maintenance, pp. 345-353, Nov. 1992.

  3. J. Bieman and H. Yin. Designing for software testability using automated oracles. Proc. International Test Conf., pp. 900-907, Sept. 1992. Preprint in PDF.

  4. J. Bieman. Deriving measures of software reuse in object-oriented systems. In Formal Aspects of Measurement. T. Denvir, R. Herman, and R. Whitty, eds., (Proc. BCS-FACS Workshop on Formal Aspects of Meas.), pp. 63-83. Springer-Verlag, 1992. Paper in postscript; in PDF.

1991

  1. J. Bieman and H. Yin. Monitoring the correctness of software. Proc. ISMM Int. Symp. on Engineering and Industrial Applications, pp. 79-82, Dec. 1991. Preprint in pdf.

  2. V.S. Gordon and J. Bieman . Rapid prototyping and software quality: lessons from industry. Proc. Pacific Northwest Software Quality Conference, pp. 19-29, Oct. 1991. Preprint in pdf.

1990

  1. J. Bieman. A tool for estimating software testing requirements. Microcomputer Applications, 9(3):72-79, 1990. Scanned paper in PDF.

  2. A. Melton, D. Gustafson, J. Bieman, and A. Baker. A mathematical perspective for software measures research. IEE/BCS Software Engineering Journal, 5(5):246-254, 1990. Preprint in postscript; in PDF.

  3. A. Baker, J. Bieman, N. Fenton, A. Melton, and R. Whitty. A philosophy for software measurement. Journal of Systems and Software, 12(3):277-281, July 1990. Preprint in postscript; in PDF.

1989

  1. J. Leszczylowski and J. Bieman. PROSPER: A language for specification by prototyping. Computer Languages, 14(3):165-180, 1989. Preprint in PDF.

  2. J. Bieman and J.L. Schultz. Estimating the number of test cases required to satisfy the all-du-paths testing criterion. Proc. ACM Software Testing Analysis and Verification Symp. (TAV3-SIGSOFT89), pp. 179-186, Dec. 1989. Reprint in PDF.

  3. D. Coleman, A. Baker, and J. Bieman. Lispflows: Modeling the structure of functional programs. Proc. 22nd Hawaii Int. Conf. on Systems Sciences (HICSS-22), II:105-114, Jan. 1989. Scanned paper.

1983-1988

  1. J. Bieman, A. Baker, P. Clites, D. Gustafson, and A. Melton. A standard representation of imperative language programs for data collection and software measures specification. Journal of Systems and Software, 8(1):13-37, Jan. 1988. Preprint in PDF; in PS.

  2. D. Gustafson,A. Melton, Ying-Chi-Chin, A. Baker, and J. Bieman, and The software process model. Proc. COMPSAC 88, pp. 3-9, 1988. Scanned paper.

  3. A. Baker, J. Bieman, and P. Clites. Implications for formal specifications -- Results of specifying a software engineering tool. Proc. COMPSAC 87, pp. 131-140, 1987. Scanned paper.

  4. A. Baker, J. Bieman, D. Gustafson, and A. Melton. Modeling and measuring the software development process. Proc. 20th Hawaii Int. Conf. on System Sciences (HICSS-20), II:pp. 23-30, Jan. 1987. Scanned paper.

  5. A. Baker, J. Howatt, and J. Bieman. Criteria for finite sets of paths that characterize control flow. Proc. 19th Hawaii Int. Conf. on System Sciences (HICSS-19), IIA:158-163, Jan. 1986.

  6. J. Bieman and N. Debnath. An analysis of software structure using a generalized program graph. Proc. IEEECS 9th Int. Computer Software & Applications Conf. (COMPSAC85), pp. 254-259, 1985. Scanned paper.

  7. J. Bieman and W. Edwards. Experimental evaluation of the data dependency graph for use in measuring software clarity. Proc. 18th Hawaii Int. Conf. on System Sciences (HICSS-18), II:271-276, Jan. 1985. Scanned paper.

  8. J. Bieman and W. Edwards. Modeling and measuring software data dependency. Iowa State University Technical Report, TR85-18, June 1985. Scanned paper.

  9. J. Bieman and W. Edwards. Measuring data dependency complexity. Univ. Southwestern University (Now Univ. Louisiana Lafayette) Technical Report, TR83-5-3, July 1983. Scanned paper.