Software Engineering
| Employs programming languages, compilers, and engineering design principles to drive the information technology industry |
James Arthur
Professor Emeritus
| Office: | KWII 2228 |
|---|---|
| Email: | arthur@vt.edu |
| Phone: | (540) 231-7538 |
| Website: | http://people.cs.vt.edu/~arthur/ |
| Office Hours: | TR 10 - 11, 122 McBryde |
|---|
Osman Balci
Professor
| Office: | McBryde 638 |
|---|---|
| Email: | balci@vt.edu |
| Phone: | (540) 231-4841 |
| Website: | http://manta.cs.vt.edu/balci/ |
| Office Hours: | TR: 11:00 - 12:00 or send e-mail for an appointment |
|---|
Stephen H. Edwards
Associate Professor
| Office: | 2214 KWII |
|---|---|
| Email: | edwards@cs.vt.edu |
| Phone: | (540) 231-5723 |
| Website: | http://people.cs.vt.edu/~edwards/ |
| Office Hours: | M: 10:15 -12, W: 10:15 - 11:15, F: 12:15 - 1:15 in McBryde 106 |
|---|
Marc Fisher II
Postdoctoral Researcher
| Office: | KWII 2208 |
|---|---|
| Email: | fisherii@cs.vt.edu |
| Phone: | 540-231-9245 |
| Website: | http://people.cs.vt.edu/fisherii/ |
| Office Hours: | By appointment |
|---|
William B. Frakes Northern Virginia Center
Associate Professor
| Office: | 302 Northern Virginia Center |
|---|---|
| Email: | frakes@vt.edu |
| Phone: | (703) 538-8497 |
| Website: | http://frakes.cs.vt.edu/ |
| Office Hours: |
|---|
Dennis Kafura
Professor
| Office: | KWII 2218 |
|---|---|
| Email: | kafura@cs.vt.edu |
| Phone: | (540) 231-5568 |
| Website: | http://people.cs.vt.edu/~kafura/ |
| Office Hours: | McBryde 122-B: MW 2:00 - 3:30 pm |
|---|
Barbara Ryder
J. Byron Maupin Professor and Department Head
| Office: | KWII 1107 |
|---|---|
| Email: | ryder@vt.edu |
| Phone: | (540)231-8452 |
| Website: | http://people.cs.vt.edu/~ryder |
| Office Hours: | By appointment |
|---|
Eli Tilevich
Associate Professor
| Office: | 2213 KWII |
|---|---|
| Email: | tilevich@cs.vt.edu |
| Phone: | (540) 231-3475 |
| Website: | http://people.cs.vt.edu/~tilevich |
| Office Hours: | By Appointment |
|---|
2013
Allevato, A., and S. H. Edwards,
"Dereferee: instrumenting C++ pointers with meaningful runtime diagnostics",
Software: Practice and Experience: John Wiley & Sons, Ltd, 2013.
Buffardi, K., and S. H. Edwards,
"Impacts of adaptive feedback on teaching test-driven development",
Proceeding of the 44th ACM technical symposiumProceeding of the 44th ACM technical symposium on Computer science education - SIGCSE '13, Denver, Colorado, USANew York, New York, USA, ACM Press, pp. 293-298, March, 2013.
Polys, N. F., F. Bacim, M. Setareh, and B. Jones,
"Building novel Web3D user interfaces: a case study from architecture and structural engineering",
18th International Conference on 3D Web Technology (Web3D '13), San Sebastian, ES, ACM SIGGRAPH, 2013.
Wei, S., and B. G. Ryder,
"Practical Blended Taint Analysis for JavaScript",
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 07/2013.
2012
Chigani, A., and O. Balci,
"The Process of Architecting for Software / System Engineering",
International Journal of System of Systems Engineering, vol. 3, no. 1, pp. 1-23, 2012.
Ryder, B. G., and B. Wiedermann,
"Language Design and Analyzability: A Retrospective",
Software Practice and Experience, 2012, in press.
Song, M., and E. Tilevich,
"Reusing Non-Functional Concerns Across Languages",
AOSD '12: Proceedings of the 11th International Conference on Aspect-Oriented Software Development, 2012.
Edwards, S. H., Z. Shams, M. Cogswell, and R. C. Senkbeil,
"Running students' software tests against each others' code: New life for an old "gimmick"",
Proceedings of the 43rd ACM Technical Symposium on Computer Science Education, Raleigh, NC, ACM Press, New York, NY, 2012.
Allevato, A., and S. H. Edwards,
"RoboLIFT: Engaging CS2 students with testable, automatically evaluated Android applications",
Proceedings of the 43rd ACM Technical Symposium on Computer Science Education, Raleigh, NC, ACM Press, New York, NY, 2012.
Soundararajan, S., J. D. Arthur, and O. Balci,
"A Methodology for Assessing Agile Software Development Methods",
Proceedings of the Agile 2012 Conference (Aug. 13–17), Dallas, TX, IEEE, Piscataway, NJ, 2012.
Barksdale, J. T., and D. S. McCrickard,
"Software product innovation in agile usability teams: An analytical framework of social capital, network governance, and usability knowledge management",
International Journal of Agile and Extreme Software Development, vol. 1, no. 1, pp. 52-77, 06/2012.
Buffardi, K., and S. H. Edwards,
"Impacts of teaching test-driven development to novice programmers",
International Journal of Information and Computer Science, vol. 1, no. 6, pp. 135-143, 2012.
Buffardi, K., and S. H. Edwards,
"Exploring influences on student adherence to test-driven development",
Proceedings of the 17th ACM Annual Conference on Innovation and Technology in Computer Science Education - ITiCSE '12, Haifa, Israel, ACM Press, pp. 105-110, July, 2012.
2011
Snyder, J., S. H. Edwards, and M. A. Pérez-Quiñones,
"LIFT: Taking GUI unit testing to new heights",
Proceedings of the 42nd ACM Technical Symposium on Computer Science Education, New York, NY, USA, ACM, pp. 643–648, 2011.
Fisher, M., J. Wloka, F. Tip, and B. G. Ryder,
"An Evaluation of Change-based Coverage Criteria",
ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools, Szeged, Hungary, September 2011.
Shah, E., and E. Tilevich,
"Reverse-engineering user interfaces to facilitate porting to and across mobile devices and platforms",
NEAT '11: in Proceedings of the NExt-generation Applications of smarTphones, 2011.
Kwon, Y. - W., and E. Tilevich,
"A declarative approach to hardening services against QoS vulnerabilities",
MESOCA '11: Proceedings of the 2011 IEEE International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems, 2011.
Kwon, Y. - W., E. Tilevich, and W. Cook,
"Which middleware platform should you choose for your next remote service?",
Service Oriented Computing and Applications, vol. 5: Springer London, pp. 61-70, 2011.
Kang, P., E. Tilevich, S. Varadarajan, and N. Ramakrishnan,
"Maintainable and reusable scientific software adaptation: democratizing scientific software adaptation",
AOSD '11: Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011.
Rafique, M. M., A. R. Butt, and E. Tilevich,
"Reusable software components for accelerator-based clusters",
Journal of Systems and Software, vol. 84, no. 7, pp. 1071–1081, 2011.
Tilevich, E., and S. Gopal,
"Expressive and Extensible Parameter Passing for Distributed Object Systems",
ACM Transactions on Software Engineering and Methodology, vol. 21, no. 1, New York, NY, USA, ACM, 2011.
Adams, K. P., and D. Gračanin,
"Towards a Framework for Weapon Control Systems",
34th Software Engineering Workshop (SEW-34), Limerick, Ireland, 2011.
2010
Wloka, J., E. I. W. Host, and B. G. Ryder,
"Tool Support for Change-centric Test Development",
IEEE Software, vol. July/August 2010, pp. 1--8, 2010.
Lee, B., B. Wiedermann, M. Hirzel, R. Grimm, and K. S. McKinley,
"Synthesizing dynamic bug detectors for foreign language interfaces",
The ACM conference on Programming Language Design and Implementation (PLDI), pp. 36–49, 07/2010.
Fisher, M., B. Dufour, S. Basu, and B. Ryder,
"Exploring the Impact of Context Sensitivity on Blended Analysis",
International Conference on Software Maintenance, 2010.
Fisher, M., L. Marrs, and B. Ryder,
"Hi-C: Diagnosing and Fixing Object Churn in Framework-based Applications",
18th ACM SIGSOFT Symposium on the Foundations of Software Engineering, 11/2010.
Dumitraş, T., I. Neamtiu, and E. Tilevich,
"Report on the second ACM workshop on hot topics in software upgrades (HotSWUp'09)",
SIGOPS Oper. Syst. Rev., vol. 44, New York, NY, USA, ACM, pp. 146–152, December, 2010.
Dumitras, T., P. Narasimhan, and E. Tilevich,
"To upgrade or not to upgrade: impact of online upgrades across multiple administrative domains",
Onward '10: Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2010.
Henthorne, C., and E. Tilevich,
"Sonifying performance data to facilitate tuning of complex systems: performance tuning: music to my ears",
Onward '10: Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2010.
Kwon, Y. - W., E. Tilevich, and W. R. Cook,
"An Assessment of Middleware Platforms for Accessing Remote Services",
SCC '10: Proceedings of the 2010 IEEE International Conference on Services Computing, 2010.
Maxwell, E. K., G. Back, and N. Ramakrishnan,
"Diagnosing memory leaks using graph mining on heap dumps",
16th ACM SIGKDD international conference on Knowledge discovery and data mining - KDD '10, Washington, DC, USANew York, New York, USA, ACM Press, pp. 115, 06/2010.
Barksdale, J. T., and D. S. McCrickard,
"Concept Mapping in Agile Usability: A Case Study",
ACM Conference on Human Factors in Computing Systems (CHI '10), Atlanta, GA, 04/2010.
2009
Myers, D. S., and O. Balci,
"A Web-Based Visual Simulation Architecture",
International Journal of Modelling and Simulation, vol. 29 no. 2, pp. 137-148, 2009.
Kim, D. K., M. Song, E. Tilevich, C. J. Ribbens, and S. A. Bohner,
"Dynamic Software Updates for Accelerating Scientific Discovery",
International Conference on Computational Science (ICCS 2009): Springer, Heidelberg, pp. 237-247, 2009.
Edwards, S. H., J. Snyder, A. Allevato, M. A. Pérez-Quiñones, D. Kim, and B. Tretola,
"Comparing effective and ineffective behaviors of student programmers",
Fifth International Workshop on Computing Education Research - ICER '09, Berkeley, CA, USA, ACM Press, pp. 3, 2009.
Polys, N., S. Visamsetty, P. Battarechee, and E. Tilevich,
"Design Patterns in Componentized Scenegraphs",
2nd Workshop on Software Engineering and Architectures for Realtime Interactive Systems (SEARIS@VR2009) - IEEE VR 2009 Workshop Proceedings, Aachen, Shaker Verlag, 2009.
Polys, N., S. Visamsetty, and E. Tilevich,
"The Value of Patterns in Deep Media Scenegraphs",
2nd Workshop on Software Engineering and Architectures for Realtime Interactive Systems (SEARIS@VR2009) - IEEE VR 2009 Workshop Proceedings, Aachen, Shaker Verlag, 2009.
Geay, E., M. Pistoia, T. Tateishi, B. G. Ryder, and J. Dolby,
"Modular String-sensitive Permission Analysis with Demand-driven Precision",
The 31st International Conference on Software Engineering (ICSE), 05/2009.
Wloka, J., B. G. Ryder, F. Tip, and X. Ren,
"Safe-Commit Analysis to Facilitate Team Software Development",
The 31st International Conference on Software Engineering (ICSE), 05/2009.
Wloka, J., B. G. Ryder, and F. Tip,
"JUnitMX – A change-aware Unit Testing Tool (Demo Paper)",
31st International Conference on Software Engineering (ICSE), 05/2009.
Cook, W. R., E. Tilevich, A. Ibrahim, and B. Wiedermann,
"Language design for distributed objects",
The International Workshop on Distributed Objects for the 21st Century (DO21), pp. 1–4, 2009.
Wiedermann, B.,
Integrating Programming Languages and Databases via Program Analysis and Language Design,
: The University of Texas at Austin, 2009.
Ibrahim, A., B. Wiedermann, and W. R. Cook,
Coordinating Database and Programming Language Research,
, no. TR-09-40: The University of Texas at Austin, 2009.
Cook, W. R., B. Delaware, T. Finsterbusch, A. Ibrahim, and B. Wiedermann,
Model Transformation by Partial Transformation of Model Interpreters,
, no. TR-09-09: The University of Texas at Austin, 2009.
Edwards, S. H., and G. Kulczycki,
"Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering",
Lecture Notes in Computer Science, vol. 5791: Springer Verlag, 2009.
Song, M., and E. Tilevich,
"Enhancing Source-Level Programming Tools with An Awareness of Transparent Program Transformations",
OOPSLA '09: Proceedings of the 2009 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, 2009.
Ibrahim, A., Y. Jiao, E. Tilevich, and W. R. Cook,
"Remote Batch Invocation for Compositional Object Services",
ECOOP '09: Proceedings of the 23rd European Conference on Object-Oriented Programming, 2009.
Hussein, K., E. Tilevich, I. I. Bukvic, and S. B. Kim,
"Sonification Design Guidelines to Enhance Program Comprehension",
ICPC '09: Proceedings of the 17th IEEE International Conference on Program Comprehension, 2009.
2008
Tilevich, E., and G. Back,
"Program, Enhance Thyself! Demand-Driven Pattern-Oriented Program Enhancement",
AOSD '08: Proceedings of the Seventh International Conference on Aspect-Oriented Software Development, Brussels, Belgium, ACM Press, April, 2008.
Balci, O., and W. F. Ormsby,
"Network-Centric Military System Architecture Assessment Methodology",
International Journal of System of Systems Engineering, 2008.
Ravichandar, R., and J. D. Arthur,
"Cohesion, Coupling and Abstraction Level: Criteria for Capability Identification",
Journal of Software, vol. 3, no. 1, pp. 1-8, January 2008.
Bhatia, S., and J. D. Arthur,
"Structured Information Flow (SIF) Model for Automated Information Flow Infrastructure for Organizations",
12th World Multi-Conference on Systemics, Cybernetics and Informatics: WM-SCI'08, Orlando, FL, June 2008.
Thornton, M., and S. H. Edwards,
"A data type to exploit online data sources",
Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, Madrid, Spain, June-July, 2008.
Turner, S. A., R. Quintana-Castillo, M. A. Pérez-Quiñones, and S. H. Edwards,
"Misunderstandings about object-oriented design: experiences using code reviews",
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, New York, NY, ACM Press, pp. 97–101, 2008.
Thornton, M., S. H. Edwards, R. P. Tan, and M. A. Pérez-Quiñones,
"Supporting student-written tests of GUI programs",
39th SIGCSE Technical Symposium on Computer Science Education - SIGCSE'08, Portland, OR, ACM Press, pp. 537–541, 03/2008.
Tansey, W., and E. Tilevich,
"Efficient Automated Marshaling of C++ Data Structures for MPI Applications",
In Proceedings of the 22nd Annual IEEE International Parallel and Distributed Processing Symposium (IPDPS 2008), April, 2008.
Tilevich, E., and Y. Smaragdakis,
"NRMI: Natural and Efficient Middleware",
IEEE Transactions on Parallel and Distributed System (TPDS), vol. 19, no. 2, pp. 174-187, February, 2008.
Dufour, B., B. G. Ryder, and G. Sevitsky,
"A Scalable Technique for Characterizing the Usage of Temporaries in Framework-intensive Java Applications",
Proceedings of the ACM SIGSOFT Foundations of Software Engineering Conference, November, 2008.
Frakes, W. B., G. Kulczycki, and N. Moodliar,
"An Empirical Comparison of Methods for Reengineering Procedural Software Systems to Object-Oriented Systems",
10th International Conference on Software Reuse, Beijing, China, May 2008.
Kulczycki, G., and A. Singh,
"Proving Correctness for Pointer Programs in a Verifying Compiler",
The Sixth NASA Langley Formal Methods Workshop, Newport News, VA, April 2008.
Edelman, A., W. B. Frakes, and C. Lillie,
"SAM: Simple API for Object-Oriented Code Metrics",
10 International Conference on Software Reuse, H. Mei. Beijing, 2008.
Frakes, W. B., G. Kulczycki, and N. Moodliar,
" An Empirical Comparison of Methods for Reengineering Procedural Software Systems to Object-Oriented Systems",
10 International Conference on Software Reuse: H. Mei. Beijing, 2008.
Polys, N., D. Brutzman, A. Steed, and J. Behr,
"Future Standards for Immersive: Report on the IEEE VR 2007 Workshop",
IEEE Computers Graphics & Applications, vol. 28, no. 2, 2008.
Abstract
Blackburn, S. M., K. S. McKinley, R. Garner, C. Hoffmann, A. M. Khan, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, et al.,
"Wake up and smell the coffee: evaluation methodology for the 21st century",
Communications of the ACM, vol. 51, no. 8, pp. 83–89, 2008.
Wiedermann, B., A. Ibrahim, and W. R. Cook,
"Interprocedural query extraction for transparent persistence",
The ACM SIGPLAN conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA), pp. 19–36, 2008.
Hardekopf, B., B. Wiedermann, W. R. Cook, and C. Lin,
A Unifying Framework for Describing the Space of Pointer Analysis Approximations (Extended Version),
, no. TR-08-32: The University of Texas at Austin, 2008.
Williams, L., D. S. McCrickard, L. Layman, and K. Hussein,
"Eleven Guidelines for Implementing Pair Programming in the Classroom",
2008 Conference on Agile Software Development (Agile 2008), Toronto, Canada, 06/2008.
2007
Balci, O., and W. F. Ormsby,
"Conceptual Modeling for Designing Large-Scale Simulations",
Journal of Simulation, vol. 1, no. 3, pp. 175-186, 2007.
Balci, O., and W. F. Ormsby,
"Scenario Simulation for Network-Centric Technology Assessment",
Recent Advances in Modeling and Simulation Tools for Communication Networks and Services, New York, NY, Springer, pp. 203-226, 2007.
Arthur, J. D., R. E. Nance, A. Bazaz, and O. Balci,
"Mitigating Security Risks in Systems that Support Pervasive Services and Computing: Access-Driven Verification, Validation and Testing",
Proceedings of the IEEE International Conference on Pervasive Services (ICPS'07), Istanbul, Turkey, pp. 109-117, 2007.
Archuleta, J. S., W. - C. Feng, and E. Tilevich,
"A Pluggable Framework for Parallel Pairwise Sequence Search",
International Conference of the IEEE Engineering in Medicine and Biology Society, Lyon, France, August, 2007.
Archuleta, J. S., E. Tilevich, and W. - C. Feng,
"A Maintainable Software Architecture for Fast and Modular Bioinformatics Sequence Search",
23rd IEEE International Conference on Software Maintenance, Paris, France, October, 2007.
Bohner, S. A., R. Ravichandar, and J. D. Arthur,
"Model-Based Engineering for Change-Tolerant Systems",
Journal of Innovation in Systems and Software Engineering, vol. 3, no. 4, pp. 237-257, December 2007.
Sidky, A., J. D. Arthur, and S. A. Bohner,
"A Disciplined Approach to Adopting Agile Practices: The Agile Adoption Process",
Innovations in Software Engineering, vol. 3, no. 3, pp. 203-216, September 2007.
Nance, R. E., and J. D. Arthur,
"Software Requirments Engineering: Exploring the Role in Simulation Model Development",
Operations Research Society Journal of Simulation, vol. 1, no. 3, pp. 159-174, August 2007.
Ravichandar, R., J. D. Arthur, and M. A. Perez-Quinones,
"Pre-Requirement Specification Traceability: Bridging the Complexity Gap through Capabilities",
International Symposium on the Grand Challenges in Traceability (GTC '07), Lexington, KY, pp. 88-97, March 2007.
Pyla, P. S., H. R. Hartson, J. D. Arthur, T. L. Smith-Jackson, and M. A. Perez-Quinones,
"Evaluating Ripple: Experiences from a Cross Pollinated SE-UE Study",
Computer/Human Interaction Conference (CHI 2007); Workshop: Increasing the Impact of Usability Work in Software Development, San Jose, CA, April 2007.
Sidky, A., and J. D. Arthur,
"Determining the Applicability of Agile Practices to Mission and Life-critical Systems",
Proceedings of the 31st Annual IEEE Software Engineering Workshop (in conjunction with 3rd IEEE Systems and Software Week), Columbia, MD, pp. 3-12, March 2007.
Chigani, A., and J. D. Arthur,
"The Implications of Network-Centric Software Systems on Software Architecture: A Critical Evaluation",
45th ACM Southeast Conference (ACMSE 2007), Winston-Salem, NC, pp. 70-75, March 2007.
Chigani, A., J. D. Arthur, and S. A. Bohner,
"Architecting Network-Centric Software Systems: A Style-Based Beginning",
Proceedings of the 31st Annual IEEE Software Engineering Workshop (in conjunction with 33rd IEEE Systems and Software Week), Columbia, MD, pp. 290-299, March 2007.
Ravichandar, R., J. D. Arthur, and R. P. Broadwater,
"Reconciling Synthesis and Decomposition: A Composite Approach to Capability Identification",
14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), Tucson, AZ, pp. 287-296, March 2007.
Ravichandar, R., J. D. Arthur, and S. A. Bohner,
"Capabilities Engineering: Constructing Change-Tolerant Systems",
Proceedings of the Fortieth Annual International Conference on System Sciences (CD-ROM), The Big Island, Hawaii, Computer Society Press, January 2007.
Bazaz, A., and J. D. Arthur,
"Towards a Taxonomy of Vulnerabilities",
Proceedings of the Fortieth Annual International Conference on System Sciences (CD-ROM) , The Big Island, Hawaii, Computer Society Press, January 2007.
Edwards, S. H., and W. Haggard,
"A flexible strategy for embedding and configuring run-time contract checks in .NET components",
International Journal of Software Engineering and Knowledge Engineering, vol. 17, no. 3, pp. 315–338, June, 2007.
Edwards, S. H., and M. A. Pérez-Quiñones,
"Experiences using test-driven development with an automated grader",
Journal of Computing Sciences in Colleges, vol. 22, no. 3, pp. 44-50, 2007.
Turner, S. A., M. A. Pérez-Quiñones, and S. H. Edwards,
"Effect of interface style in peer review comments for UML designs",
Journal of Computing Sciences in Colleges, vol. 22, no. 3, pp. 214–220, 2007.
Edwards, S. H., and V. Ly,
"Mining the data in programming assignments for educational research",
Proceedings of the International Conference on Education and Information Systems: Technologies and Applications (EISTA’07), July, 2007.
Thornton, M., S. H. Edwards, and R. P. Tan,
"Helping students test programs that have graphical user interfaces ",
International Conference on Education and Information Systems: Technologies and Applications (EISTA’07), July, 2007.
Henthorne, C., and E. Tilevich,
"Code Generation on Steroids: Enhancing COTS Code Generators via Generative Aspects",
2nd International Workshop on Incorporating COTS Software into Software Systems: Tools and Techniques (IWICSS), May, 2007.
Zhang, W., and B. G. Ryder,
"Automatic Construction of Accurate Application Call Graph With Library Call Abstraction For Java",
Journal of Software Maintenance and Evolution: Research and Practice, June, 2007.
Fu, C., and B. G. Ryder,
"Exception-chain Analysis: Revealing Exception Handling Architecture in Java Server Applications",
Proceedings of the 29th International Conference on Software Engineering (ICSE), pp. 230-239, May, 2007.
Dufour, B., B. G. Ryder, and G. Sevitsky,
"Blended Analysis for Performance Understanding of Framework-based Applications",
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pp. 118-128, July, 2007.
Ren, X., and B. G. Ryder,
"Heuristic Ranking of Java Program Edits for Fault Localization",
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), July, 2007.
Zhang, W., and B. G. Ryder,
"“Discovering Accurate Interclass Test Dependences",
Proceedings of the ACM SIGPLAN Workshop on Program Analysis for Software Tools and Engineering (PASTE), 2007.
Chesley, O., X. Ren, B. G. Ryder, and F. Tip,
"Crisp - A Fault Localization Tool for Java Programs",
Proceedings of the 29th International Confeence on Software Engineering, May, 2007.
Kulczycki, G., and A. Singh,
"Accessibility Preserving Operations for Pointers",
2007 Resolve Workshop, Clemson, SC, June 2007.
Kulczycki, G., M. Sitaraman, H. Keown, and B. Weide,
"Abstracting Pointers for a Verifying Compiler",
Proceedings 31st Annual Software Engineering Workshop, Baltimore, MD, March 2007.
Fisher II, M., S. Elbaum, and G. Rothermel,
"Dynamic characterization of web application interfaces",
Fundamental Approaches to Software Engineering, Braga, Portugal, 03/2007.
Wiedermann, B., and W. R. Cook,
"Extracting queries by static analysis of transparent persistence",
The ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 199–210, 2007.
2006
Balci, O., and W. F. Ormsby,
"Quality Assessment of Modeling and Simulation of Network-Centric Military Systems",
Modeling and Simulation Tools for Emerging Telecommunications Networks: Needs, Trends, Challenges and Solutions, New York, NY, Springer, pp. 365-382, 2006.
Schneider, T. W., and O. Balci,
"VTQuest: A Voice-based Multimodal Web-based Software System for Maps and Directions",
Proceedings of the 44th ACM Southeast Conference – ACMSE 2006, pp. 300-305, 2006.
Helms, J. W., J. D. Arthur, D. Hix, and H. R. Hartson,
"A Field Study of the Wheel-A Usability Engineering Process Model",
Journal of Systems and Software, vol. 79, no. 6, pp. 841-858, June 2006.
Bazaz, A., J. D. Arthur, and J. G. Tront,
"Modeling Security Vulnerabilities: A Constraints and Assumptions Perspective",
Second IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC '06), Indianapolis, IN, pp. 95-102, September 2006.
Vastani, H., S. H. Edwards, and M. A. Pérez-Quiñones,
"Supporting on-line direct markup and evaluation of students’ projects",
Computers in Education Journal, vol. 16, no. 3, pp. 88–99, July-Sept, 2006.
Nance, R. E., and J. D. Arthur,
"Software Requirements Engineering: Exploring the Role in Simulation Model Development",
Proceedings of the 2006 Operational Research Society Simulation Workshop (SW'06), Coventry, England, pp. 117-127, March 2006.
Edwards, S. H., M. A. Pérez-Quiñones, M. Phillips, and J. RajKumar,
"Graphing performance on programming assignments to improve student understanding",
Proceedings of the 9th iNEER International Conference on Engineering Education, San Juan, Puerto Rico, pp. 6, 07/2006.
Humphries, W., J. Gawrilow, S. Turner, M. A. Pérez-Quiñones, and S. H. Edwards,
"Helping students visualize their grade performance",
Proceedings of the American Society for Engineering Education Annual Conference, ASEE, Chicago, IL, pp. 11, 2006.
Agarwal, R., S. H. Edwards, and M. A. Pérez-Quiñones,
"Designing an adaptive learning module to teach software testing",
Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, Houston, Texas, USA, ACM Press, New York, NY, pp. 259–263, March, 2006.
Powell, A., S. Turner, M. Tungare, M. A. Pérez-Quiñones, and S. H. Edwards,
"An online teacher peer review system",
Proceedings of Society for Information Technology and Teacher Education International Conference 2006, AACE, Chesapeake, VA, 2006, pp. 126–133, 2006.
Powell, A., S. Turner, M. Tungare, M. A. Pérez-Quiñones, and S. H. Edwards,
"An online peer review system",
Eastern Educational Research Association 2006 Annual Conference, Hilton Head, SC, February 22–25, 2006.
Tilevich, E., and Y. Smaragdakis,
"Transparent Program Transformations in the Presence of Opaque Code",
ACM Generative Programming and Component Engineering (GPCE 2006), 2006.
Tilevich, E., Y. Smaragdakis, and M. Handte,
"Appletizing: Running Legacy Java Code Remotely From a Web Browser",
IEEE International Conference on Software Maintenance (ICSM 2005), September, 2006.
Stoerzer, M., B. G. Ryder, X. Ren, and F. Tip,
"Finding Failure-Inducing Changes in Java Programs using Change Classification",
Proceedings of the 14th SIGSOFT Conference on the Foundations of Software Engineering, pp. 57-68, November, 2006.
Ren, X., O. Chesley, and B. G. Ryder,
"CRISP, A Debugging Tool for Java Programs",
IEEE Transactions on Software Engineering, vol. 32, no. 9, pp. 1-16, Septermber, 2006.
Zhang, W., and B. G. Ryder,
"Constructing Accurate Application Call Graph For Java To Model Library Callbacks",
6th International Workshop on Source Code Analysis and Manipulation (SCAM), September, 2006.
Kulczycki, G., and J. Vasudeo,
"Simplifying Reasoning about Objects with Tako",
Proceedings Specification and Verification of Component-Based Systems (FSE014 SAVCBS '06) Workshop, Portland, OR, November 2006.
Frakes, W. B., G. Kulczycki, and C. Saxena,
"Case Study of a Method for Reengineering Procedural Systems into OO Systems ",
Proceedings 9th International Conference on Software Reuse (ICSR '06), Torino, Italy, June 2006.
Vasudeo, J., and G. Kulczycki,
"Walking the Line between Java and Resolve: Tako and the Verification Grand Challenge",
Resolve 2006 Proceedings, Blacksburg, VA, March 2006.
Tortorella, M., and W. B. Frakes,
"A Computer Implementation of the Separate Maintenance Model for Complex System Reliability",
Quality and Reliability Engineering International, 22, vol. 22, pp. 757-770, 2006.
Frakes, W. B., G. Kulczycki, and C. Saxena,
"Case Study of a Method for Reengineering Procedural Systems into OO Systems",
Proc. 9th Int'l Conference on Software Reuse (ICSR'06), June, 2006.
Frakes, W. B.,
"Reuse and Safety",
International Workshop on Reuse and Safety, Torino, Italy, June, 2006.
Fisher II, M., G. Rothermel, D. Brown, M. Cao, C. Cook, and M. Burnett,
"Integrating automated test generation into the WYSIWYT spreadsheet testing methdology",
ACM Transactions on Software Engineering and Methodology, vol. 15, no. 2, pp. 150-194, 04/2006.
Elbaum, S., K. - R. Chilakamarri, M. Fisher II, and G. Rothermel,
"Web application characterization through directed requests",
International Workshop on Dynamic Analysis, Shanghai, China, 05/2006.
Fisher II, M., G. Rothermel, T. Creelan, and M. Burnett,
"Scaling a dataflow testing methodology to the multiparadigm world of commercial spreadsheets",
IEEE International Symposium on Software Reliability Engineering, Raleigh, NC, USA, 11/2006.
Carver, J., M. Fisher II, and G. Rothermel,
"An empirical evaluation of a testing and debugging methodology for Excel",
ACM-IEEE International Symposium on Empirical Software Engineering, Rio de Janeiro, Brazil, 09/2006.
Blackburn, S. M., R. Garner, C. Hoffmann, A. M. Khang, K. S. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, et al.,
"The DaCapo benchmarks: Java benchmarking development and analysis",
The ACM SIGPLAN conference on Object-Oriented Programming Systems, Languages, and Applications (OOPLSA), pp. 169–190, 2006.
Blackburn, S. M., R. Garner, C. Hoffmann, A. M. Khang, K. S. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, et al.,
The DaCapo Benchmarks: Java Benchmarking Development and Analysis (Extended Version),
, no. TR-CS-06-01: Australia National University, 2006.
2005
Sabah, M., and O. Balci,
"Web-based Random Variate Generation for Stochastic Simulations",
International Journal of Simulation and Process Modelling, vol. 1, no. 1-2, pp. 16-25, 2005.
Balci, O.,
"Challenges in Credibility Assessment of System Dynamics Models for National Security",
Proceedings of the Workshop on Systems Dynamics Modeling of Physical and Social Systems for National Security, Chantilly, VA, 2005.
Arthur, J. D., and M. K. Groener,
"An Operational Model for Structuring the Requirements Generation Process",
The Requirements Engineering Journal, vol. 10, no. 1, pp. 45-62, January 2005.
Pyla, P. S., M. A. Perez-Quinones, J. D. Arthur, and H. R. Hartson,
"Model-Based 'Ripple' Framework for Integrating Usability and Software Engineering Lifecycles",
Human-Centered Software Engineering-Integrating Usability in the Software Development Lifecycle, vol. 8: Kluwer/Springer, October 2005.
Turner, S. A., M. A. Pérez-Quiñones, and S. H. Edwards,
"minimUML: A minimalist approach to UML diagramming for early computer science education",
Journal of Educational Resources in Computing, vol. 5, no. 4, pp. 1–28, 2005.
Cheon, Y., G. T. Leavens, M. Sitaraman, and S. H. Edwards,
"Model variables: Cleanly supporting abstraction in Design by Contract",
Software: Practice and Experience, vol. 35, no. 6, May, 2005.
Edwards, S. H., and D. M. Hodge,
"Lessons learned by comparing on-line education strategies across disciplines",
Journal of Systemics, Cybernetics and Informatics, vol. 2, no. 6, 2005.
Lobo, L. O., and J. D. Arthur,
"An Objectives-Driven Process for Selecting Methods to Support Requirments Engineering Activities",
29th Annual Software Engineering Workshop, Greenbelt, MD, pp. 118-130, April 2005.
Lobo, L. O., and J. D. Arthur,
"Local and Global Analysis Complementary Activities for Increasing the Effectiveness of Requirements Verification and Validation",
Proceedings of the 43rd Annual ACM Southeast Conference, vol. 2, Kennesaw, GA, pp. 2-256--2-261, March 2005.
Vastani, H., S. H. Edwards, and M. A. Pérez-Quiñones,
"Supporting online direct markup and evaluation of students’ projects",
Proceedings of the American Society for Engineering Education Annual Conference, ASEE, Portland, OR, pp. 12pp, 06/2005.
Tilevich, E., and Y. Smaragdakis,
"Binary Refactoring: Improving Code Behind the Scenes",
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), May, 2005.
Ryder, B. G., M. L. Soffa, and M. Burnett,
"The Impact of Software Engineering Research on Modern Programming Languages",
ACM Transactions on Software Engineering Methodologies, vol. 14, no. 4, pp. 431-477, October, 2005.
Milanova, A., A. Rountev, and B. G. Ryder,
"Parameterized Object Sensitivity for Pointsto Analysis for Java",
extended version of ISSTA 2002 paper solicited for journal publication in ACM Transactions on Software Engineering Methodology, vol. 14, no. 1, pp. 1-41, January, 2005.
Ren, X., F. Shah, F. Tip, B. G. Ryder, and O. Chesley,
"Chianti: A Tool for Practical Change Impact Analysis of Java Programs",
Proceedings of the ACM SIGPLAN Conference on Object Oriented Programming, Systems and Applications (OOPSLA), pp. 432-448, October, 2005.
Fu, C., and B. G. Ryder,
"Navigating Error Recovery Code in Java Applications",
Eclipse Technology ExchangeWorkshop, held at ACM SIGPLAN Conference on Object Oriented Programming Languages, Systems and Applications (OOPSLA), October, 2005.
Milanova, A., and B. G. Ryder,
"A Framework for Context Sensitivity Using Annotated Inclusion Constraints for Flow Analysis of Object-oriented Programs",
Proceedings of the 21st International Conference on Software Maintenance (ICSM), Budapest, Hungary, September, 2005.
Chesley, O., X. Ren, and B. G. Ryder,
"Crisp: A Debugging Tool for Java Programs",
Proceedings of the 21st International Conference on Software Maintenance (ICSM), Budapest, Hungary, September, 2005.
Kulczycki, G., M. Sitaraman, B. W. Weide, and A. Rountev,
"A Specification-Based Approach to Reasoning about Pointers",
Proceedings Specification and Verification of Component-Based Systems (ESEC/FSE SAVCBS '05) Workshop, vol. 31, issue 2, Lisbon, Portugal, September 2005.
Frakes, W. B., and K. Kang,
"Software Reuse Research: Status and Future",
IEEE Transactions on Software Engineering, vol. 31, no. 7, pp. 529-536, July, 2005.
Elbaum, S., G. Rothermel, S. Karre, and M. Fisher II,
"Leveraging user session data to support web application testing",
IEEE Transactions on Software Engineering, vol. 31, no. 3, pp. 187-202, 03/2005.
Fisher II, M., and G. Rothermel,
"The EUSES Spreadsheet Corpus: A shared resource for supporting experimentation with spreadsheet dependability mechanisms",
Workshop on End-User Software Engineering, St. Louis, MO, USA, 05/2005.
2004
Edwards, S. H., and D. N. Barnette,
"Experiences using tablet PCs in a programming laboratory",
Proceedings of the 5th Conference on Information Technology Education, Salt Lake City, UT, pp. 160-164, 10/2004.
Balci, O., and R. E. Nance,
"Visual Simulation Environment Lessons Learned",
Proceedings of the Simulation Workshop: UK Operations Research Society and ACM SIGSIM, pp. 75-82, 2004.
Balci, O.,
"Quality Assessment, Verification, and Validation of Modeling and Simulation Applications",
Proceedings of the 2004 Winter Simulation Conference, Washington, DC, IEEE, pp. 122-129, 2004.
Arthur, J. D., and M. K. Groener,
"Verification and Validation of Operational Software: A Methodology Critique",
Software Process: Improvement and Practice, vol. 9, no. 13, pp. 157-171, September 2004.
Edwards, S. H., M. Sitaraman, B. W. Weide, and J. Hollingsworth,
"Contract-checking wrappers for C++ classes",
IEEE Transactions on Software Engineering, vol. 30, no. 11, pp. 794–810, November, 2004.
Pyla, P. S., M. A. Perez-Quinones, J. D. Arthur, and H. R. Hartson,
"What We Should Teach, but Don't: Proposal for a Cross Pollinated HCI-SE Curriculum",
2004 Frontiers in Education Conference, Savannah, GA, pp. S1H-17--S1H-22, October 2004.
Bazaz, A., J. D. Arthur, and R. C. Marchany,
"Reflections on Operating in Hostile Environments",
Hawaii International Conference on System Science (HICSS-37), vol. 7, Hawaii, pp. 190-199, January 2004.
Yilmaz, L., and S. H. Edwards,
"On the analysis and detection of collaborative behavior conflicts within the DEVS formalism",
Proceedings of the 2004 UK Simulation Workshop, University of Birmingham, UK, 2004.
Edwards, S. H.,
"Using software testing to move students from trial-and-error to reflection-in-action",
Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, ACM, pp. 26–30, 2004.
Tilevich, E., and Y. Smaragdak,
"Portable and Efficient Distributed Threads for Java",
ACM/IFIP/USENIX 5th International Middleware Conference (Middleware 2004), October, 2004.
Liogkas, N., B. MacIntyre, E. D. Mynatt, Y. Smaragdakis, E. Tilevich, and S. Voida,
"Automatic Partitioning: Prototyping Ubiquitous-Computing Applications",
IEEE Pervasive Computing, July-September, 2004.
Fu, C., A. Milanova, B. G. Ryder, and D. Wonnacott,
"Robustness Testing of Java Server Applications”,",
extended version of ISSTA 2004 paper solicited for journal publication in IEEE Transactions on Software Engineering, vol. 31, no. 4, pp. 292-312, April, 2004.
Rountev, A., A. Milanova, and B. G. Ryder,
"Fragment Class Analysis for Testing Polymorphism in Java Software",
extended version of ICSE 2003 paper solicited for special issue journal publication in IEEE Transactions on Software Engineering, vol. 30, no. 6, pp. 372-387, June, 2004.
Milanova, A., A. Rountev, and B. G. Ryder,
"Precise Call Graphs for C Programs with Function Pointers",
Automated Software Engineering special issue on Source Code Analysis and Manipulation, vol. 11, no. 1, pp. 7-26, January, 2004.
Frakes, W. B.,
"A Case Study of a Reusable Component Collection in the Information Retrieval Domain",
Journal of Systems and Software 2004, vol. 72, no. 2, pp. 265-270, 2004.
2003
Balci, O.,
"Verification, Validation, and Certification of Modeling and Simulation Applications",
Proceedings of the 2003 Winter Simulation Conference, New Orleans, LA, IEEE, pp. 150-158, 2003.
Edwards, S. H.,
"Improving student performance by evaluating how well students test their own programs",
Journal of Educational Resources in Computing, vol. 3, no. 3, pp. 1–24, September, 2003.
Sidky, A. S., and J. D. Arthur,
"RGML: A Markup Language for Characterizing Requirments Generation Processes",
28th NASA/IEEE Software Engineering Workshop, Greenbelt, MD, pp. 29-38, December 2003.
Pyla, P. S., M. A. Perez-Quinones, J. D. Arthur, and H. R. Hartson,
"Towards a Model-Based Framework for Integrating Usability and Software Engineering Life Cycles",
Proceedings of the Workshop in Interact '03; Closing the Gaps: Software Engineering and Human-Computer Interaction, Zurich, pp. 67-74, 2003.
Edwards, S. H.,
"Rethinking computer science education from a test-first perspective",
Addendum to the 2003 Proceedings of the Conference on Object-oriented Programming, Systems, Languages, and Applications (Educator’s Symposium), pp. 148–155, 2003.
Edwards, S. H.,
"Teaching software testing: Automatic grading meets test-first coding",
Addendum to the 2003 Proceedings of the Conference on Object-oriented Programming, Systems, Languages, and Applications, pp. 318–319, 2003.
Edwards, S. H.,
"Using test-driven development in the classroom: Providing students with automatic, concrete feedback on performance",
Proceedings of the International Conference on Education and Information Systems: Technologies and Applications (EISTA’03), International Institute of Informatics and Systemics, 2003, pp. 421–426, 2003.
Edwards, S. H., and D. M. Hodge,
"Lessons learned by comparing on-line education strategies across disciplines",
Proceedings of the International Conference on Education and Information Systems: Technologies and Applications (EISTA’03), International Institute of Informatics and Systemics, 2003, pp. 415–420, 2003.
Edwards, S. H.,
"An object-oriented micro-kernel supporting transparent distribution of embedded control applications",
Proceedings of the International Conference on Computer, Communication and Control Technologies: CCCT’03, Vol. 1, International Institute of Informatics and Systemics, 2003,, pp. 129–134, 2003.
Tilevich, E., S. Urbanski, Y. Smaragdakis, and M. Fleury,
"Aspectizing Server-Side Distribution",
Automated Software Engineering (ASE), October, 2003.
Tilevich, E., and Y. Smaragdakis,
"NRMI: Natural and Efficient Middleware",
The International Conference for Distributed Computing Systems (ICDCS), May, 2003.
Ryder, B. G.,
"Dimensions of Precision in Reference Analysis of Object-oriented Programming Languages",
invited paper in the Proceedings of the Twelveth International Conference on Compiler Construction, pp. 126-137, April , 2003.
Rountev, A., A. Milanova, and B. G. Ryder,
"Fragment Class Analysis for Testing Polymorphism in Java Software",
Proceedings of the 25th International Conference on Software Engineering, Portland OR, pp. 210-220, May, 2003.
Fu, C., K. Naragan, T. Nguyen, R. Martin, B. G. Ryder, and D. Wonnacott,
"Compiler-directed Program Fault Coverage for Highly Available Java Internet Serv",
Proceedings of the International Conference on Dependable Systems and Networks, June, 2003.
Frakes, W. B., and C. J. Fox,
"Strength and Similarity of Affix Removal Stemming Algorithms",
ACM SIGIR Forum, vol. 37, no. 1, 2003.
Ruthruff, J., E. Creswick, M. Burnett, C. Cook, S. Prabhakararao, and M. Fisher II,
"End-user software visualizations for fault localization",
ACM Symposium on Software Visualization, San Diego, CA, USA, 06/2003.
2002
Overstreet, M. C., R. E. Nance, and O. Balci,
"Issues in Enhancing Model Reuse",
Proceedings of the First International Conference on Grand Challenges for Modeling and Simulation, 2002.
Balci, O., R. J. Adams, D. S. Myers, and R. E. Nance,
"A Collaborative Evaluation Environment for Credibility Assessment of Modeling and Simulation Applications",
Proceedings of the 2002 Winter Simulation Conference, Piscataway, NJ, pp. 214-220, 2002.
Balci, O., and S. D. Saadi,
"Proposed Standard Processes for Certification of Modeling and Simulation Applications",
Proceedings of the 2002 Winter Simulation Conference: IEEE, pp. 1621-1627, 2002.
Balci, O., R. E. Nance, J. D. Arthur, and W. F. Ormsby,
"Expanding Our Horizons in Verification, Validation, and Accreditation Research and Practice",
Proceedings of the 2002 Winter Simulation Conference, San Diego, CA, IEEE, pp. 653-663, 2002.
Arthur, J. D.,
Managing Software Quality: A Measurement Framework for Assessment and Prediction,
: Springer-Verlag, 2002.
Groener, M. K., and J. D. Arthur,
"Confirming the Effectiveness of the Requirements Generation Model: An Industry-Based Empirical Study",
12th Annual Pacific Northwest Software Quality Conference, Portland, OR, pp. 221-230, October 2002.
Lloyd, W. J., M. B. Rosson, and J. D. Arthur,
"Effectiveness of Elicitation Techniques in Distributed Requirements Engineering",
Proceedings of the 10th IEEE Joint International Conference on Requirements Engineering RE '02, Essen, Germany, pp. 311-318, August 2002.
Sidky, A. S., R. R. Sud, S. Bhatia, and J. D. Arthur,
"Problem Identification andn Decomposition within the Requirements Generation Process",
6th World Multiconference on Systems, Cybernetics, and Informatics (SCI 2002), vol. VIII, Orlando, FL, pp. 333-338, July 2002.
Guo, J., S. H. Edwards, and D. Borojevic,
"Elementary control objects: Toward a dataflow architecture for power electronics control software",
Proceedings of the IEEE 33rd Annual Power Electronics Specialists Conference, PESC 02, pp. 1705–1710, 2002.
Tilevich, E., and Y. Smaragdakis,
"J-Orchestra: Automatic Java Application Partitioning",
European Conference on Object-Oriented Programming (ECOOP), Malaga, May, 2002.
Tilevich, E., and Y. Smaragdakis,
"Automatic Application Partitioning: The J-Orchestra Approach",
8th ECOOP Workshop on Mobile Object Systems, June, 2002.
Arnold, M., M. Hind, and B. G. Ryder,
"Online Feedback-directed Optimization of Java",
Proceedings of the Conference on Object Oriented Programming Languages, Systems and Applications, pp. 119-127, November, 2002.
Milanova, A., A. Rountev, and B. G. Ryder,
"Constructing Precise Object Relation Diagrams",
Proceedings of the IEEE International Conference on Software Maintenance, Montreal, Canada, pp. 586-595, October, 2002.
Milanova, A., A. Rountev, and B. G. Ryder,
"Precise Call Graph Construction in the Presence of Function Pointers",
Second IEEE International Workshop on Source Code Analysis and Manipulation (SCAM), Montreal, Canada, October, 2002.
Milanova, A., A. Rountev, and B. G. Ryder,
"Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java",
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pp. 1-11, July, 2002.
Arnold, M., and B. G. Ryder,
"Thin Guards - A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading",
Proceedings of the European Conference on Object-oriented Programming (ECOOP), June, 2002.
Kulczycki, G., M. Sitaraman, W. F. Ogden, and J. E. Hollingsworth,
"Capturing the Reference Behavior of Linked Data Structures",
Proceedings RESOLVE 2002 Workshop, Columbus, OH, June 2002.
Kulczycki, G.,
"Efficient Reusable Components with Value Semantics",
Proceedings of the ICSR2002 Young Researcher's Workshop, Austin, TX, April 2002.
Fisher II, M., M. Cao, G. Rothermel, C. Cook, and M. Burnett,
"Automated test case generation for spreadsheets",
International Conference on Software Engineering, Orlando, FL USA, 05/2002.
Fisher II, M., D. Jin, G. Rothermel, and M. Burnett,
"Test reuse in the spreadsheet paradigm",
International Symposium on Software Reliability Engineering, Annapolis, MD, USA, 11/2002.
Deitel, H., P. Deitel, J. Liperi, and B. Wiedermann,
The Complete Python Training Course,
: Prentice Hall, 2002.
2001
Balci, O., W. S. Giley, R. J. Adams, E. Tunar, and N. D. Barnette,
"Animation to Assist Learning Some Key Computer Science Topics",
ACM Journal on Educational Resources in Computing, vol. 1, no. 2, August 2001.
Swisher, J. R., S. H. Jacobson, B. J. Jun, and O. Balci,
"Modeling and Analyzing a Physician Clinic Environment Using Discrete-Event (Visual) Simulation",
Computers and Operations Research, vol. 28, no. 2, pp. 105-125, 2001.
Balci, O.,
"A Methodology for Certification of Modeling and Simulation Applications",
ACM Transactions on Modeling and Computer Simulation (TOMACS), vol. 11, no. 4, pp. 352-377, 2001.
Balci, O.,
"Defense Modeling and Simulation Office",
Verification, Validation and Accreditation (VV&A) Recommended Practices Guide, 2001.
Nance, R. E., and O. Balci,
"Thoughts and Musings on Simulation Education",
Proceedings of the 2001 Winter Simulation Conference, Arlington, VA, IEEE, pp. 1567-1570, 2001.
Edwards, S. H.,
"A framework for practical, automated black-box testing of component-based software",
Software Testing, Verification and Reliability, vol. 11, no. 2, pp. 97– 111, June, 2001.
Rountev, A., A. Milanova, and B. G. Ryder,
"Points-to Analysis for Java Using Annotated Inclusion Constraints",
Proceedings of the ACM SIGPLAN Conference on Object Oriented Programming Languages, Systems and Applications, pp. 43-55, October, 2001.
Arnold, M., and B. G. Ryder,
"Reducing the Cost of Instrumented Code via Sampling",
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 168-179, June, 2001.
Chatterjee, R., B. G. Ryder, and W. A. Landi,
"Complexity of Points-to Analysis of Java in the Presence of Exceptions",
IEEE Transactions on Software Engineering, vol. 27, no. 6, pp. 481-512, June , 2001.
Arnold, M., M. Hsiao, U. Kremer, and B. G. Ryder,
"Exploring the Interaction between Java’s Runtime Exceptions and Instruction Scheduling",
solicted for a special issue on LCPC’99, International Journal on Parallel Programming, vol. 29, no. 2, pp. 111-137, April , 2001.
Ryder, B. G., W. A. Landi, P. Stocks, S. Zhang, and R. Altucher,
"A Schema for Interprocedural Modification Side Effects Analysis with Pointer Aliasing",
ACM Transactions on Programming Languages and Systems, vol. 23, no. 1, pp. 105-186, March , 2001.
Ryder, B. G., and F. Tip,
"Change Impact Analysis for Object-oriented Programs",
Proceedings of the ACM SIGPLAN Workshop on Program Analysis for Software Tools and Engineering (PASTE), pp. 46-53, 2001.
Rountev, A., and B. G. Ryder,
"Points-to Analysis and Side-effect Analysis for Programs Built with Precompiled Library Modules",
Proceedings of the International Conference on Compiler Construction, pp. 20-36, April, 2001.
Aronszajn, M., M. Sitaraman, S. Atkinson, and G. Kulczycki,
"A System for Predictable Component-Based Software Construction",
Volume on High Integrity Software, May 2001.
Kulczycki, G.,
"Type Handling in a Fully Integrated Programming and Specification Language",
Proceedings of the SAVCBS Workshop at OOPSLA 2001, Tampa, FL, October 2001.
Sitaraman, M., J. Krone, G. Kulczycki, W. F. Ogden, and A. L. N. Reddy,
"Performance Specification of Reusable Software Components",
Proceedings ACM SIGSOFT Symposium on Software Reusability, Toronto, Canada, ACM Press, pp. 3-10, May 2001.
Frakes, W. B., and G. Succi,
"An Industrial Study of Reuse, Quality, and Productivity",
Journal of Systems and Software, vol. 57, no. 2, pp. 99-106, June, 2001.
2000
Carr, J. T., and O. Balci,
"Verification and Validation of Object-Oriented Artifacts Throughout the Simulation Model Development Life Cycle",
Proceedings of the 2000 Winter Simulation Conference, Orlando, FL, IEEE, Piscataway, NJ, pp. 866-871, 2000.
Balci, O., W. F. Ormsby, J. T. Carr, III, and S. D. Saadi,
"Planning for Verification, Validation, and Accreditation of Modeling and Simulation Applications",
Proceedings of the 2000 Winter Simulation Conference, Orlando, FL, IEEE, pp. 829-839, 2000.
Balci, O., and W. F. Ormsby,
"Well-Defined Intended Uses: An Explicit Requirement for Accreditation of Modeling and Simulation Applications",
Proceedings of the 2000 Winter Simulation Conference, Orlando, FL, IEEE, pp. 849-854, 2000.
Gibson, D. S., B. W. Weide, S. M. Pike, and S. H. Edwards,
"Toward a normative theory for component-based system design and analysis",
Foundations of Component-Based Systems: Cambridge University Press, pp. 211–230, 2000.
Abstract
Arthur, J. D., and R. E. Nance,
"Verification and Validation without Independence: A Recipe for Failure",
Proceedings of the 2000 Winter Simulation Conference, Orlando, FL, pp. 859-865, December 2000.
Ravindran, B., and S. H. Edwards,
"Palette: A reusable specification language for real-time systems",
Software Reuse: Advances in Software Reusability, W.B. Frakes, ed., Springer-Verlag, Lecture Notes in Computer Science, 2000.
Edwards, S. H.,
"Can quality graduate software engineering courses really be delivered asynchronously on-line?",
Proceedings of the 22nd International Conference on Software Engineering: ACM CS Press, 2000, pp. 676–679, 2000.
Arnold, M., M. Hind, and B. G. Ryder,
"An Empirical Study of Selective Optimization",
Proceedings of the Thirteenth Annual Workshop on Languages and Compilers For Parallel Computing, Yorktown Heights, August, 2000.
Ryder, B. G., D. Smith, U. Kremer, M. Gordon, and N. Shah,
"A Static Study of Java Exceptions Using JESP",
Proceedings of Ninth Annual International Conference on Compiler Construction, Berlin, Germany, pp. 67-81, March, 2000.
Sitaraman, M., S. Atkinson, G. Kulczycki, B. W. Weide, T. J. Long, P. Bucci, S. Pike, W. Heym, and J. E. Hollingsworth,
"Reasoning About Software Component Behavior",
Proceedings of the Sixth International Conference on Software Reuse, Vienna, IEEE Computer Society Press, pp. 266-283, June 2000.
Alonso, O., and W. B. Frakes,
"Visualization of Reusable Software Assets",
ICSR6 Sixth International Conference on Software Reuse, Vienna, Austria, 2000.
Frakes, W. B.,
"Software Reuse in Practice",
The 3rd IEEE Symposium on Application-Specific Systems and Software Engineering Technology (ASSET 2000), Richardson, TX, 2000.
Frakes, W. B.,
"A Case Study of a Reusable Component Collection",
The 3rd IEEE Symposium on Application-Specific Systems and Software Engineering Technology (ASSET 2000), Richardson, TX, March , 2000.
Alonso, O., and W. B. Frakes,
"DARE-Web: Domain Analysis in a Web Environment",
AMCIS 2000 Americas Conference on Information Systems, Long Beach, CA, 2000.
Frakes, W. B.,
"A Method for Bounding Domains",
IASTED International Conference Software Engineering and Applications 2000 (SEA 2000), Las Vegas, NV, Nov., 2000.
1999
Begole, J. M. A., M. B. Rosson, and C. A. Shaffer,
"Flexible collaboration transparency: supporting worker independence in replicated application-sharing systems",
ACM Trans. Comput.-Hum. Interact., vol. 6, no. 2, New York, NY, USA, ACM, pp. 95–132, 1999.
Begole, J. M. A., P. Isenhour, and C. A. Shaffer,
"Can You Share JavaBeans?",
Dr. Dobb's Journal, no. 300, pp. 121–122, June, 1999.
Shaffer, C. A., L. T. Watson, and D. G. Kafura,
"Component Frameworks for Problem Solving Environments in Computational Science",
Proceedings of the 1st Symposium on Reusable Architectures and Components for Developing Distributed Information Systems (RACDIS'99), pp. 653–656, August, 1999.
Bachelet, B., and O. Balci,
"Achieving Reusability in Visual Simulation of a Parts Distribution System",
Proceedings of the 1999 Summer Computer Simulation Conference, Chicago, Illinois, pp. 115-118, 1999.
Page, E. H., D. M. Nicol, O. Balci, R. M. Fujimoto, P. A. Fishwick, P. L'Ecuyer, and R. Smith,
"Panel: Strategic Directions in Simulation Research",
Proceedings of the 1999 Winter Simulation Conference, Phoenix, AZ, IEEE, pp. 1509-1520, 1999.
Arthur, J. D., M. K. Groener, K. J. Hayhurst, and C. M. Holloway,
"Evaluating the Effectiveness of Independent Verification and Validation",
IEEE Computer, vol. 32, no. 10, pp. 79-83, October 1999.
Edwards, S. H., S. M. Henry, and R. P. Bodnar,
"Software metrics for multimedia languages",
Software Measurement: Current Trends in Research and Practice: Wiesbaden: Deutscher Universitats Verlag, 1999.
Groener, M. K., and J. D. Arthur,
"An Operational Model Supporting the Generation of Requirements that Capture Customer Intent",
Proceedings of the Pacific Northwest Software Quality Conference, Portland, OR, pp. 286-302, October 1999.
Arthur, J. D., and R. G. Sargent,
"Verification and Validation: What Should Project Size and Complexity Have on Attendant V&V Activities and Supporting Infrastructure",
Proceedings of the 1999 Winter Simulation Conference, Phoenix, AZ, pp. 148-155, December 1999.
Rountev, A., B. G. Ryder, and W. A. Landi,
"Data-flow Analysis for Program Fragments",
Proceedings of SIGSOFT’99: The Seventh Symposium on the Foundations of Software Engineering (FSE’99), pp. 235-253, Septermber, 1999.
Yur, J. -shiarn, B. G. Ryder, and W. A. Landi,
"An Incremental Flow- and Contextsensitive Pointer Aliasing Analysis",
Proceedings of the 21st International Conference on Software Engineering, pp. 442-451, May, 1999.
Chatterjee, R., B. G. Ryder, and W. A. Landi,
"Relevant Context Inference",
Proceedings of the 26th ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, pp. 133-146, January, 1999.
Arnold, M., M. Hsiao, U. Kremer, and B. G. Ryder,
"Instruction Scheduling in the Presence of Java’s Runtime Exceptions",
Proceedings of the Twelvth Annual Workshop on Languages and Compilers For Parallel Computing, San Diego, August, 1999.
Alonso, O., and W. B. Frakes,
"Visualization of Reusable Software Components",
Joint Conference on Intelligent Systems 1999 (JCIS'98): Assoc. for Intell. Machinery, 1999.
1998
Begole, J. M. A., M. B. Rosson, and C. A. Shaffer,
"Supporting worker independence in collaboration transparency",
UIST '98: Proceedings of the 11th annual ACM symposium on User interface software and technology, New York, NY, USA, ACM, pp. 133–142, 1998.
Begole, J. M. A., and C. A. Shaffer,
Flexible Collaboration Transparency,
, Blacksburg, VA, USA, Virginia Polytechnic Institute && State University, 1998.
Balci, O.,
"Verification, Validation, and Testing",
The Handbook of Simulation, New York, NY, John Wiley & Sons, pp. 335-393, 1998.
Balci, O., and R. E. Nance,
"A Taxonomy of Layout Composition Techniques for Visual Simulation",
Proceedings of the 1998 Summer Computer Simulation Conference, Reno, Nevada, pp. 380-386, 1998.
Balci, O., C. Ulusara, P. Shah, and E. A. Fox,
"A Library of Reusable Model Components for Visual Simulation of the NCSTRL System",
Proceedings of the 1998 Winter Simulation Conference, Washington, DC, IEEE, pp. 1451-1459, 1998.
Balci, O., A. I. Bertelrud, C. M. Esterbrook, and R. E. Nance,
"Visual Simulation Environment",
Proceedings of the 1998 Winter Simulation Conference, Washington, DC, IEEE, pp. 279-287, 1998.
Balci, O.,
"Verification, Validation and Accreditation",
Proceedings of the 1998 Winter Simulation Conference, Washington, DC, IEEE, pp. 41-48, 1998.
Arthur, J. D., R. K. Stapko, L. H. Rosenberg, and L. E. Hyatt,
"Estimating and Predicting Error Detection Trends and Relative Manpower Utilization",
IASTED International Conference on Modeling and Simulation, Pittsburgh, PA, pp. 571-575, May 1998.
Dabney, J. B., and J. D. Arthur,
"Anticipating and Mititgating the Professional Challenge to Independent Verification and Validation",
Proceedings of the Pacific Northwest Sotware Quality Conference/8th International Conference on Software Quality, Portland, OR, pp. 84-92, October 1998.
Edwards, S. H., G. Shakir, M. Sitaraman, B. W. Weide, and J. Hollingsworth,
"A framework for detecting interface violations in component-based software",
Proceedings of the Fifth International Conference on Software Reuse, IEEE CS Press, pp. 46–55, June, 1998.
Abstract
Zhang, S., B. G. Ryder, and W. A. Landi,
"Experiments with Combined Analysis for Pointer Aliasing”,",
Proceedings of ACM SIGPLAN Workshop on Program Analysis and Software Tools for Engineering, pp. 11-18, June, 1998.
Chatterjee, R., B. G. Ryder, and W. A. Landi,
"Complexity of Concrete Type-inference in the Presence of Exceptions",
Proceedings of ESOP’98, pp. 57- 74, March, 1998.
Stocks, P. A., B. G. Ryder, W. A. Landi, and S. Zhang,
"A Comparison of Flowand Context- Sensitivity with respect to the Modification Side Effects Problem",
Proceedings of the International Symposium on Software Testing and Analysis, pp. 21-31, March, 1998.
Frakes, W. B., R. Prieto-Diaz, and C. J. Fox,
"DARE: Domain Analysis and Reuse Environment",
Annals of Software Engineering, vol. 5, pp. 125-141, 1998.
Frakes, W. B.,
"Systematic Software Reuse",
Introduction to special issue on reuseAnnals of Software Engineering, pp. 1-3, 1998.
Frakes, W. B.,
"Linking Domain Analysis and Domain Implementation",
Proceedings of Fifth International Conference on Software Reuse, pp. 348-349, 1998.
Frakes, W. B.,
"A 10 Year Perspective on Reuse Benefits",
Proceedings of European Reuse Workshop '98, Madrid, Spain, pp. 135-138, 1998.
1997
Begole, J. M. A., C. A. Struble, and C. A. Shaffer,
"Leveraging Java Applets: Toward Collaboration Transparency in Java",
IEEE Internet Computing, vol. 1, no. 2, Piscataway, NJ, USA, IEEE Educational Activities Department, pp. 57–64, 1997.
Begole, J. M. A., C. A. Struble, C. A. Shaffer, and R. B. Smith,
"Transparent sharing of Java applets: a replicated approach",
UIST '97: Proceedings of the 10th annual ACM symposium on User interface software and technology, New York, NY, USA, ACM, pp. 55–64, 1997.
Derrick, J. E., and O. Balci,
"DOMINO: A Multifaceted Conceptual Framework for Visual Simulation Modeling",
INFOR – Canadian Journal of Operational Research and Information Processing, vol. 35, no. 2, pp. 93-120, 1997.
Balci, O.,
"Principles of Simulation Model Validation, Verification, and Testing",
Transactions of the Society for Computer Simulation International, vol. 14, no. 1, pp. 3-12, 1997.
Balci, O., A. I. Bertelrud, C. M. Esterbrook, and R. E. Nance,
"Dynamic Object Decomposition in the Visual Simulation Environment",
Proceedings of the 11th European Simulation Multiconference, Istanbul, Turkey, pp. 69-73, 1997.
Balci, O., A. I. Bertelrud, C. M. Esterbrook, and R. E. Nance,
"The Visual Simulation Environment",
Proceedings of the 11th European Simulation Multiconference, Istanbul, Turkey, pp. 61-68, 1997.
Yilmaz, L., and O. Balci,
"Object-Oriented Simulation Model Verification and Validation",
Proceedings of the 1997 Summer Computer Simulation Conference, Arlington, VA, pp. 835-840, 1997.
Balci, O., A. I. Bertelrud, C. M. Esterbrook, and R. E. Nance,
"Developing a Library of Reusable Model Components by Using the Visual Simulation Environment",
Proceedings of the 1997 Summer Computer Simulation Conference, Arlington, VA, pp. 253-258, 1997.
Swisher, J. R., J. B. Jun, S. H. Jacobson, and O. Balci,
"Simulation of the Queston Physician Network",
Proceedings of the 1997 Winter Simulation Conference, Atlanta, GA, pp. 1146-1154, 1997.
Balci, O., A. I. Bertelrud, C. M. Esterbrook, and R. E. Nance,
"The Visual Simulation Environment Technology Transfer",
Proceedings of the 1997 Winter Simulation Conference, Atlanta, GA, pp. 1323-1329, 1997.
Balci, O., A. I. Bertelrud, C. M. Esterbrook, and R. E. Nance,
"Introduction to the Visual Simulation Environment",
Proceedings of the 1997 Winter Simulation Conference, Atlanta, GA, 1997.
Balci, O.,
"Verification, Validation and Accreditation of Simulation Models",
Proceedings of the 1997 Winter Simulation Conference, Atlanta, GA, pp. 135-141, 1997.
Edwards, S. H.,
"Representation inheritance: A safe form of “white box” code inheritance",
IEEE Transactions on Software Engineering, vol. 23, no. 2, pp. 83–92, February, 1997.
Yur, J. -shiarn, B. G. Ryder, W. A. Landi, and P. Stocks,
"Incremental Analysis of Side Effects for C Software Systems",
Proceedings of the 19th International Conference of on Software Engineering, pp. 422-432, May, 1997.
Fox, C. J., and W. B. Frakes,
"The Quality Approach: Is It Delivering?",
CACM, vol. 40, no. 6, pp. 24-29, June, 1997.
Devanbu, P., and W. B. Frakes,
"Extracting Formal Domain Models from Existing Code for Generative Reuse",
ACM Applied Computing Review, vol. 5, no. 1, 1997.
Frakes, W. B.,
"Automating Domain Analysis",
Eighth Workshop on Software Reuse, Columbus, Ohio, 1997.
Frakes, W. B., R. Prieto-Diaz, and C. J. Fox,
"DARE-COTS A Domain Analysis Support Tool",
XVII International Confernce of the Chilean Computer Society, Valparaiso, Chile, IEEE CS Press, 1997.
1996
Balci, O.,
"Defense Modeling and Simulation Office",
Department of Defense Verification, Validation and Accreditation (VV&A) Recommended Practices Guide, Alexandria, VA, Defense Modeling and Simulation Office, 1996.
Balci, O.,
"Verification, Validation and Testing of Models",
Encyclopedia of Operations Research and Management Science, Norwell, MA, Kluwer Academic Publishers, pp. 719-723, 1996.
Edwards, S. H.,
"Representation inheritance: A safe form of “white box” code inheritance",
Proceedings of the Fourth International Conference on Software Reuse: IEEE Computer Society Press, pp. 195–204, April, 1996.
Abstract
W.Weide, B., S. H. Edwards, W. D. Heym, T. J. Long, and W. F. Ogden,
"Characterizing observability and controllability of software components",
Proceedings of the Fourth International Conference on Software Reuse: IEEE Computer Society Press, pp. 62–71, April, 1996.
Abstract
Arthur, J. D., S. Gupta, M. K. Groener, M. Cannon, and Z. Khan,
"Reducing the Mean Time to Remove Faults Through Early Fault Detection: An Experiment in Independent Verification and Validation",
Eighteenth Minnowbrook Workshop on Software Engineering, Blue Mountain Lake, NY, pp. 28-46, July 1996.
Arthur, J. D., and R. E. Nance,
"Independent Verification and Validation: A Missing Link in Simulation Methodology?",
Proceedings of the 1996 Winter Simulation Conference , Coronado, CA, pp. 230-236, December 1996.
Bundy, G. N., and J. D. Arthur,
"Defining Software Quality Measures: A Systematic Approach Embedded in the Objectives, Principles Attributes Framework",
Eighteenth Minnowbrook Workshop on Software Engineering, Blue Mountain Lake, NY, pp. 47-60, July 1996.
Ryder, B. G.,
"A Position Paper on Compile-time Program Analysis",
ACM Computing Surveys, vol. 28A, no. 4, December, 1996.
Zhang, S., B. G. Ryder, and W. Landi,
"Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses",
Proceedings of SIGSOFT’96: The Fourth Symposium on the Foundations of Software Engineering (FSE4), pp. 81-92, October, 1996.
Pande, H. D., and B. G. Ryder,
"Data-flow-based Virtual Function Resolution",
Proceedings of the Third International Symposium on Static Analysis (SAS’96), Aachen, Germany, pp. 238-254, September, 1996.
Frakes, W. B., and C. J. Fox,
"Quality Improvement Using A Software Reuse Failure Modes Model",
IEEE Transactions on Software Engineering, vol. 22, no. 4, pp. 274-279, 1996.
Frakes, W. B.,
"The Software Reuse Business",
Proceedings of Fourth International Conference on Software Reuse., Orlando, FL, IEEE CS Press, 1996.
1995
Derrick, J. E., and O. Balci,
"A Visual Simulation Support Environment Based on the Domino Conceptual Framework",
Journal of Systems and Software, vol. 31, no. 3, pp. 215- 237, 1995.
Balci, O., A. I. Bertelrud, C. M. Esterbrook, and R. E. Nance,
"A Picture-Based Object-Oriented Visual Simulation Environment",
Proceedings of the 1995 Winter Simulation Conference, Arlington, VA, pp. 1333-1340, 1995.
Balci, O.,
"Principles and Techniques of Simulation Validation, Verification, and Testing",
Proceedings of the 1995 Winter Simulation Conference, Arlington, VA, pp. 147-154, 1995.
Landry, K. D., and J. D. Arthur,
"Instructional Footprinting and Semantic Preservation in Linda",
Concurrency: Practice and Experience, vol. 7, no. 3, pp. 191-207, May 1995.
Robinson, P. G., and J. D. Arthur,
"Distributed Process Creation Within a Shared Data Space Framework",
Software-Practice and Experience, vol. 25, no. 2, pp. 175-191, February 1995.
Edwards, S. H.,
"Streams: A pattern for “pull-driven” processing",
Pattern Languages of Program Design,: Addison- Wesley, 1995.
Zweben, S., S. H. Edwards, B. Weide, and J. Hollingsworth,
"The effects of layering and encapsulation on software development cost and quality",
IEEE Transactions on Software Engineering, vol. 21, no. 3, pp. 200–208, March, 1995.
Landry, K. D., and J. D. Arthur,
"Boundary Analysis in the Instructional Footprint Model: An Implementation in Linda",
Proceedings of the Twenty Third ACM Computer Science Conference, Nashville, TN, pp. 56-65, February 1995.
Li, W., S. M. Henry, and M. Lorch,
"Measuring Object-Oriented Design",
Journal of Object-Oriented Programming, vol. 8, no. 4, pp. 48-55, July/august 1995.
Lee, Y. -fong, B. G. Ryder, and M. Fiuczynski,
"Region Analysis: A Parallel Elimination Method for Data Flow Analysis",
IEEE Transactions on Software Engineering, vol. SE-21, no. 11, pp. 913-926, November, 1995.
Masticola, S., T. J. Marlowe, and B. G. Ryder,
"Lattice Frameworks for Multi- Source and Bidirectional Data Flow Analysis Problems",
ACM Transactions on Programming Languages and Systems, vol. 17, no. 5, pp. 777-803, September, 1995.
Frakes, W. B., and C. J. Fox,
"Modeling Reuse Across the Software Lifecycle",
Journal of Systems and Software, vol. 30, no. 3, pp. 295-301, 1995.
Frakes, W. B., and C. J. Fox,
"Sixteen Questions about Software Reuse",
CACM, vol. 38, no. 6, pp. 75-87, 1995.
Frakes, W. B., R. Prieto-Diaz, and C. J. Fox,
"DARE: Domain Analysis and Reuse Environment",
Seventh Annual Workshop on Software Reuse, 1995.
Hollenbach, C., and W. B. Frakes,
"Software Process Reuse",
Seventh Workshop on Software Reuse, 1995.
1994
Balci, O.,
"Validation, Verification, and Testing Techniques throughout the Life Cycle of a Simulation Study",
Annals of Operations Research, vol. 53, pp. 121-174, 1994.
Balci, O.,
"Annals of Operations Research",
Simulation and Modeling, vol. 53, 1994.
Derrick, J. E., and O. Balci,
"Simulation Model Development Using the DOMINO Conceptual Framework and the Visual Simulation Support Environment",
Proceedings of the 1994 International Conference on Data and Knowledge Systems for Manufacturing and Engineering, Sha Tin, Hong Kong, pp. 545-553, 1994.
Talbert, M. L., O. Balci, and R. E. Nance,
"Application of the Analytic Hierarchy Process to Complex System Design Evaluation",
Proceedings of the 1994 Complex Systems Engineering Synthesis and Assessment Technology Workshop, Beltsville, MD, pp. 145-155, 1994.
Balci, O.,
"Validation, Verification, and Testing Techniques Throughout the Life Cycle of a Simulation Study",
Proceedings of the 1994 European Simulation Symposium, Istanbul, Turkey, pp. 29-33, 1994.
Balci, O.,
"Validation, Verification, and Testing Techniques Throughout the Life Cycle of a Simulation Study",
Proceedings of the 1994 Winter Simulation Conference, Orlando, FL, pp. 215-220, 1994.
W.Weide, B., S. H. Edwards, D. E. Harms, and D. A. Lamb,
"Design and specification of iterators using the swapping paradigm",
IEEE Transactions on Software Engineering, vol. 20, no. 8, pp. :631–643, August, 1994.
Flanigan Wagner, M. A., S. Sevinc, O. Tanir, P. L. Haigh, J. D. Arthur, and R. E. Nance,
"A Standard Simulation Environment: A Review of Preliminary Requirements",
Proceedings of the 1994 Winter Simulation Conference, Orlando, FL, pp. 664-672, December 1994.
Landry, K. D., and J. D. Arthur,
"Achieving Asynchronous Speedup While Preserving Synchronous Semantics: An Implementation of Instructional Footprinting in Linda",
IEEE Computer Society 1994 International Conference on Computer Languages, Toulouse, France, pp. 55-63, May 1994.
Nance, R. E., and J. D. Arthur,
"Software Quality Measurement: Assessment, Prediction and Validation",
The 6th Annual Software Technology Conference, Salt Lake City, UT, April 1994.
Lorch, M., and G. Lavender,
"Concurrent Object-Oriented Languages and the Inheritance Anomaly",
Parallel Computers: Theory and Practice: IEEE Press, pp. 165-198, 1994.
Henry, J., S. M. Henry, M. Lorch, and L. Matheson,
"Improving Software Maintenance at Martin Marietta",
IEEE Software, Special issue on Measurement-Based Process Improvement, vol. 11, no. 1, pp. 67-75, July 1994.
Lee, Y. -fong, and B. G. Ryder,
"Effectively Exploiting Parallelism in Data Flow Analysis",
The Journal of Supercomputing, vol. 8, pp. 233-262, 1994.
Pande, H., W. Landi, and B. G. Ryder,
"Interprocedural Def-Use Associations for C Systems with Single Level Pointers",
IEEE Transactions on Software Engineering, vol. 20, no. 5, pp. 385-403, May , 1994.
Sgro, V., and B. G. Ryder,
"Differences in Algorithmic Parallelism in Control Flow and Call Multigraphs",
Proceedings of the Seventh AnnualWorkshop on Languages and Compilers For Parallel Computing, pp. 15.1-15.15, August, 1994.
Lee, Y. -fong, B. G. Ryder, and M. Fiuczynski,
"Region Analysis: A Parallel Elimination Method for Data Flow Analysis",
IEEE International Conference on Computer Languages, Toulouse, France, May, 1994.
Pande, H., and B. G. Ryder,
"Static Type Determination in C++",
Proceedings of the Sixth USENIX C++ Technical Conference, Cambridge, MA, pp. 85-97, April , 1994.
Frakes, W. B., and T. Pole,
"An Empirical Study of Representation Methods for Reusable Software Components",
IEEE Transactions on Software Engineering, vol. 20, no. 8, pp. 617-630, 1994.
Frakes, W. B., and S. Isoda,
"Success Factors of Systematic Reuse",
Introduction to special issue on reuse IEEE Software, vol. 11, no. 5, pp. 14-19, September, 1994.
Frakes, W.,
"Systematic Software Reuse: A Paradigm Shift",
Proceedings of Third International Conference on Software Reuse: Advances in Software Reuse: W. Frakes, IEEE Press, 1994.
Frakes, W. B.,
"Position Paper for Panel on Software Engineering Education",
TRI-Ada '94, Baltimore, Md., ACM Press, 1994.
1993
Balci, O., D. DeVaux, and R. E. Nance,
"Measurement and Evaluation of Complex Navy System Designs",
Proceedings of the 1993 Complex Systems Engineering Synthesis and Assessment Technology Workshop, Calverton, MD, pp. 126-140, 1993.
Arthur, J. D., R. E. Nance, and O. Balci,
"Establishing Software Development Process control: Technical Objectives, Operational Requirements and The Foundational Framework",
The Journal of Systems and Software, vol. 22, no. 2, pp. 117-128, August 1993.
Degrace, and Stahl,
"Appendix to The Olduvia Imperative: CASE and the State of Software Engineering Practice",
Assessing the Adequacy of Documentation Through Document Quality Indicators: Prentice-Hall Inc, 1993.
Edwards, S. H.,
"Common interface models for reusable software",
Journal of Software Engineering and Knowledge Engineering, vol. 3, no. 2, pp. 193–206, 1993.
Cline, G. E., and J. D. Arthur,
"Linda-LAN: A Controlled Parallel Processing Environment",
Proceedings of the Twelfth Annual IEEE International Phoenix Conference on Computers and Communications, Phoenix, AZ, pp. 112-119, March 1993.
Okie, E. G., and J. D. Arthur,
"Implicit-Specification Errors and Automatic, Trace-Based Debugging",
Proceedings of the 21st Annual Computer Science Conference, Indianapolis, IN, pp. 23-29, February 1993.
Lorch, M., M. Mukherji, and G. Lavendar,
"ACT++ 2.0: A Class Library for Concurrent Programming in C++ Using Actors",
Journal of Object-Oriented Programming, pp. 47-55, October 1993.
Landi, W., B. G. Ryder, and S. Zhang,
"Interprocedural Modification Side Effect AnalysisWith Pointer Aliasing",
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 56-67, June, 1993.
Masticola, S., and B. G. Ryder,
"Non-concurrency Analysis",
Proceedings of the ACM Conference on Principles and Practices of Parallel Programming, pp. 129-138, May, 1993.
Frakes, W. B.,
"Software Reuse as Industrial Experiment",
American Programmer, vol. 6, no. 8, pp. 27-33, September, 1993.
1992
Balci, O., R. Sharda, and S. A. Zenios,
Computer Science and Operations Research: New Developments in Their Interfaces,
, Oxford, U.K., Pergamon Press, 1992.
Balci, O., and R. E. Nance,
"Simulation Model Development Environment Research Project at VPI&SU",
Proceedings of the Symposium on Advances in Simulation `92, Istanbul, Turkey, pp. 189-196, 1992.
Balci, O., and R. E. Nance,
"The Simulation Model Development Environment: An Overview",
Proceedings of the 1992 Winter Simulation Conference, Arlington, VA, pp. 726-736, 1992.
Landry, K. D., and J. D. Arthur,
"Instructional Footprinting: A Model for Concurrency",
Proceedings of the Twenty-Second Annual Virginia Computer Users Conference, Blacksburg, VA, pp. 41-55, October 1992.
Lewis, J., S. M. Henry, M. Lorch, and R. Schulman,
"On the Relationship Between the Object-Oriented Paradigm and Software Reuse: An Empirical Investigation",
Journal of Object-Oriented Programming, vol. 5, no. 4, pp. 35-41, July/august 1992.
Laribi, A., and M. Lorch,
"A Protection Model Incorporating Both Authorizations and Constraints",
Computer Security, vol. 11, pp. 57-73, 1992.
Lewis, J., S. M. Henry, M. Lorch, and R. Shulman,
"Human Factors and Software Reuse: the Manager’s Impact",
ACM 30th Southeast Conference, Raleigh, NC, April 1992.
Landi, W., and B. G. Ryder,
"A Safe Approximate Algorithm for Interprocedural Pointer Aliasing",
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 235-248, June, 1992.
Lee, Y. -fong, and B. G. Ryder,
"Parallel Hybrid Data Flow Algorithms: A Case Study",
Lecture Notes in Computer Science as Proceedings of FifthWorkshop on Languages and Compilers for Parallel Computing, New Haven CN, pp. 296-310, August, 1992.
Lee, Y. -fong, and B. G. Ryder,
"A Comprehensive Approach to Parallel Data Flow Analysis",
Proceedings of the International Conference on Supercomputing, pp. 236-247, July, 1992.
Schatz, E., and B. G. Ryder,
"Directed Tracing of Race Conditions",
Proceedings of the International Conference on Parallel Processing, pp. II-247:II-250, August, 1992.
Arnold, R. S., and W. B. Frakes,
"Software Reuse and Reengineering",
CASE Trends, pp. 44-48, February, 1992.
1991
Schumann, C. N., K. D. Landry, and J. D. Arthur,
"A Comparison of UNIX Communication Facilities Used in LINDA",
Proceedings of the Twenty-First Annual Virginia Computer Users Conference, Blacksburg, VA, pp. 49-61, September 1991.
Lewis, J., S. M. Henry, M. Lorch, and R. Shulman,
"An Empirical Study of the Object-Oriented Paradigm and Software Reuse",
Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA91), Phoenix, AZ, October 1991.
Lee, Y. -fong, T. J. Marlowe, and B. G. Ryder,
"Experiences with a Parallel Algorithm for Data Flow Analysis",
The Journal of Supercomputing, vol. 5, no. 2, pp. 163-188, October, 1991.
Landi, W., and B. G. Ryder,
"Pointer-induced Aliasing: A Problem Taxonomy",
Proceedings of the Eighteenth Symposium on Principles of Programming Languages, pp. 93-103, January, 1991.
Pande, H., B. G. Ryder, and W. Landi,
"Interprocedural Def-Use Associations for C Programs",
Proceedings of the ACM SIGSOFT Conference on Testing, Analysis and Validation, pp. 139-153, October, 1991.
Masticola, S., and B. G. Ryder,
"A Model of Ada Programs for Static Deadlock Detection in Polynomial Time",
Proceedings of 1991 ACM/ONR Workshop on Parallel and Distributed Debugging, pp. 91-102, May, 1991.
Marlowe, T. J., and B. G. Ryder,
"Hybrid Incremental Alias Algorithms",
Proceedings of Twenty-Fourth Hawaii International Conference on System Sciences, pp. 428-437, January, 1991.
Frakes, W. B., D. J. Lubinsky, and D. N. Neal,
"Experimental Evaluation of a Test Coverage Analyzer for C and C++",
Journal of Systems and Software, pp. 135-139, October , 1991.
1990
Balci, O., R. P. Sadowski, and R. E. Nance,
Proceedings of the 1990 Winter Simulation Conference,
: IEEE, 1990.
Bishop, J. L., and O. Balci,
"General Purpose Visual Simulation System: A Functional Description",
Proceedings of the 1990 Winter Simulation Conference, New Orleans, pp. 504-512, 1990.
Balci, O., R. E. Nance, J. E. Derrick, E. H. Page, and J. L. Bishop,
"Model Generation Issues in a Simulation Support Environment",
Proceedings of the 1990 Winter Simulation Conference, New Orleans, LA, pp. 257-263, 1990.
Balci, O.,
"Guidelines for Successful Simulation Studies",
Proceedings of the 1990 Winter Simulation Conference, New Orleans, LA, pp. 25-32, 1990.
Arthur, J. D.,
"Partitioned Frame Networks for Multi-level, Menu-based Interaction",
International Journal of Man-Machine Studies, vol. 32, no. 6, pp. 663-672, June 1990.
Bundy, G. N., and J. D. Arthur,
"Measuring Software Quality in ADA Packages: An Objectives, Principles, Attributes Framework",
Proceedings of the Twentieth Annual Virginia Computer Users Conference, Blacksburg, VA, pp. 118-133, September 1990.
Arthur, J. D., and R. E. Nance,
"A Framework for Assessing the Adequacy and Effectiveness of Software Development Methodologies",
Proceedings of the Fifteenth Annual Software Engineering Workshop, Greenbelt, MD, December 1990.
Lorch, M., and A. Yerneni,
"Reliability Using Complexity Metrics",
Eight Annual Pacific Northwest Software Quality Conference, Portland, OR, October 1990.
Marlowe, T. J., and B. G. Ryder,
"Properties of Data Flow Frameworks: A Unified Model",
Acta Informatica, vol. 28, pp. 121-163, 1990.
Berman, M. A., M. C. Paull, and B. G. Ryder,
"Proving Relative Lower Bounds for Incremental Algorithms",
Acta Informatica, vol. 27, July, 1990.
Burke, M., and B. G. Ryder,
"A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms",
IEEE Transactions on Software Engineering, pp. 723-728, July, 1990.
Ryder, B. G., W. Landi, and H. Pande,
"Profiling the Performance of an Incremental Data Flow Analysis Algorithm",
IEEE Transactions on Software Engineering (special issue of on Experimental Computer Science), pp. 129-140, February, 1990.
Marlowe, T. J., and B. G. Ryder,
"An Efficient Hybrid Algorithm for Incremental Data Flow Analysis",
Proceedings of the Seventeenth Symposium on Principles of Programming Languages, pp. 184-196, January, 1990.
Lee, Y. -fong, T. J. Marlowe, and B. G. Ryder,
"Performing Data Flow Analysis in Parallel",
Proceedings of ACM Supercomputing90, pp. 942-951, November, 1990.
Masticola, S., and B. G. Ryder,
"Static Infinite Wait Anomaly Detection in Polynomial Time",
Proceedings of International Conference on Parallel Processing, August, 1990.
Frakes, W. B., and P. B. Gandel,
"Representing Reusable Software",
Information and Software Technology, December, 1990.
Frakes, W. B., and T. P. Pole,
"Proteus: A Software Reuse Library System that Supports Multiple Representation Methods",
ACM SIGIR Forum, 1990.
1989
Frankel, V. L., and O. Balci,
"An On-Line Assistance System for the Simulation Model Development Environment",
International Journal of Man-Machine Studies, vol. 31, no. 6, pp. 699-716, 1989.
Balci, O., and R. E. Nance,
"Simulation Model Development: The Multidimensionality of the Computing Technology Pull",
Impacts of Recent Computer Advances on Operations Research, New York, NY, Elsevier Science Publishing, pp. 385-395, 1989.
Sharda, R., B. L. Golden, E. Wasil, O. Balci, and W. Stewart,
Impacts of Recent Computer Advances on Operations Research,
, New York, NY, Elsevier Science Publishing, 1989.
Whitner, R. B., and O. Balci,
"Guidelines for Selecting and Using Simulation Model Verification Techniques",
Proceedings of the 1989 Winter Simulation Conference, Washington, DC, pp. 559-568, 1989.
Derrick, J. E., O. Balci, and R. E. Nance,
"A Comparison of Selected Conceptual Frameworks for Simulation Modeling",
Proceedings of the 1989 Winter Simulation Conference, Washington, DC, pp. 711-718, 1989.
Balci, O.,
"How to Assess the Acceptability and Credibility of Simulation Results",
Proceedings of the 1989 Winter Simulation Conference, Washington, DC, pp. 62-71, 1989.
Arthur, J. D., and K. S. Raghu,
"Taskmaster: An Interactive, Graphical Environment for Task Specification, Execution and Monitoring",
Behavior and Information Technology, vol. 8, no. 3, pp. 219-233, 1989.
Arthur, J. D., and K. T. Stevens,
"On Assessing the Adequacy of Documentation Through Document Quality Indicators",
Proceedings of the Conference on Software Maintenance, Miami Beach, FL, pp. 40-49, October 1989.
Lorch, M., and K. Lee,
"Inheritance in Actor Based Concurrent Object-Oriented Languages",
The Computer Journal, vol. 32, no. 4, pp. 297-304, August 1989.
Ryder, B. G.,
"ISMM: The Incremental Software Maintenance Manager",
Proceedings of IEEE Computer Society Conference on Software Maintenance, Miami FL, pp. 142- 165, October, 1989.
1988
Venkateshwaran, A., R. E. Nance, and O. Balci,
"Dynamically Reconfigurable Networks: Concept Evaluation Through Simulation",
Proceedings of the 12th IMACS World Congress on Scientific Computation, Paris, France, pp. 460-463, 1988.
Balci, O.,
"The Implementation of Four Conceptual Frameworks for Simulation Modeling in High-Level Languages",
Proceedings of the 1988 Winter Simulation Conference, San Diego, CA, pp. 287-295, 1988.
Arthur, J. D.,
"GETS: A Graphical Environment for Task Specification",
Seventh Annual IEEE Phoenix Conference on Computers and Communications, Phoenix, AZ, pp. 269-273, March 1988.
Okie, E. G., and J. D. Arthur,
"The Execution History Approach to Intelligent Debugging",
Proceedings of the 1988 Computer Science Conference, Atlanta, GA, pp. 273-281, February 1988.
Nance, R. E., and J. D. Arthur,
"The Methodology Roles in the Realization of a Model Development Environment",
Proceedings of the 1988 Winter Simulation Conference, San Diego, CA, pp. 220-225, December 1988.
Henry, S. M., and M. Lorch,
"A Reliability Model Based on Software Quality Factors",
Annual National Joint Conference on Software Quality and Reliability, Arlington, VA, March 1988.
Ryder, B. G., T. J. Marlowe, and M. C. Paull,
"Conditions for Incremental Iteration: Examples and Counterexamples",
Science of Computer Programming, vol. 11, pp. 1-15, October, 1988.
Ryder, B. G., and S. J. Pendergrast,
"Experiments in Optimizing FP",
IEEE Transactions on Software Engineering, vol. 14, no. 4, pp. 444-454, April, 1988.
Ryder, B. G., and M. C. Paull,
"Incremental Data Flow Analysis Algorithms",
ACM Transactions on Programming Languages and Systems, vol. 10, no. 1, pp. 1-50, January, 1988.
Carroll, M., and B. G. Ryder,
"Incremental Data Flow Analysis Via Dominator and Attribute Updates",
Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, CA., pp. 274-284, January , 1988.
1987
Balci, O., and R. E. Nance,
"Simulation Model Development Environments: A Research Prototype",
Journal of the Operational Research Society, vol. 38, no. 8, pp. 753-763, 1987.
O'Keefe, R. M., O. Balci, and E. P. Smith,
"Validating Expert System Performance",
IEEE Expert, vol. 2, no. 4, pp. 81-90, 1987.
Nance, R. E., O. Balci, and M. G. Singh,
"Simulation Model Management Objectives and Requirements",
Systems and Control Encyclopedia: Theory, Technology, Applications, Oxford, Pergamon Press, pp. 4328-4333, 1987.
Balci, O.,
Proceedings of the Conference on Methodology and Validation,
, Orlando, FL, 1987.
Balci, O.,
"Credibility Assessment of Simulation Results: The State of the Art",
Proceedings of the Conference on Methodology and Validation, Orlando, FL, pp. 19-25, 1987.
Balci, O., and R. E. Nance,
"Simulation Support: Prototyping the Automation- Based Paradigm",
Proceedings of the 1987 Winter Simulation Conference, Atlanta, GA, pp. 495-502, 1987.
Arthur, J. D., R. Ehrich, and K. C. Mulheren,
"A Network Specification and Execution Environment",
International Journal of Mini and Microcomputers, vol. 9, no. 3, pp. 57-62, 1987.
Arthur, J. D.,
"Toward a Formal Specification of Menu-Based Systems",
The Journal of Systems and Software, vol. 7, no. 9, pp. 73-82, 1987.
Lorch, M., and G. R. Reddy,
"The Use of Software Complexity Metrics in Software Maintenance",
IEEE Transactions on Software Engineering, vol. SE-13, no. 3, pp. 335-343, 1987.
Ryder, B. G.,
"An Application of Static Program Analysis to Software Maintenance",
Proceedings of Twentieth Hawaii International Conference on System Sciences, pp. 82-91, January, 1987.
1986
Balci, O.,
"Requirements for Model Development Environments",
Computers & Operations Research, vol. 13, no. 1, pp. 53-67, 1986.
Balci, O.,
"Credibility Assessment of Simulation Results",
Proceedings of the 1986 Winter Simulation Conference, Washington, DC, pp. 38-43, 1986.
Arthur, J. D.,
"A Descriptive/Prescriptive Model for Menu-Based Systems",
International Journal of Man-Machine Studies, vol. 25, no. 1, pp. 19-34, 1986.
Arthur, J. D., R. Ehrich, and K. C. Mulheren,
"A Network Specification and Execution Environment",
International Symposium on Software and Hardware Applications of Microcomputers, Beverly Hills, CA, pp. 132-136, 1986.
Ryder, B. G., and M. C. Paull,
"Elimination Algorithms for Data Flow Analysis",
ACM Computing Surveys, vol. 18, no. 3, pp. 277-316, September, 1986.
Ryder, B. G., and M. D. Carroll,
"An Incremental Algorithm for Software Analysis",
Proceedings of ACM SIGPLAN/SIGSOFT Symposium on Practical Software Development Environments, Palo Alto, California, P. Henderson ed., pp. 171-179, December, 1986.
Ryder, B. G., and S. J. Pendergrast,
"FPOPT: A Globally Optimizing Compiler for FP",
Proceedings of IEEE Computer Society International Conference on Computer Languages, Miami Beach, Florida, pp. 34-40, October, 1986.
1985
Balci, O., and R. E. Nance,
"Formulated Problem Verification as an Explicit Requirement of Model Credibility",
Simulation, vol. 45, no. 2, pp. 76-86, 1985.
Arthur, J. D.,
"Partitioned Frame Networks for Multi-level, Menu-based Interaction",
Fourth Annual IEEE Phoenix Conference on Computers and Communications, Phoenix, AZ, pp. 34-39, March 1985.
Lorch, M., and J. Canning,
"A Validation of Software Metrics Using Many Metrics and Two Resources",
Eighth International Conference on Software Engineering, London, England, August 1985.
Lorch, M.,
"A Survey of Software Metrics",
ACM Annual Conference, Denver, CO, October 1985.
Lorch, M., and S. M. Henry,
"Software Quality Measurement: Recent Experience and New Tools",
Eighth Annual Minnowbrook Workshop on Software Performance Evaluation, July 1985.
1984
Balci, O., and R. G. Sargent,
"Validation of Simulation Models via Simultaneous Confidence Intervals",
American Journal of Mathematical and Management Sciences, vol. 4, no. 3 & 4, pp. 375-406, 1984.
Nance, R. E., O. Balci, and R. M. L. Jr.,
"Evaluation of the UNIX Host for a Model Development Environment",
Proceedings of the 1984 Winter Simulation Conference, Dallas, TX, pp. 577-584, 1984.
Arthur, J. D., and D. A. Reed,
"Prometheus: An Interactive Environment for the Development and Parallel Execution of Functional Programs",
Proceedings of the IEEE Computer Software and Applications Conference, Chicago, IL, pp. 44-53, November 1984.
Arthur, J. D., and D. E. Comer,
"Omni: An Interactive Programming Environment Based on Tool Composition",
Proceedings of the IEEE Computer Software and Applications Conference, Chicago, IL, pp. 28-36, November 1984.
Lindquist, T., J. Facemire, and M. Lorch,
"A Specification Technique for the Common APSE Interface Set",
Journal of Pqascal, ADA, and Modula-2, vol. 3, no. 5, pp. 25-32, October 1984.
Henry, S. M., and M. Lorch,
"Evaluation of System Structure Using Software Metrics",
Software: Practice and Experience, vol. 14, no. 6, pp. 561-573, June 1984.
Lorch, M., J. Canning, and G. Reddy,
"The Independence of Software Metrics Taken at Different Life Cycle Stages",
Ninth Annual Software Engineering Workshop, NASA/Goddard, November 1984.
1983
Balci, O., and R. G. Sargent,
"Validation of Multivariate Response Trace-Driven Simulation Models",
Performance'83, Amsterdam, North- Holland Publishing, pp. 309-323, 1983.
Ryder, B. G.,
"Incremental Data Flow Analysis”,",
Conference Record of the Tenth Annual ACM Symposium on the Principles of Programming Languages, Austin, Texas, January, 1983.
1982
Balci, O., and R. G. Sargent,
"Validation of Multivariate Response Models Using Hotelling's Two-Sample T2 Test",
Simulation, vol. 39, no. 6, pp. 185-192, 1982.
Balci, O., and R. G. Sargent,
"Some Examples of Simulation Model Validation Using Hypothesis Testing",
Proceedings of the 1982 Winter Simulation Conference, San Diego, CA, pp. 621-629, 1982.
Lorch, M.,
"Analyzing the Structure of Software Systems Using Software Metrics",
Fifth Minnowbrook Workshop on Software Performance Evaluation, July 1982.
1981
Balci, O., and R. G. Sargent,
"A Methodology for Cost-Risk Analysis in the Statistical Validation of Simulation Models",
Communications of the ACM, vol. 24, no. 4, pp. 190-197, 1981.
Arthur, J. D., and J. Ramanathan,
"Design of Analyzers for Selective Program Analysis",
IEEE Transactions on Software Engineering, vol. SE-7, no. 1, pp. 39-51, January 1981.
Lorch, M., and S. M. Henry,
"Software Quality Metrics Based on Interconnectivity",
Journal of Systems and Software, vol. 2, pp. 121-131, 1981.
Henry, S. M., and M. Lorch,
"Software Structure Metrics Based on Information Flow",
IEEE Transactions on Software Engineering, vol. SE-7, no. 5, pp. 510-518, September 1981.
Lorch, M., S. M. Henry, and K. Harris,
"On the Relationships Among Three Software Metrics",
Performance Evaluation Review, vol. 10, no. 1, pp. 81-88, Spring, 1981.
1980
Shanthikumar, G. J., and O. Balci,
"A Variance Reduction Technique for the Simulation of a Single Server GI/G/1 Controlled Queue",
Proceedings of the 1980 Summer Computer Simulation Conference, Seattle, WA, pp. 105-110, 1980.
1979
Ryder, B. G.,
"Constructing the Call Graph of a Program",
IEEE Transactions on Software Engineering, vol. SE-3, no. 3, pp. 216-225, May, 1979.
1973
Ryder, B. G.,
"The PFORT Verifier",
Software Practice and Experience, vol. 4, pp. 359-377, October-December, 1973.
Software Engineering Laboratory
Contact: Osman Balci
(currently in McBryde 128. It is used by faculty members teaching software engineering courses, especially CS4704 software engineering capstone senior project course.
SHF: CSR: Small: Automated Refactoring Techniques for Efficient and Reliable Distributed Execution
Granting Institution: NSF
Amount: $478,693
Blended Static/Dynamic Analyses for Performance Understanding and Improved Security of Framework-intensive Systems
Granting Institution: National Science Foundation
Amount: $240,000
CE21 Planning Grant: Integrating Computational Thinking into Middle School Curriculum
Granting Institution: National Science Foundation
Amount: $199,998
Center For High-Performance Reconfigurable Computing (Chrec)
Granting Institution: National Science Foundation
Amount: $50,000
IBM Open Collaboration Award: Software Quality
Granting Institution: IBM
Amount: $300,000
Integrating Scenario-Based Usability Engineering And Agile Software Development Practices
Granting Institution: Meridium
Amount: $75,000