Software Engineering
| Employs programming languages, compilers, and engineering design principles to drive the information technology industry |
James Arthur
Professor
| Office: | 3160C Torgersen Hall |
|---|---|
| Email: | arthur@vt.edu |
| Phone: | (540) 231-7538 |
| Website: | http://people.cs.vt.edu/~arthur/ |
| Office Hours: |
|---|
Osman Balci
Professor
| Office: | 3160B Torgersen Hall |
|---|---|
| Email: | balci@vt.edu |
| Phone: | (540) 231-4841 |
| Website: | http://manta.cs.vt.edu/balci/ |
| Office Hours: | TR: 11:00 a.m. to 12:00 p.m. or send e-mail for an appointment |
|---|
Stephen Edwards
Associate Professor
| Office: | 3160H Torgersen |
|---|---|
| Email: | edwards@cs.vt.edu |
| Phone: | (540) 231-5723 |
| Website: | http://people.cs.vt.edu/~edwards/ |
| Office Hours: | MW: 1:30 to 2:30 p.m.; T: 9:00 to 10:00 a.m.; F: 10:00 to 11:00 a.m. |
|---|
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: | By arrangement |
|---|
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
Assistant Professor
| Office: | 2213 KWII |
|---|---|
| Email: | tilevich@cs.vt.edu |
| Phone: | (540) 231-3475 |
| Website: | http://people.cs.vt.edu/~tilevich |
| Office Hours: | By Appointment |
|---|
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.
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.
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.
Abstract
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.
Yilmaz, O., I. - R. Chen, G. Kulczycki, and W. B. Frakes,
"Spillover-Partitioning Call Admission Control for Revenue Optimization with QoS Guarantees for Multiple Service Classes in Mobile Wireless Networks",
3rd IEEE International Workshop on Performance Analysis and Enhancement of Wireless Networks, Ginowan, Okinawa, Japan, March 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.
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., W. F. Ormsby, A. N. Ince, and A. Bragg,
Scenario Simulation for Network-Centric Technology Assessment,
, vol. Recent Adv, 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.
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",
IEEE International Conference on Pervasive Services (ICPS '07), Istanbul, Turkey, pp. 109-117, July 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., W. F. Ormsby, A. N. Ince, and E. Topuz,
Quality Assessment of Modeling and Simulation of Network-Centric Military Systems,
, vol. Modeling a, 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 F. C.J.,
"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.
Balci, O., R. E. Nance, J. D. Arthur, and W. F. Ormsby,
"Expanding Our Horizons in Verification, Validation, and Accreditation Research and Practice",
2002 Winter Simulation Conference, San Diego, CA, pp. 653-663, December 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., W. S. Gilley, R. J. Adams, E. Tunar, and N. D. Barnette,
"Animations to Assist Learning Some Key Computer Science Topics",
ACM Journal of Educational Resources in Computing (JERIC), vol. 1, no. 2, 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
John T. Carr, I. I. I., 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, 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., and J. Banks,
"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., 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. U. {\c c}, 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
Balci, O., C. Ulusarac, 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, vol. 2, Washington, DC, pp. 1451-1459, December 1998.
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. 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. 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., S. I. Gass, and C. M. Harris,
"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. 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. Lavende
