Software Reference
Home Admission Software Tools UML Tools Publications Conferences White Papers Researchers SE Jobs Search

Recent and Selected Journal Articles and Conference Papers


Index:

Software Testing

  1. Tao Xie and David Notkin. Automatically Identifying Special and Common Unit Tests for Object-Oriented Programs. To appear in Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
    ( ISSRE 2005 ) , Chicago , Illinois , USA , November 2005  [ PDF ]
  2. Scenariographer: A Tool for Reverse Engineering Class Usage Scenarios from Method Invocation Sequences , Proceedings 21st IEEE International Conference on Softaware Maintenance (ICSM 2005) , Budapest, Hungary, Sept. 2005 (to appear), [with M. Salah, T. Denton, S. Mancoridis, and A. Shokoufandeh].
  3. Testing Web Applications by Modeling with FSMs , Anneliese Andrews, Jeff Offutt and Roger Alexander. Software Systems and Modeling , 4(3), August 2005.
  4. Tao Xie. Automatic Identification of Common and Special Object-Oriented Unit Tests. The 3rd Place of 2005 ACM Student Research Competition Grand Finals ACM SRC 2005 , San Francisco , CA, 11 June 2005 [ PDF ]
  5. Amir Michail and Tao Xie.Helping Users Avoid Bugs in GUI Applications. 
    In Proceedings of the 27th International Conference on Software Engineering   ( ICSE 2005 , St. Louis, Missouri, USA,  pp. 107-116, May 2005 [ PDF ]
  6. Tao Xie, Darko Marinov, Wolfram Schulte, and David Notkin.  Symstra: A Framework for Generating Object-Oriented Unit Tests using Symbolic Execution.  In Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ( TACAS 2005 ), Edinburgh, U.K., pp. 365-381, April 2005 [ PDF ][ BibTex ][ Slides ]
  7. Tao Xie, Jianjun Zhao, Darko Marinov, and David Notkin. Automated Test Generation for AspectJ Programs.  In Proceedings of the AOSD 2005 Workshop on Testing Aspect-Oriented Programs
    (WTAOP 2005), Chicago , March 2005 [ PDF ]
  8. Pretschner, A., Prenninger, W. : Computing Refactorings of Behavior Models
    To appear in Proc. ACM/IEEE 8th Intl. Conf. on Model Driven Engineering Languages and Systems ( MoDELS'05, formely UML conferences), Springer LNCS 3713, pp. 126-141, Montego Bay, October 2005 [ Abstract , paper (pdf:323K) © Springer Verlag ]
  9. Hilty, M., Basin, D. , Pretschner, A.: On Obligations Proc. 10th European Symp. on Research in Computer Security ( ESORICS'05 ), Springer LNCS 3679, pp. 98-117, Milan , September 2005 [ Abstract ], Paper [ pdf:283K ]
  10. Pretschner, A., Prenninger, W. , Wagner, S. Kühnel, C. , Baumgartner, M., Sostawa, B., Zölch, R., Stauner, T. : One Evaluation of Model-Based Testing and its Automation
    Proc. 27th Intl. Conf. on Software Engineering ( ICSE'05), pp. 392-401, St. Louis, May 2005 [ Abstract , Paper ( pdf: 122K )
  11. Q. Guo, R. M. Hierons, M. Harman, and K. Derderian, 2005, Construct Multiple Unique Input/Output Sequences Using Metaheuristic Optimisation Techniques , IEE Proceedings – Software , 152 3, pp.127-140.
  12. R. M. Hierons, M. Harman, and C. J. Fox, 2005, Branch-coverage testability transformation for unstructured programs , The Computer Journal, 48 4, pp. 421-436.
  13. H. Do, S. Elbaum and G. Rothermel," "Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact" , accepted for Empirical Software Engineering Journal in June 2005.
  14. S. Elbaum and M. Diep," "Profiling Deployed Software: Assessing Strategies and Testing Opportunities" , accepted for IEEE Transactions of Software Engineering in February 2005.
  15. R. Krishnapura, S. Goddard, and S.Elbaum, "Enabling Web Personalization: A Broker Architecture", accepted by the Electronic Commerce Research Journal in April 2005.
  16. S. Elbaum, G. Rothermel, S. Karre and M. Fisher," "Leveraging User Session Data to Support Web Application Testing" , accepted for IEEE Transactions of Software Engineering in 2004.
  17. S. Elbaum, G. Rothermel, S. Kanduri , and A. Malishevsky, " Selecting a Cost-Effective Test Case Prioritization Technique ", Software Quality Journal , 12 (3):185-210, September 2004.
  18. G. Rothermel, S. Elbaum , A. Malishevsky, P. Kallakuri and X. Qiu, " On Test Suite Composition and Cost-Effective Regression Testing ", ACM Transactions of Software Engineering and Methodologies , 13-3:277-331, July 2004.
  19. R. M. Hierons, 2004, Testing from a Non-Deterministic Finite State Machine Using Adaptive State Counting , IEEE Transactions on Computers , 53 10, pp. 1330-1342.
  20. R.M. Hierons and M. Harman, 2004, Testing conformance of a deterministic implementation to a non-deterministic stream X-machine , Theoretical Computer Science , 323 1-3, pp. 191-233.
  21. R. M. Hierons, 2004, Using a minimal number of resets when testing from a finite state machine , Information Processing Letters , 90 6, pp. 287-292.
  22. R. M. Hierons, T.-H. Kim, and H. Ural, 2004, On The Testability of SDL Specifications , Computer Networks , 44 5, pp. 681-700.
  23. M. Harman, L. Hu, R. M. Hierons, J. Wegener, H. Sthamer, A. Baresel, and M. Roper, 2004, Testability Transformation , IEEE Transactions on Software Engineering , 30 1, pp. 3-16.
  24. C. Fox, S. Danicic, M. Harman and R. M. Hierons, 2004, ConSIT: A fully automated conditioned program slicer , Software Practice and Experience , 34 1, pp. 15-46.
  25. Tao Xie. Automated Software Testing with Inferred Program Properties.
    Extended abstract. A poster version appears in Poster session, Student Research Forum , the 12th International Symposium on the Foundations of Software Engineering ( FSE-12 ), Newport Beach , California , November 2004. [ PDF ]
  26. Tao Xie and David Notkin. Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. In Proceedings of the 6th International Conference on Formal Engineering Methods  
    (ICFEM 2004 ) , Seattle , pp. 290-305, November 2004. [ PDF ]
  27. Tao Xie and David Notkin. Automatic Extraction of Sliced Object State Machines for Component Interfaces. In Proceedings of the 3rd Workshop on Specification and Verification of Component-Based Systems at ACM SIGSOFT 2004/FSE-12( SAVCBS 2004) , Newport Beach, California, pp. 39-46, October 31-November 1, 2004. [ PDF ]
  28. Tao Xie. Automatic Identification of Common and Special Object-Oriented Unit Tests. In Proceedings of the 17th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (Companion)  ( OOPSLA 2004 Companion) , Vancouver, Canada, pp. 324-325, October 2004. [ PDF ]
  29. Tao Xie, Jianjun Zhao, Darko Marinov, and David Notkin. Detecting Redundant Unit Tests for AspectJ Programs.  University of Washington Department of Computer Science and Engineering technical report UW-CSE-04-10-03, ( Seattle , WA ), October 2004. [ PDF ]
  30. Tao Xie, Darko Marinov, and David Notkin. Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests. In Proceedings of the 19th IEEE International Conference on Automated Software Engineering  
    ( ASE 2004 ) , Linz , Austria , pp. 196-205, September 2004. [ PDF ]
  31. Tao Xie and David Notkin.  Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences. In Proceedings of the 20th IEEE International Conference on Software Maintenance  (ICSM 2004 ) , Chicago , Illinois , pp. 28-37, September 2004. (Selected as one of the Best Papers) [ PDF ]
  32. Tao Xie, Darko Marinov, and David Notkin.  Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests.  University of Washington Department of Computer Science and Engineering technical report UW-CSE-04-01-05, ( Seattle , WA ), January 2004.  [ PDF ]
  33. Pulei Xiong M.C.S., Robert L. Probert, Bernard Stepien, "Life-Cycle E-Commerce Testing with OO-TTCN-3" , 2004.
  34. Pretschner, A., Slotosch, O. , Aiglstorfer, E., Kriebel, S.: Model Based Testing for Real--The Inhouse Card Case Study J. Software Tools for Technology Transfer 5(2-3):140-157, March 2004 The original publication is available atspringerlink.com ; Paper ( pdf: 478K )]
  35. Pretschner, A., Lötzbeyer, H. , Philipps, J. : Model Based Testing in Incremental System Development Journal of Systems and Software 70(3):315--329, March 2004 [ Abstract ]
  36. An AGENDA for Testing Relational Database Applications , Software Testing, Verification and Reliability , 14, pp. 17-44, March 2004, [with D. Chays, Y. Deng, P.G. Frankl, and E.J. Weyuker].
  37. Alyokhin, V., Elbel, B., Rothfelder, M., Pretschner, A.: Coverage Metrics for continuous Function Charts Proc. 15th IEEE Intl. Symp. on Software Reliability Engineering ( ISSRE'04), pp. 257-268, St. Malo, November 2004 [ Abstract , Paper ( pdf: 303K )
  38. Prenninger, W. , Pretschner, A.: Abstractions for Model-Based Testing Proc. 2nd Intl. Workshop on Test and Analysis of Component Based Systems ( TACoS'04 ), Barcelona , March 2004.Electronic Notes in Theoretical Computer Science 116 :59--71, 2005
    , Paper ( pdf: 188K )]
  39. Bypass Testing of Web Applications , Jeff Offutt, Ye Wu, Xiaochen Du and Hong Huang The Fifteenth IEEE International Symposium on Software Reliability Engineering (ISSRE '04) , pages 187-197, Saint-Malo, Bretagne, France, November 2004.
  40. Generating Test Cases for Web Services Using Data Perturbation , Jeff Offutt and Wuzhi Xu. Workshop on Testing, Analysis and Verification of Web Services . July 2004, Boston Mass.
  41. Web Application Bypass Testing , Jeff Offutt, Ye Wu, Xiaochen Du and Hong Huang Workshop on Quality Assurance and Testing of Web-Based Applications , Associated with COMPSAC 2004 , pages ???--???, Hong Kong , PRC, September 2004.
  42. T. Xie, D. Marinov, and D. Notkin Rostra: A framework for detecting redundant object-oriented unit tests 19th IEEE Conference on Automated Software Engineering ( ASE 2004 ), Linz , Austria , September 2004
  43. D. Marinov and R. O'Callahan Object equality profiling 18th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications ( OOPSLA 2003), pages 313-325, Anaheim, CA, October 2003
  44. D. Marinov, A. Andoni, D. Daniliuc, S. Khurshid, and M. Rinard An evaluation of exhaustive testing for data structures Technical Report MIT-LCS-TR-921, MIT CSAIL, Cambridge , MA , September 2003
  45. S. Khurshid, D. Marinov, I. Shlyakhter, and D. Jackson A case for efficient solution enumeration Sixth International Conference on Theory and Applications of Satisfiability Testing ( SAT 2003 ), volume 2919 of LNCS, pages 272-286, Santa Margherita Ligure, Italy, May 2003
  46. Tao Xie and David Notkin.   Tool-Assisted Unit Test Selection Based on Operational Violations.  In Proceedings of the 18th IEEE International Conference on Automated Software Engineering ( ASE 2003 ), Montreal, Canada, pp. 40-48, October 2003. ( Nominated for the Best Paper Award ) [ PDF ]
  47.   Gauch, S. , Chaffee, J., Pretschner, A.: Ontology-Based Personalized Search and Browsing J. Web Intelligence and Agent Systems 1(3-4):219-234, 2003 [ Paper ( pdf: 404K )]
  48. Tao Xie and David Notkin. Mutually Enhancing Test Generation and Specification Inference.  In Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software ( FATES 2003) , LNCS Vol. 2931, Springer, Montreal, Canada, pp. 60-69, October 2003.  
    [ PDF ]
  49. Tao Xie and David Notkin.Exploiting Synergy between Testing and Inferred Partial Specifications. In Proceedings of ICSE 2003 Workshop on Dynamic Analysis   ( WODA 2003 ) , Portland , Oregon , pp. 17-20, May 2003. [ PDF ]
  50. Tao Xie. Software Component Protocol Inference.  General Examination Report, University of Washington Department of Computer Science and Engineering, ( Seattle , WA ), June 2003.  [ PDF ]
  51. A Comparative Study of Two Safe Regression Test Selection Techniques , Proceedings IEEE International Symposium on Empirical Software Engineering, Sep. 2003, [with P.G. Frankl, G. Rothermel, and K. Sayre].
  52. Automated Software Engineering 2003 SPQR: Flexible Automated Design Pattern Extraction from Source Code
  53. Automated Software Engineering 2003 DeCo: A Declarative Coordination Framework for Scientific Model Federations
  54. J. Clark, J. J. Dolado, M. Harman, R. M. Hierons, B. Jones, M. Lumkin, B. Mitchell, S. Mancoridis, K. Rees, M. Roper and M. Shepperd, 2003, Reformulating Software Engineering as a Search Problem , IEE Proceedings – Software , 150 3, pp. 161-175.
  55. R. M. Hierons and H. Ural, 2003, UIO Sequence Based Checking Sequences for Distributed Test Architectures , Information and Software Technology , 45 12, pp. 793-803.
  56. R. M. Hierons, 2003, Using Candidates to test a Deterministic Implementation against a Non-deterministic Finite State Machine , The Computer Journal , 46 3, pp.307-318.
  57. S. Elbaum, P. Kallakuri, A. Malishevsky, G. Rothermel, and S.Kanduri, "Understanding the Effects of Changes on the Cost-Effectiveness of Regression Testing Techniques ", Journal of Software Testing, Verification, and Reliability , 13-2:65-83, June 2003.
  58. L. Zhao and S. Elbaum , " Quality Assurance under the Open Source Development Model ", Journal of Systems and Software , 66-1:65-75, April 2003.
  59. XP/Agile Universe 2003, Virtual Teaming: Studies in Distributed Pair Programming
  60. W. Chen, R. Untch, G. Rothermel, S. Elbaum, and J. von Ronne, " Can Fault-Exposure-Potential Estimates Improve the Fault Detection Abilities of Test Suites? ", Journal of Software Testing, Verification, and Reliability , 4-2:197-218, 2002.
  61. S. Elbaum, A. Malishevsky, and G. Rothermel, "" Test Case Prioritization: A Family of Empirical Studies ", IEEE Transactions on Software Engineering , 28-2:159-182, 2002.
  62. R.M. Hierons, 2002, Comparing test sets and criteria in the presence of test hypotheses and fault domains , ACM Transactions on Software Engineering and Methodology , 11 4, pp. 427-448.
  63. IEEE/NASA SEL Workshop, 2002 Elemental Design Patterns: A Formal Semantics for Composition of OO Software Architecture
  64. XP/Agile Universe 2002 (JAX) An Informal Formal Method for Systematic JUnit Test Case Generation
  65. XP/Agile Universe 2002 (DXP) Exploring the Efficacy of Distributed Pair Programming
  66. Educators Workshop (OOPSLA 2002) Exploring Pair Programming in Distributed Object-Oriented Team Projects
  67. Modeling and Testing Web-based Applications , Ye Wu and Jeff Offutt. GMU ISE Technical ISE-TR-02-08 , November 2002.
  68. Web Software Applications Quality Attributes , Jeff Offutt. Quality Engineering in Software Technology (CONQUEST 2002) , pages 187-198, Nuremberg , Germany , September 2002.
  69. Quality Attributes of Web Software Applications , Jeff Offutt. IEEE Software: Special Issue on Software Engineering of Internet Software , pages 25--32, March/April 2002.
  70. Generating Test Cases for XML-based Web Component Interactions Using Mutation Analysis , Suet Chun Lee and Jeff Offutt. The Twelfth IEEE International Symposium on Software Reliability Engineering (ISSRE '01) , pages 200--209, Hong Kong , PRC, November 2001.
  71. Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? , by Mats Heimdahl, Devaraj George, Robert Weber. Proceedings of the 8th IEEE High Assurance in Systems Engineering Workshop. abstract, pdf version, bibtex
  72. Wimmel, G. Lötzbeyer, H., Pretschner, A., Slotosch, O.: Specification Based Test Sequence Generation with Propositional Logic Journal on Software Testing, Validation, and Reliability ( STVR ) 10(4):229-248, December 2000 Abstract , preliminary Paper [ pdf: 369K ]
  73. Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study , IEEE Transactions on Software Engineering , Dec. 2000, [with E.J. Weyuker].

Sofware Engineering 

  1. "Point/Counterpoint," IEEE Software, January 2005, Volume 22, Issue 1, Jan.-Feb. 2005, pp. 48-51. PDF
  2. "Applying Classification Techniques to Remotely-Collected Program Execution Data"M. Haran, A. Karr, A. Orso, A. Porter, and A. Sanil Proceedings of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2005) . [PDF 704 Kb, ]
  3. "Selective Capture and Replay of Program Executions" A. Orso and B. Kennedy. Proceedings of the Third International ICSE Workshop on Dynamic Analysis (WODA 2005) . [ Abstract , ]
  4. "Combining Static Analysis and Runtime Monitoring to Counter SQL-Injection Attacks" W. Halfond and A. Orso. Proceedings of the Third International ICSE Workshop on Dynamic Analysis (WODA 2005) . [PDF 464 Kb ]
  5. "Efficient and Precise Dynamic Impact Analysis Using Execute-After Sequences"T. Apiwattanapong, A. Orso, and M.J. Harrold. Proceedings of the 27th IEEE and ACM SIGSOFT International Conference on Software Engineering (ICSE 2005) . [ PDF 168 Kb ]
  6. The Collective: A Cache-Based System Management Architecture
    R. Chandra, N. Zeldovich, C. P. Sapuntzakis and M. S. Lam In Proceedings of the Second Symposium on Networked Systems Design and Implementation, May 2005.
  7. "AMNESIA: Analysis and Monitoring for NEutralizing SQL-Injection Attacks"W. Halfond and A. Orso Proceedings of the IEEE and ACM International Conference on Automated Software Engineering (ASE 2005) .
    [ PDF 296 Kb, ]
  8. "MonDe: Safe Updating through Monitored Deployment of New Component Versions" J. Cook and A. Orso Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2005) . [ PDF 104 Kb ]
  9. Context-Sensitive Program Analysis as Database Queries
    Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin and Christopher Unkel. In Proceedings of the 24th SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, June, 2005.
  10. Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams John Whaley and Monica S. Lam In Proceedings of the ACM IGPLAN 2004 Conference on Programming Language Design and implementation, June 2004. ACM Programming Language Design and Implementation Best Paper Award, 2004.
  11. "Scaling Regression Testing to Large Software Systems." A. Orso, N. Shi, and M.J. Harrold. Proceedings of the 12th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2004) . [ PDF 256 Kb]
  12. "A Differencing Algorithm for Object-oriented Programs." T. Apiwattanapong, A. Orso, and M.J. Harrold. Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004) . (This paper was presented with the Best Paper Award and with an ACM-SIGSOFT Distinguished Paper Award.) [ PDF 428 Kb ]
  13. "A Generic Instrumentation Framework for Collecting Dynamic information." A. Chawla and A. Orso. Online Proceeding of the ISSTA Workshop on Empirical Research in Software Testing (WERST 2004) . July 2004. [PDF 92 Kb ]
  14. "Classifying Data Dependences in the Presence of Pointers for Program Comprehension, Testing, and Debugging."A. Orso, S. Sinha, and M.J. Harrold.
    ACM Transactions on Software Engineering and Methodology (TOSEM) , 2004, Volume 13, Number 2, pages 199--239. [ PDF 364 Kb ]
  15. "Gammatella: Visualizing Program-Execution Data for Deployed Software."
    J. Jones, A. Orso, and M.J. Harrold. Information Visualization , 2004, Volume 3, Number 3, pages 173--188. [ PDF 1220 Kb ]
  16. "An Empirical Comparison of Dynamic Impact Analysis Algorithms."
    A. Orso, T. Apiwattanapong, J. Law, G. Rothermel, and M.J. Harrold.
    Proceedings of the 26th IEEE and ACM SIGSOFT International Conference on Software Engineering (ICSE 2004) . May 2004. [ PDF 280 Kb ]
  17. "Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow."S. Sinha, A. Orso, and M.J. Harrold.
    Proceedings of the 26th IEEE and ACM SIGSOFT International Conference on Software Engineering (ICSE 2004) . May 2004. [ PDF 244 Kb ]
  18. "Managing complexity in software development with formally based tools," Proc. ETAPS Workshop on Formal Foundations of Software and Component-Based Software Architectures (FESCA 2004), Barcelona , SP, April 3 2004 , ENTCS 236, Elsevier, Amsterdam (invited paper). PDF
  19. Edwards, S.H., Sitaraman, M., Weide, B.W., and Hollingsworth, J.E., "Contract-Checking Wrappers for C++ Classes", IEEE Transactions on Software Engineering 30 , 11 (November 2004), 794-810. [PDF]
  20. Presentation: "Improving Dynamic Analysis through Partial Replay of Users' Executions." A. Orso and B. Kennedy. Online Proceedings of the Dagstuhl Seminar on Understanding Program Dynamics . December 2003. [ Abstract ]
  21. "Leveraging Field Data for Impact Analysis and Regression Testing."
    A. Orso, T. Apiwattanapong, and M.J. Harrold. Proceedings of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003) . September 2003. [ Abstract ]
  22. "Visualization of Program-Execution Data for Deployed Software."
    A. Orso, J. Jones, and M.J. Harrold. Proceedings of the ACM symposium on Software Visualization (SOFTVIS 2003) . June 2003. (This paper was presented with an ACM-SIGSOFT Distinguished Paper Award.) [ Abstract ]
  23. Sridhar, N., Pike, S.M., and Weide, B.W., "Dynamic Module Replacement in Distributed Protocols", Proceedings 23rd International Conference on Distributed Computing Systems , IEEE, May 2003, 620-627. [PDF]
  24. A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector D. L. Heine and M. S. Lam In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, June 2003.
  25. "Program Synthesis from Formal Requirements Specifications using APTS", Higher-Order and Symbolic Computation 16 (1-2): 63-92, March - June, 2003, Kluwer Academic Publishers. PDF
  26. Tracking Down Software Bugs Using Automatic Anomaly Detection
    S. Hangal and M. S. Lam In Proceedings of the 24th International Conference on Software Engineering, May 2002.( gzip'ed postscript ).
  27. Sridhar, N., Weide, B.W., and Bucci, P., "Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies", in C. Gacek, ed., Software Reuse: Methods, Techniques, and Tools (Proceedings Seventh International Conference on Software Reuse), Springer-Verlag LNCS 2319, 2002, pp. 309-326. [PDF]
  28. Sitaraman, M., Long, T.J., Weide, B.W., Harner, E.J., and Wang, L., "A Formal Approach to Component-Based Software Engineering: Education and Evaluation", ICSE 2001: Proceedings 23rd International Conference on Software Engineering , IEEE, 2001, pp. 601-609 [PDF] ; a revised version appeared as Sitaraman, M., Long, T.J., Weide, B.W., Harner, J., and Wang, C., "Teaching Component-Based Software Engineering: A Formal Approach and Its Evaluation", Computer Science Education Journal 12, 1-2 (2002), 11-36. [CSE abstract]
  29. Weide, B.W., "Component-Based Systems", in Marciniak, J.J., ed., Encyclopedia of Software Engineering, John Wiley and Sons, 2001, 9 pp.[PDF]
  30. Hollingsworth, J.E., Blankenship, L., and Weide, B.W.,  "Experience Report: Using RESOLVE/C++ for Commercial Software," Proceedings ACM SIGSOFT Eighth International Symposium on the Foundations of Software Engineering, ACM Press, 2000, pp. 11-19. [PDF]

Software Development 

  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. Pdf .
  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) , to appear, 2005. Pdf .
  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. Pdf .
  4. Ana Milanova, "Precise Identification of Composition Relationships for UML Class Diagrams", to appear in IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 2005. [pdf]
  5. Ana Milanova and Barbara G. Ryder, "Annotated Inclusion Constraints for Precise Flow Analysis", to appear in IEEE International Conference on Software Maintenance (ICSM 2005), September 2005. [pdf]
  6. Chen Fu, Ana Milanova, Barbara G. Ryder, and David Wannacott, "Robustness Testing of Java Server Applications", IEEE Transactions on Software Engineering (TSE), vol. 31, no. 4, pp. 292-311, April 2005. Special issue with extended versions of the best papers from ISSTA'04. [pdf]
  7. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Parameterized Object Sensitivity for Points-to Analysis for Java", ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 14, no. 1, pp. 1-41, January 2005. [pdf]
  8. ``Automatic test factoring for Java'' y David Saff, Shay Artzi, Jeff H. Perkins, and Michael D. Ernst. n ASE 2005: Proceedings of the 21st Annual International Conference on Automated Software Engineering , ( Long Beach , CA , USA ), November 9-11, 2005 . Details. PDF
  9. ``Using predicate fields in a highly flexible industrial control system''
    by Shay Artzi and Michael D. Ernst. in Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2005) , ( San Diego , CA , USA ), October 16-20, 2005 . PDF
  10. `` Javari : Adding reference immutability to Java'' by Matthew S. Tschantz and Michael D. Ernst. In Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2005) , ( San Diego , CA , USA ), October 16-20, 2005 . PDF
  11. ``ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2005)'' edited by Michael D. Ernst and Thomas Jensen. September 5-6, 2005 . workshop website
  12. ``Static deadlock detection for Java libraries'' by Amy Williams, William Thies, and Michael D. Ernst. In ECOOP 2005 --- Object-Oriented Programming, 19th European Conference , ( Glasgow , Scotland ), July 25-29, 2005 , pp. 602-629.
    PDF .
  13. ``Eclat: Automatic generation and classification of test inputs'' by Carlos Pacheco and Michael D. Ernst.bIn ECOOP 2005 --- Object-Oriented Programming, 19th European Conference , (Glasgow, Scotland), July 25-29, 2005, pp. 504-527. PDF implementation .
  14. ``An overview of JML tools and applications'' by Lilian Burdy, Yoonsik Cheon, David Cok, Michael D. Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan M. Leino, and Erik Poll. Software Tools for Technology Transfer , vol. 7, no. 3, June 2005, pp. 212-232. PDF
  15. ``The Groupthink specification exercise'' by Michael D. Ernst and John Chapin. In ICSE'05, Proceedings of the 26th International Conference on Software Engineering , ( St. Louis , MO , USA ), May 18-20, 2005 PDF
  16. Atanas Rountev, Ana Milanova and Barbara G. Ryder, "Fragment Class Analysis for Testing of Polymorphism in Java Software", IEEE Transactions on Software Engineering (TSE), vol. 30, no. 6, pp. 372-387, June 2004. Special issue with extended versions of the best papers from ICSE'03. [pdf]
  17. Chen Fu, Barbara G. Ryder, Ana Milanova, and David Wonnacott, "Testing of Java Web Services for Robustness", Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2004), July, 2004. [pdf]
  18. Ana Milanova, Atanas Rountev and Barbara G. Ryder, "Precise Call Graphs for C Programs with Function Pointers", International Journal of Automated Software Engineering (JASE) , volume 11, issue 1, pages 7-26, January 2004. Special issue with extended versions of the best papers from SCAM'02. [pdf]
  19. 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. Pdf .
  20. G. Straw, G. Georg, S. Ghosh, R. France, and J. Bieman . Model Composition Directives. Proc. UML 2004 , pp. 84--97, 2004. Pdf .
  21. 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. Pdf .
  22. R. Alexander, J. Bieman , and R. France. A Software Engineering Research Repository. Proc. Workshop on Empirical Research in Software Testing (WERST 2004) , 2004. Pdf .
  23. 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. Pdf .
  24. 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. Pdf
  25. Naeim Semsarilar, Dennis K. Peters and Theodore S. Norvell, "Open XML Requirements Specifications, a Xylia based application" Proc. Newfoundland Electrical and Computer Engineering Conference , IEEE, Newfoundland and Labrador Section, November 2003.
    pdf .
  26. Zhiwei An and Dennis K. Peters, "On the Description of Communications Between Software Components with UML" Proc. Newfoundland Electrical and Computer Engineering Conference , IEEE, Newfoundland and Labrador Section, November 2003.
    pdf .
  27. "A Strategy for Efficiently Verifying Requirements Specifications Using Composition and Invariants," to appear in Proc. European Software Engineering Conference/ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003), Helsinki, Finland, September 1-5, 2003. PDF
  28. Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Fragment Class Analysis for Testing of Polymorphism in Java Software", Proceedings of the ACM SIGSOFT/IEEE International Conference on Software Engineering (ICSE 2003), May, 2003. [pdf]
  29. Active Learning for Automatic Classification of Software Behavior. James F. Bowring, James M. Rehg, and Mary Jean Harrold. Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2004), Boston , Massachusetts , July 2004, pp. 195-205. [ [ Full text in pdf ]
  30. TRIPWIRE: Mediating Software Self-Awareness. James F. Bowring, James M. Rehg, and Mary Jean Harrold. Proceedings of the 2nd ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS '04), Edinburgh, Scotland, May 2004, pp. 11-14.[ Full text in pdf ]
  31. Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow. Saurabh Sinha, Alessandro Orso, and Mary Jean Harrold. Technical Report GIT-CC-03-48 , College of Computing, Georgia Institute of Technology, September 2003. [ Full text in pdf ]
  32. Leveraging Field Data for Impact Analysis and Regression Testing. Alessandro Orso, Taweesup Apiwattanapong, and Mary Jean Harrold. Proceedings of the 11th European Software Engineering Conference and 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2003), Helsinki, Finland, September 2003. [ Full text in pdf ]
  33. Improving Impact Analysis and Regression Testing Using Field Data. A. Orso, T. Apiwattanapong, and M. J. Harrold. First ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS '03) [ Full text in pdf ]
  34. Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage. James A. Jones and Mary Jean Harrold. IEEE Transactions on Software Engineering Volume 29, Number 3, March 2003, pp. 195-209. [ Full text in pdf ]
  35. Understanding Data Dependences in the Presence of Pointers. Alessandro Orso, Saurabh Sinha, and Mary Jean Harrold, Technical Report GIT-CERCS-03-10 , College of Computing, Georgia Institute of Technology, May 2003. [ Full text in pdf ]
  36. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java", Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2002), July, 2002. [pdf]
  37. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Precise Call Graph Construction in the Presence of Function Pointers", Proceedings of the IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), October, 2002. [pdf]
  38. Ana Milanova, Atanas Rountev, and Barbara G. Ryder, "Constructing Precise Object Relation Diagrams", Proceedings of the IEEE International Conference on Software Maintenance (ICSM 2002), October, 2002. [pdf]
  39. Pouria Shaker, Theodore S. Norvell and Dennis K. Peters, "Edits in Xylia: Preserving the Validity of XML Documents" Proc. Newfoundland Electrical and Computer Engineering Conference , IEEE, Newfoundland and Labrador Section, November 2002. abstract , pdf .
  40. Yingzi Wang and Dennis K. Peters, "A Technique for Specifying Interface Modules for Real-time Systems" Proc. Canadian Conference on Electrical and Computer Engineering , IEEE Canada, May 2002. pdf .
  41. Dennis K. Peters and David Lorge Parnas, "Requirements-based Monitors for Real-Time Systems" IEEE Transactions on Software Engineering , vol. 28, no. 2, February 2002, pp. 146-158. gzipped postscript , pdf .
  42. Interclass Testing of Object Oriented Software. V. Martena, A. Orso, and M. Pezze` Proc. of the IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'02), December 2002, Greenbelt , MD , USA [ Full text in pdf ]
  43. Monitoring Deployed Software Using Software Tomography. J. Bowring, A. Orso, and M.J. Harrold Proc. of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'02), November 2002, Charleston, SC, USA, pp. 2-9. [ Abstract ] [ Full text in pdf ]
  44. Yingzi Wang and Dennis K. Peters, "Interface Module Specifications for Real-time Systems" Proc. Newfoundland Electrical and Computer Engineering Conference , IEEE, Newfoundland and Labrador Section, November 2001. pdf .
  45. Jonathan R. Milley, Theodore S. Norvell, and Dennis K. Peters, "The Xylia Toolkit, combining XML and Java" Proc. Newfoundland Electrical and Computer Engineering Conference , IEEE, Newfoundland and Labrador Section, November 2001. pdf .
  46. D. K. Peters, "Are Computer Engineering Students Getting Enough Design?", Canadian Conference on Computer Engineering Education , IEEE, New Brunswick Section, University of New Brunswick, May 2001. pdf .
  47. Atanas Rountev, Ana Milanova, and Barbara G. Ryder, "Points-to Analysis for Java Using Annotated Constraints", Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001), October, 2001. [pdf]
  48. D. K. Peters, "Requirements-based Monitors for Real-Time Systems", Proc. Newfoundland Electrical and Computer Engineering Conference , IEEE, Newfoundland and Labrador Section, November 2000. gzipped postscript , pdf .
  49. D. K. Peters and D. L. Parnas, "Requirements-based Monitors for Real-Time Systems", Proc. 2000 Int'l Symp. on Software Testing and Analysis (ISSTA) , © ACM August 2000, pp. 77-85. pdf, .
  50. D. K. Peters, Deriving Real-Time Monitors from System Requirements Documentation , Ph.D. Thesis, McMaster University , Hamilton , ON , January 2000. 171 pages.
    pdf . Single-space version (145 pages): pdf .
  51. D. K. Peters, "Automated Testing of Real-Time Systems", Proc. Newfoundland Electrical and Computer Engineering Conference , IEEE Newfoundland and Labrador Section, November 1999. pdf .
  52. D. L. Parnas and D. K. Peters, "An Easily Extensible Toolset for Tabular Mathematical Expressions", Proc. Fifth Int'l Conf. Tools and Algorithms for the Construction and Analysis of Systems , © Springer-Verlag, March 1999, pp. 345-359. pdf .
  53. Visualization of Program-Execution Data for Deployed Software. Alessandro Orso, James Jones, Mary Jean Harrold. Proceedings of the ACM Symposium on Software Visualization, pp. 67-76. [ Full text in pdf ]

Debugging

  1. A. Michail and T. Xie. Helping Users Avoid Bugs in GUI Applications. To appear in Proceedings of the 27th International Conference on Software Engineering, 2005.
  2. A New Hardware Monitor Design to Measure Data Structure-Specific Cache Eviction Information Bryan R. Buck, Jeffrey K. Hollingsworth To Appear International Journal of High Performance Computing Applications ,2005. ( Abstract )
  3. Automatic Mining of Source Code Repositories To Improve Bug Finding techniques Chadd C. Williams, Jeffrey K. Hollingsworth IEEE Transactions on Software Engineering, (31) 6 ,June 2005.( PDF)
  4. Combining Self-reported and Automatic Data to Improve Programming Effort Measurement Lorin Hochstein, Victor R. Basili, Marvin V. Zelkowitz, Jeffrey K. Hollingsworth, Jeff Carver Foundations of Software Engineering (FSE), Lisbon, Portugal (August 2005) ,. ( PDF)
  5. Efficient Online Computation of Statement Coverage Mustafa M. Tikir, Jeffrey K. Hollingsworth Journal of Systems and Software, 78(2) ,Nov. 2005.( PDF)
  6. EMPS: An Environment for Memory Performance Studies Jeffrey K. Hollingsworth, Allan Snavely, K. Ekanadham, Simone Sbaraglia Next Generation Software Program Workshop ,April 2005. ( PDF)
  7. Generating Testable Hypotheses from Tacit Knowledge for High Productivity Computing Sima Asgari, Lorin Hochstein, Victor R. Basili, Jeff Carver, Jeffrey K. Hollingsworth, Forrest Shull Second International Workshop on Software Engineering for High Performance Computing System Applications, St. Louis MO. ,May 2005.
    ( PDF)
  8. NUMA-Aware Java Heaps for Server Applications Mustafa M. Tikir, Jeffrey K. Hollingsworth Proceedings of International Parallel and Distributed Processing Symposium (IPDPS) 2005 ,April 2005. ( PDF)
  9. Parallel Parameter Tuning for Applications with Performance Variability
    Vahid Tabatabaee, Ananta Tiwari, Jeffrey K. Hollingsworth
    (to appear) SC'05, Seattle WA ,Nov. 2005. (PDF)
  10. Parallel Programmer Productivity: A Case Study of Novice Parallel Programmers
    Lorin Hochstein, Jeff Carver, Forrest Shull, Sima Asgari, Victor R. Basili, Jeffrey K. Hollingsworth, Marvin V. Zelkowitz (to appear) SC'05, Seattle, WA ,Nov. 2005. ( PDF)
  11. Recovering System Specific Rules from Software Repositories Chadd C. Williams, Jeffrey K. Hollingsworth International Workshop on Mining Software Repositories, St. Louis MO. ,May 2005. ( PDF)
  12. Using Dynamic Tracing Sampling to Measure Long Running Programs
    Jeffrey Odom, Luiz DeRose, K. Ekanadham, Jeffrey K. Hollingsworth, Simone Sbaraglia
    (to appear) SC'05, Seattle WA ,Nov. 2005. ( PDF)
  13. X. Zhang, R. Gupta, and Y. Zhang, Cost and Precision Tradeoffs of Dynamic Data Slicing Algorithms , ACM TOPLAS, 27(4), 2005. , in ICSE, 2003. Distinguished Paper Award .
  14. X. Zhang and R. Gupta, Cost Effective Dynamic Program Slicing , SIGPLAN PLDI, 2004.
  15. Data Centric Cache Measurement on the Intel Itanium 2 Processor Bryan R. Buck, Jeffrey K. Hollingsworth Proceedings of SuperComputing 2004 ,Nov. 2004. ( PDF)
  16. Using Hardware Counters to Automatically Improve Memory Performance
    Mustafa M. Tikir, Jeffrey K. Hollingsworth Proceedings of SuperComputing 2004 ,Nov. 2004. ( PDF)
  17. Using Information from Prior Runs to Improve Automated Tuning Systems
    I-Hsin Chung, Jeffrey K. Hollingsworth Proceedings of SuperComputing 2004 ,Nov. 2004. ( PDF)
  18. Resource Policing to Support Fine-Grain Cycle Stealing in Networks of Workstations Kyung Dong Ryu, Jeffrey K. Hollingsworth IEEE Transacations on Parallel and Distributed Systems, 15(10) ,Oct. 2004. ( PDF)
  19. Automated Cluster-Based Web Service Performance Tuning I-Hsin Chung, Jeffrey K. Hollingsworth Proceedings of IEEE Conference on High Performance Distributed Computing (HPDC) ,June 2004. ( PDF)
  20. Bug Driven Bug Finders Chadd C. Williams, Jeffrey K. Hollingsworth International Workshop on Mining Software Repositories (MSR) ,May 2004. ( PDF)
  21. Challenges in Measuring HPCS Learner Productivity in an Age of Ubiquitous Computing Sima Asgari, Victor R. Basili, Jeff Carver, Lorin Hochstein, Jeffrey K. Hollingsworth, Forrest Shull, Marvin V. Zelkowitz Workshop on Software Engineering for High Performance Computing System (HPCS) Applications ,May 2004. ( PDF)
  22. Interactive Binary Instrumentation Chadd C. Williams, Jeffrey K. Hollingsworth
    Second International Workshop on Remote Analysis and Measurement of Software Systems (RAMSS) ,May 2004. ( Abstract , PDF)
  23. Studying Code Development for High Performance Computing: The HPCS Program Sima Asgari, Victor R. Basili, Jeff Carver, Lorin Hochstein, Jeffrey K. Hollingsworth, Forrest Shull, Marvin V. Zelkowitz Workshop on Software Engineering for High Performance Computing System (HPCS) Applications ,May 2004.( PDF)
  24. Unobtrusiveness and Efficiency in Idle Cycle Stealing for PC Grids Kyung Dong Ryu, Jeffrey K. Hollingsworth Proceedings of International Parallel and Distributed Processing Symposium 2004 ,April 2004. ( PDF)
  25. Running on the Bare Metal with GeekOS David Hovemeyer, Jeffrey K. Hollingsworth, Bobby Bhattacharjee Proceedings of Special Interest Group on Computer Science Education (SIGCSE) 2004 ,March 2004. ( PDF)
  26. X. Zhang and R. Gupta, Matching Execution Histories of Program Versions , SIGSOFT ESEC/FSE, 2005.
  27. X. Zhang and R. Gupta, Whole Execution Traces and their Applications , ACM TACO, 2(3), 2005. in MICRO-37, 2004.
  28. C. Dang, A. V. Le, A. Michail, K. C. Pham, T. Q. Pham, N. Seow, A. Sridhar, and J. Timm. Design Recovery of Real-Time Graphical Applications using Video. In International Conference on Software Maintenance, pages 338-347, 2004.
  29. K. Chan, Z. Liang, and A. Michail. Design Recovery of Interactive Graphical Applications. In Proceedings of the 25th International Conference on Software Engineering, pages 114-124, 2003.
  30. A. Zeller, R. Hildebrandt:Simplifying and Isolating Failure-Inducing Input. IEEE Transactions on Software Engineering 28(2), February 2002, pp. 183-200. [PDF]
  31. A. Michail. Browsing and Searching Source Code of Applications written using a GUI Framework. In Proceedings of the 24th International Conference on Software Engineering, pages 327-337, 2002.
  32. Zeller: Automated Debugging: Are We Close? IEEE Computer , November 2001, pp. 26-31. [PDF]

Validation

  1. Zelkowitz M., V. Basili, S. Asgari , L. Hochstein, J. Hollingsworth, and T. Nakamura, Productivity measures for high performance computers, International Symposium on Software Metrics, Como , Italy , September, 2005 (To appear). (pdf) .
  2. Hochstein L., V. Basili, M. Zelkowitz, J. Hollingsworth and J. Carver, Combining self-reported and automatic data to improve effort measurement, Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2005), Portugal, September 2005 (To appear). (pdf) .
  3. Hochstein L., J. Carver, F. Shull, S. Asgari, V. Basili, J. K. Hollingsworth, M. Zelkowitz, HPC Programmer Productivity: A Case Study of Novice HPC Programmers, Supercomputing 2005, Seattle, WA, November 2005 (To appear). (pdf) .
  4. Model checking artificial intelligence based planners M.H. Smith, G. Cucullu, G.J. Holzmann, and B. Smith Proc. 2005 Aerospace Conf., IEEE, Big Sky MT USA, March 2005. [PDF]
  5. Model-Driven Software Verification G.J. Holzmann and R. Joshi, Proc. 11th Spin Workshop, Barcelona, Spain, April 2004, Springer Verlag, LNCS 2989, pp. 77-92. [PDF]
  6. An automated verification method for distributed systems software based on model extraction G.J. Holzmann and M.H. Smith, IEEE Trans. on Software Engineering, Vol. 28, No. 4, pp. 364-377, April 2002 [PDF]
  7. A Case for Requirements Validation, by Mats Heimdahl. Proceeding of National Academies Workshop on Software Certification and Dependability. , Washington DC, April, 2004 abstract, pdf version, bibtex
  8. From Models to Efficient Code: It's All in the Middle., by Eric Van Wyk, Mats Heimdahl, Yousef Saad. Proceedings of the International Workshop on Software Engineering for High Performance Computing System (HPCS) Applications, Edinburgh, Scotland, May 2004. pdf version, postscript version
  9. Tool Intensive Software Development: New Challenges for Verification, Validation, and Certification , by Mats Heimdahl. FAA and Embry Riddle Aeronautical University Software Tools Forum, Daytona Beach , May, 2004. abstract, postscript version, pdf version, bibtex
  10. Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing, by Mats Heimdahl, Devaraj George. Proceedings of the 19th IEEE International Conference on Automated Software Engineering. Linz , Austria , September, 2004. abstract, pdf version, postscript version, bibtex
  11. K. Chilakamari and S. Elbaum , " Reducing Coverage Collection Overhead with Disposable Instrumentation ", International Symposium of Software Reliability Engineering , August 2004.
  12. H. Do, S. Elbaum , and G. Rothermel, " Infrastructure Support for Controlled Experimentation with Software Testing and Regression Testing Techniques ", International Symposium on Empirical Software Engineering , 60-70, August 2004
  13. S. Elbaum and M. Hardojo, "An Empirical Study of Profiling Strategies for Released Software and Their Impact on Testing Activities ", International Symposium on Software Testing and Analysis , 65-75, July 2004
  14. S. Elbaum, S. Kanduri and A. Andrews, "Anomalies as Precursors of Field Failures ", International Symposium of Software Reliability Engineering , 108-118, November 2003
  15. S. Elbaum, S. Karre , and G. Rothermel, " Improving Web Application Testing with User Session Data ", International Conference on Software Engineering , 49-59, May 2003.
  16. Zelkowitz, M. V., D. R. Wallace, D. Binkley, Evaluation of new software engineering technologies In Software Engineering Empirical Validation (N. Juristo and A. Moreno, Ed.), World Scientific Publishing, (2003) 229-263. (pdf)
  17. Huynh D., M. V. Zelkowitz, V. R. Basili, I. Rus, Modeling dependability for a diverse set of stakeholders (Fast Abstracts), Distributed Systems and Networks, San Francisco, CA, June, 2003, B6-B7. (pdf) .
  18. Basili V., F. McGarry, R. Pajerski, M. Zelkowitz, Lessons learned from 25 years of process improvement: The rise and fall of the NASA Software Engineering Laboratory, IEEE Computer Society and ACM International Conf. on Soft. Eng. , Orlando FL , May 2002 (pdf) .
  19. Shull F., V. Basili, Barry Boehm, A. W. Brown, P. Costa, M. Lindvall, D. Port, I. Rus, R. Tesoriero, and M. Zelkowitz, What we have learned about fighting defects, IEEE Computer Society International Symposium on Software Metrics, Ottawa Canada, June, 2002, 249--258 ( pdf ).
  20. Jiwnani K. and M. Zelkowitz, Software testing from a security perspective, International Conference on Software Maintenance, Montreal, Canada, October 2002, 194--203 (pdf) .
  21. Jiwnani K. and M. Zelkowitz, Security testing using a susceptibility matrix, International Symposium on Software Reliability Engineering (Fast Abstracts), Annapolis, MD, November, 2002. (pdf) .
  22. An automated verification method for distributed systems software based on model extraction G.J. Holzmann and M.H. Smith, IEEE Trans. on Software Engineering, Vol. 28, No. 4, pp. 364-377, April 2002., [PDF]
  23. S. Kanduri and S. Elbaum , " An Empirical Study of Tracing Techniques from a Failure Analysis Perspective ", International Symposium of Software Reliability Engineering , pages 280-291, November 2002.
  24. A. Malishevsky, G. Rothermel, and S. Elbaum , " Modeling the Cost-Benefits Tradeoffs for Regression Testing Techniques ", International Conference on Software Maintenance , October 2002, pages 204 - 213.
  25. G. Rothermel, S. Elbaum, A. Malishevsky, P. Kallakuri, B. Davia, " The Impact of Test Suite Granularity on the Cost-Effectiveness of Regression Testing ", IEEE-ACM International Conference on Software Engineering , 130-140, May 2002.
  26. S. Elbaum, D. Gable, and G. Rothermel, " The Impact of Evolution on Code Coverage Information ", IEEE International Conference on Software Maintenance , 170-179, November 2001.
  27. Zelkowitz M. V. and I. Rus, Understanding IV&V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program, IEEE Computer Society and ACM International Conf. on Soft. Eng. , Toronto , CA , May, 2001, 349-357 (pdf) .
  28. Zelkowitz M. V. and I. Rus, Understanding IV&V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program, IEEE Computer Society and ACM International Conf. on Soft. Eng. , Toronto , CA , May, 2001, 349-357 (pdf) .
  29. Zelkowitz M. V. and I. Rus, The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a Complex Environment: The NASA Space Shuttle Program, International Conference on Software Maintenance, Florence Italy, November, 2001 (pdf) .
  30. Basili V., R. Tesoriero, P. Costa, M. Lindvall, I. Rus, F. Shull, and M. Zelkowitz, Building an Experience Base for Software Engineering: A report on the first CeBASE eWorkshop, 3rd International Conference on Product Focused Software Process Improvement (Profes), Kaiserslautern , Germany , September, 2001 ( pdf ).
  31. Compiler Optimization Correctness by Temporal Logic , by David Lacey, Neil D. Jones, Eric Van Wyk, Carl Christian Frederiksen. Higher-Order and Symbolic Computation, 17 (3): 173-206 abstract, pdf version, bibtex

Regression Testing

  1. Rapid `Crash Testing' for Continuously Evolving GUI-Based Software Applications ,'' Qing Xie and Atif Memon, International Conference on Software Maintenance (ICSM 2005), Budapest, Hungary, Sept. 25-30, 2005.
  2. `` Call Stack Coverage for Test Suite Reduction ,'' Scott McMaster and Atif Memon, International Conference on Software Maintenance (ICSM 2005), Budapest , Hungary , Sept. 25-30, 2005 .
  3. " Automating regression testing for evolving GUI software ," Atif Memon, Adithya Nagarajan, Qing Xie, Journal of Software Maintenance and Evolution: Research and Practice Volume 17, Issue 1 , Pages 27 - 64, Jan. 2005.
  4. `` Main Effects Screening: A Distributed Continuous Quality Assurance Process for Monitoring Performance Degradation in Evolving Software Systems ,'' Cemal Yilmaz, Arvind Krishna, Atif Memon, Adam Porter, Douglas C. Schmidt, Aniruddha Gokhale, and Bala Natarajan, The 27th International Conference on Software Engineering (ICSE 2005), St. Louis, MO, May 15-21, 2005.
  5. A Distributed Continuous Quality Assurance Process to Manage Variability in Performance-intensive Software ”, Arvind S. Krishna, Douglas C. Schmidt, Atif Memon, Adam Porter, Cemal Yilmaz, Studia Informatica Universalis, Volume 4, March 2004.
  6. `` A Distributed Continuous Quality Assurance Process to Manage Variability in Performance-intensive Software ,'' Arvind S. Krishna, Cemal Yilmaz, Atif Memon, Adam Porter, Douglas C. Schmidt, Aniruddha Gokhale, Balachandran Natarajan, Component And Middleware Performance, OOPSLA 2004 Workshop, Oct. 25, 2004, Vancouver Convention & Exhibition Centre, Vancouver, British Columbia, Canada.
  7. `` Developing testing techniques for event-driven pervasive computing applications ,'' Atif M. Memon, OOPSLA'04 Workshop on Building Software for Pervasive Computing (BSPC'04) , Oct. 25, 2004, Vancouver , BC , Canada .
  8. `` Evaluating Web Page Reliability across Varied Browsing Environments ,'' Cyntrica Eaton and Atif M. Memon, The 15th IEEE International Symposium on Software Reliability Engineering (ISSRE'04), Saint-Malo , Bretagne , France , Nov. 2-5, 2004 . 
  9. `` Preserving Distributed Systems' Critical Properties: A Model-Driven Approach,'' Arvind S. Krishna, Cemal Yilmaz, Atif Memon, Adam Porter, Douglas C. Schmidt, Aniruddha Gokhale, Balachandran Natarajan, IEEE Software: Special Issue on Persistent Software Attributes, Nov./Dec. 2004. .
  10. `` Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-driven Software ,'' Atif M. Memon and Qing Xie, International Conference on Automated Software Engineering 2004 (ASE'04), Linz, Austria, September 20-24, 2004,
  11. `` Empirical Evaluation of the Fault-detection Effectiveness of Smoke Regression Test Cases for GUI-based Software ,'' Atif M. Memon and Qing Xie, International Conference on Software Maintenance 2004 (ICSM'04), Chicago Illinois , USA , Sep. 11-17, 2004 .
  12. `` Improving Software Quality and Performance using Model-integrated Distributed Continuous Quality Assurance ,'' A. S. Krishna, Douglas C. Schmidt, Atif M. Memon , Adam Porter, D. Sevilla , International Conference on Software Reuse (ICSR 8) , Madrid, Spain, July, 5-9 2004. 
  13. `` Skoll: Distributed Continuous Quality Assurance ,'' Atif M. Memon , Adam Porter, Cemal Yilmaz , and Adithya Nagarajan Douglas C. Schmidt and Bala Natarajan , International Conference on Software Engineering.
  14. `` A Model-based Distributed Continuous Quality Assurance Process to Enhance the Quality of Service of Evolving Performance-intensive Software Systems ,'' Cemal Yilmaz, Arvind S. Krishna, Atif Memon, Adam Porter, Douglas C. Schmidt, Aniruddha Gokhale and Balachandran Natarajan Remote Analysis and Measurement of Software Systems (RAMSS), Edinburgh, Scotland, UK, May 2004.
  15. `` ASPIRE: Automated Systematic Protocol Implementation Robustness Evaluation ,'' Arunchandar Vasan and Atif M. Memon , Australian Software Engineering Conference (ASWEC 2004), Melbourne , Australia , Apr. 13-16, 2004 . ( Selected as Best Paper ).
  16. `` Using Tasks to Automate Regression Testing of GUIs ,'' Atif M. Memon , The IASTED International Conference on ARTIFICIAL INTELLIGENCE AND APPLICATIONS (AIA 2004), Innsbruck , Austria , Feb. 16-18, 2004 .
  17. `` GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing ,'' Atif M. Memon , Ishan Banerjee , and Adithya Nagarajan , 10th Working Conference on Reverse Engineering (WCRE'03), Victoria, British Columbia, Canada, Nov. 13-16 2003, pages 260-269
  18. `` Regression Testing of GUIs ,'' Atif M. Memon and Mary Lou Soffa , 9th European Software Engineering Conference (ESEC) and 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-11), Helsinki, Finland, Sep. 1-5, 2003, pages 118-127.

Embedded System Testing

  1. Koopman, P., H. Choset, R. Gandhi, B. Krogh, D. Marculescu, P. Narasimhan, J. Paul, R. Rajkumar, D. Siewiorek, A. Smailagic, P. Steenkiste, D. Thomas, C. Wang, " Undergraduate Embedded System Education at Carnegie Mellon ," ACM Journal Transactions on Embedded Computing Systems , Vol 4, No. 3, September 2005.
  2. Koopman, P., Morris, J. & Narasimhan, P., " Challenges in Deeply Networked System Survivability, " Nato Advanced Research Workshop On Security and Embedded Systems , August 2005
  3. Latronico, E. & Koopman, P., " Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms ," DSN05 , June 2005.
  4. Paulitsch, Morris, Hall, Driscoll, Koopman & Latronico, " Use and Misuse of Cyclic Redundancy Codes in Ultra-Dependable Systems ," DSN05 , June 2005
  5. Morris, J. & Koopman, P., " Representing Design Tradeoffs in Safety-Critical Systems ," ICSE 2005 Workshop on Architecting Dependable Systems , May 2005
  6. A. Krishnaswamy and R. Gupta, Efficient Use of Invisible Registers in Thumb Code , MICRO-38, 2005.
  7. A. Krishnaswamy and R. Gupta, Dynamic Coalescing for 16-bit Instructions , ACM TECS, 4(1), 2005.
  8. B. Li, G. Venkatesh, B. Calder, and R. Gupta, Exploiting Computation Reuse Cache to Reduce Energy in Network Processors , HiPEAC, 2005.
  9. Y. Zhang, L. Gao, J. Yang, X. Zhang, and R. Gupta, SENSS: Security Enhancement to Symmeteric Shared Memory Multiprocessors , HPCA, 2005.
  10. Koopman, P., " Embedded System Security ," IEEE Computer , July 2004.
  11. Shelton , C. & Koopman, P., " Improving System Dependability with Alternative Functionality ," DSN04 , June 2004.
  12. Latronico, E., Miner, P. & Koopman, P., " Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees ," DSN04 , June 2004.
  13. Morris, J., Kroening, D. & Koopman, P., " Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems ," DSN04 , June 2004.
  14. Koopman, P. & Chakravarty, T., " Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks ," DSN04 , June 2004.
  15. Martin, C. & Koopman, P., " Representing User Workarounds As A Component Of System Dependability ," PRDC 2004: 10th IEEE Pacific Rim International Symposium on Dependable Computing , March 3-5, 2004 .
  16. J. Yang, R. Gupta, and C. Zhang, Frequent Value Encoding for Low Power Data Buses , ACM TODAES, 9(3), 2004.
  17. Shelton , C. & Koopman, P., " Using Architectural Properties to Model and Measure Graceful Degradation ," In: de Lemos, R., Gacek, C., & Romanovsky, A., Architecting Dependable Systems , Springer-Verlag, 2003.
  18. Koopman, P. & Hoffman, R., " Work-arounds, make-work, and kludges ," IEEE Intelligent Systems , November/December 2003.
  19. Latronico, E. & Koopman, P., " A Period-Based Group Membership Strategy for Nodes of TDMA Networks ," FeT03 , July 2003.
  20. Morris, J. & Koopman, P., " Critical Message Integrity Over A Shared Network ," FeT03 , July 2003.
  21. Latronico, E., " Problems Facing Group Membership Specifications for X-by-Wire Protocols ," DSN 2003 student paper, June 2003.
  22. Morris, J. & Koopman, P., " Software Defect Masquerade Faults in Distributed Embedded Systems ," DSN 2003 FastAbs, June 2003.
  23. Koopman, P., " Elements of the self-healing system problem space ," Workshop on Architecting Dependable Systems/WADS03 , May 2003.
  24. Shelton , C., Koopman, P. & Nace, W., " A framework for scalable analysis and design of system-wide graceful degradation in distributed embedded systems ," WORDS03 , January 2003.
  25. Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman, and Christos Faloutsos " Eliciting User Expectations for Data Behavior via Invariant Templates " Technical report CMU-CS-03-105, January 2003.
  26. S. Tallam and R. Gupta, Bitwidth Aware Global Register Allocation , SIGACT-SIGPLAN POPL, 2003.
  27. J. Yang and R. Gupta, Frequent Value Locality and its Applications , ACM TECS, 1(1), 2002. in ASPLOS-IX, 2000.

Software Security

  1. Lazy Modular Upgrades in Persistent Object Stores Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications ( OOPSLA 2003 ), Anaheim , California , October 2003. [  PostScript  |   PDF  ]
  2. Ownership Types for Safe Region-Based Memory Management in Real-Time Java Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Martin Rinard.
    ACM Conference on Programming Language Design and Implementation ( PLDI 2003), San Diego , California , June 2003. [ PDF  ]
  3. Ownership Types for Object Encapsulation Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira. ACM Symposium on Principles of Programming Languages
    ( POPL 2003 ), New Orleans , Louisiana , January 2003. [PDF  ]
  4. Ownership Types for Safe Programming: Preventing Data Races and Deadlocks
    Chandrasekhar Boyapati, Robert Lee, Martin Rinard. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications ( OOPSLA 2002 ), Seattle , Washington , November 2002. [PDF  ]
  5. Korat: Automated Testing Based on Java Predicates Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov. ACM International Symposium on Software Testing and Analysis ( ISSTA 2002 ), Rome , Italy , July 2002. [PDF  ]
  6. "Applying `Practical' Formal Methods to the Specification and Analysis of Security Properties," in Proc. Information Assurance in Computer Networks (MMM-ACNS 2001), LCNS 2052, Springer-Verlag, St. Petersburg , Russia , May 21-23, 2001 . PDF
  7. "An Algorithm for Strengthening State Invariants Generated from Requirements Specifications", in Proc. Fifth IEEE Int'l Symp. on Requirements Engineering (RE'01), Aug. 27-31, 2001 , Toronto , Canada . PDF

Software Requirements

  1. "Tools for constructing requirements specifications: The SCR toolset at the age of ten," International Journal of Computer Systems Science and Engineering, 20(1): 19-35, January 2005. PDF
  2. Jane Huffman Hayes, Alexander Dekhtyar, Senthil Sundaram , Sarah Howard , “ Helping Analysts Trace Requirements: An Objective Look ,” in Proceedings of IEEE Requirements Engineering Congerence (RE) 2004, Kyoto , Japan , September 2004, pp. 249-261.
  3. Jane Huffman Hayes, Sandip Patel, and Liming Zhao , “ A Metrics-Based Software Maintenance Effort Model ,” In Proceedings of the 8th European Conference on Software Maintenance and Reengineering, Tampere, Finland, March 2004. pp. 254-258.
  4. Alex Dekhtyar, Jane Huffman Hayes , and Timm Menzies. “ Text is Software Too ,” in Proceedings of the Mining of Software Repositories Workshop, Edinburgh, Scotland, May 2004, pp. 22-26.
  5. Jeff Offutt, Yuan Yang, and Jane Huffman Hayes, “ SEEWeb: Making Experimental Artifacts Available ,” Workshop on Empirical Research in Software Testing (WERST), in SIGNOTES, Volume 29, Issue 5, September 2004, Boston, MA, July 2004.
  6. Jane Huffman Hayes , “ Building a Requirement Fault Taxonomy: Experiences from a NASA Verification and Validation Research Project ,” in Proceedings of the IEEE International Symposium on Software Reliability Engineering (ISSRE) , Denver , CO , November 2003, pp. 49 - 59.
  7. Jane Huffman Hayes , Alexander Dekhtyar, James Osbourne, “ Improving Requirements Tracing via Information Retrieval ,” accepted to the International Conference on Requirements Engineering, to be presented in Monterey, California, September 2003.
  8. Jane Huffman Hayes, Tim Lethbridge, and Dan Port, “ Evaluating Individual Contribution Toward Group Software Engineering Projects ," accepted to International Conference on Software Engineering (ICSE) 2003 Software Engineering Education and Training (SEET), to be presented in Portland, Oregon, May 2003. 

Formal Methods

  1. Ten Commandments Revisited: A Ten-Year Perspective on the Industrial Application of Formal Methods , Jonathan P. Bowen and Michael G. Hinchey (NASA). In Tiziana Margaria and Mieke Massink (eds.), FMICS 05: Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems, Lisbon , Portugal , 5-6 September 2005, pages 8-16. ACM , 2005.
  2. Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara , Silvia Filippini-Fantoni and Jonathan P. Bowen. In James Hemsley, Vito Cappellini and Gerd Stanke (eds.),EVA 2005 London Conference Proceedings, University College London, UK, 25-29 July 2005, pages 18.1-18.14.
  3. Copyright and Promotion: Oxymoron or Opportunity? , Teresa Numerico and Jonathan P. Bowen. In James Hemsley, Vito Cappellini and Gerd Stanke (eds.), EVA 2005 London Conference Proceedings, University College London, UK, 25-29 July 2005, pages 25.1-25.10.
  4. Grand Challenge 6 Workshop on Dependable Systems Evolution , Jonathan P. Bowen and Jim Woodcock (eds.). Workshop in association with the FM05 Formal Methods Conference, University of Newcastle upon Tyne , UK , 18 July 2005 .
  5. Personalization Issues for Science Museum Websites and E-learning , Silvia Filippini-Fantoni ( University of Paris I, Sorbonne , France ), Jonathan P. Bowen and Teresa Numerico. In Leo Tan Wee Hin and Ramanathan Subramaniam ( Nanyang Technological University , Singapore ) (eds.), E-learning and Virtual Science Centers, Section 2: Design Considerations, Chapter XIII, pages 272-291. Idea Group Publishing, Hershey , USA , 2005.
  6. The Development of Science Museum Websites: Case Studies , Jonathan P. Bowen, Jim Angus (National Institute of Neurological Disorder and Stroke, USA), Jim Bennett (Museum of the History of Science, University of Oxford, UK), Ann Borda, Alpay Beler (The Science Museum, London, UK), Andrew Hodges (University of Oxford, UK) and Silvia Filippini-Fantoni (University of Paris I, Sorbonne, France). In Leo Tan Wee Hin and Ramanathan Subramaniam ( Nanyang Technological University , Singapore ) (eds.), E-learning and Virtual Science Centers, Section 3: Case Studies, Chapter XVIII, pages 366-392. Idea Group Publishing, Hershey , USA , 2005.
  7. Report on BCS-FACS Christmas Meeting: The Verified Software Repository, 21 December 2004 , BCS London Offices , Paul Boca and Jonathan P. Bowen. EATCS Bulletin, 86 :257-261, June 2005.
  8. Program Verification and Semantics: Further Work, Science Museum, London. Teresa Numerico and Jonathan P. Bowen. IEEE Annals of the History of Computing, 27 (2), April-June 2005. In Events and Sightings, Chigusa Kita (ed.), pages 79-81.
  9. Search Engines and Online Museum Access on the Web ,Teresa Numerico Jonathan P. Bowen and Silvia Filippini-Fantoni (University of Paris I, Sorbonne, France). In David Bearman and Jennifer Trant (eds.), MW2005: Museums and the Web 2005, Vancouver , Canada , 13-16 April 2005. Archives & Museum Informatics , 2005. See abstract .
  10. Gender Issues and Museum Websites, Clara Baiget, Isabel Bernal, Sue Black, Nadia Blinova ,Stefania Boiano , Ann Borda, Jonathan P. Bowen, Wera Grahn ( University of Linköping, Sweden), Eleanor Lisney and Teresa Numerico. In David Bearman and Jennifer Trant (eds.), MW2005: Museums and the Web 2005, Vancouver , Canada , 13-16 April 2005. See abstract .
  11. Continuity Aspects of Embedded Reconfigurable Computing, Phan Cong Vinh, and Jonathan P. Bowen. Innovation in Systems and Software Engineering: A NASA Journal Springer-Verlag, 1 (1):41-53, April 2005.
  12. Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems , Phan C. Vinh and Jonathan P. Bowen. In Jerzy Rozenblit, Tim O'Neill and Jianfeng Peng (eds.), 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2005) , Greenbelt , Maryland , USA , 4-5 April 2005. IEEE Computer Society Press, pages 247-254, 2005.
  13. FACS Away Day , Paul Boca and Jonathan P. Bowen. FACS FACTS, BCS-FACS, Issue 2005-1 , pages 5-6, March 2005.
  14. FACS Christmas Meeting: The Verified Software Repository , Paul Boca and Jonathan P. Bowen. FACS FACTS BCS-FACS, Issue 2005-1 , pages 8-14, March 2005.
  15. Program Verification and Semantics: Further Work, Science Museum, London , Teresa Numerico and Jonathan P. Bowen. FACS FACTS , BCS-FACS , Issue 2005-1 , pages 18-25, March 2005.
  16. FORTEST Network: Final meeting . FACS FACTS, BCS-FACS, Issue 2005-1 , page 56, March 2005.
  17. Promotion and Copyright: Oxymoron or Opportunity? Teresa Numerico and Jonathan P. Bowen. Film on the Web Conference, Bradford , UK , 7-8 March 2005. See also slides .
  18. A Formal Analysis of MCDC and RCDC Test Criteria, Kalpesh Kapoor and Jonathan P. Bowen. Software Testing, Verification and Reliability , 15 (1):21-40, March 2005.
  19. Ordering Mutants to Minimise Test Effort in Mutation Testing, Kalpesh Kapoor, Jonathan P. Bowen. In Jens Grabowski and Brian Nielsen (eds.), Formal Approaches to Software Testing , 4th International Workshop, FATES 2004 , Linz , Austria , 21 September 2004 . Springer-Verlag, LNCS, Volume 3395, pages 195-209, February 2005.
  20. Pioneer who Prepared the Ground for Road to Java ,The Times Higher Education Supplement, 1677 :34, 4 February 2005 . Review of From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl, Olaf Owe, Stein Krogdahl and Tom Lyche (eds.), Springer-Verlag, Lecture Notes in Computer Science, Volume 2635, 2004. Also in FACS FACTS , Issue 2005-1, pages 57-59, March 2005.