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: | TR: 09:30 to 10:30 |
|---|
Osman Balci
Professor
| Office: | 3160B Torgersen |
|---|---|
| Email: | balci@vt.edu |
| Phone: | (540) 231-4841 |
| Website: | http://manta.cs.vt.edu/balci/ |
| Office Hours: | TTh: 3:30 to 4:30 or e-mail for an appointment |
|---|
Shawn Bohner
Associate Professor
| Office: | 3160G Torgersen |
|---|---|
| Email: | sbohner@vt.edu |
| Phone: | (540) 231-1132 |
| Website: | http://filebox.vt.edu/s/sbohner/ |
| Office Hours: | W: 6:30 to 8:30 online for CS 5704 |
|---|
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: | MT: 11:00 a.m. to 12:00 p.m.; W: 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: | TR: 1:00 to 2:00 p.m. and by appointment |
|---|
Barbara Ryder
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-8457 |
| Website: | http://people.cs.vt.edu/~tilevich |
| Office Hours: | McBryde 122-C: MW: 2:30 to 3:30 p.m. and by appointment |
|---|
2009
Myers D.S., Balci O.,
"A Web-Based Visual Simulation Architecture",
International Journal of Modelling and Simulation, vol. 29 no. 2, pp. 137-148, 2009.
Tagged BibTex xml
Kim D K., Song M., Tilevich E., Ribbens C.J., Bohner S.A.,
"Dynamic Software Updates for Accelerating Scientific Discovery",
International Conference on Computational Science (ICCS 2009): Springer, Heidelberg, pp. 237-247, 2009.
Tagged BibTex xml
2008
Tilevich E., Back G.,
"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.
Tagged BibTex xml
Balci O., Ormsby W.F.,
"Network-Centric Military System Architecture Assessment Methodology",
International Journal of System of Systems Engineering, 2008.
Tagged BibTex xml
Ravichandar R., Arthur J D.,
"Cohesion, Coupling and Abstraction Level: Criteria for Capability Identification",
Journal of Software, vol. 3, no. 1, pp. 1-8, January 2008.
Tagged BibTex xml
Bhatia S., Arthur J.,
"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.
Tagged BibTex xml
Thornton M., Edwards S.H.,
"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.
Tagged BibTex xml
Turner S.A., Quintana-Castillo R., P´erez-Qui˜nones M.A., Edwards S.H.,
"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.
Tagged BibTex xml
Thornton M., Edwards S.H., Tan R.P., P´erez-Qui˜nones M.A.,
"Supporting student-written tests of GUI programs",
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, New York, NY, ACM Press, pp. 537–541, 2008.
Tagged BibTex xml
Tansey W., Tilevich E.,
"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.
Tagged BibTex xml
Tilevich E., Smaragdakis Y.,
"NRMI: Natural and Efficient Middleware",
IEEE Transactions on Parallel and Distributed System (TPDS), vol. 19, no. 2, pp. 174-187, February, 2008.
Tagged BibTex xml
Tilevich E., Smaragdakis Y.,
"J-Orchestra: Enhancing Java Programs with Distribution Capabilities",
ACM Transactions on Software Engineering and Methodology (TOSEM), 2008.
Tagged BibTex xml
Dufour B., Ryder B.G., Sevitsky G.,
"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.
Tagged BibTex xml
Frakes W B., Kulczycki G., Moodliar N.,
"An Empirical Comparison of Methods for Reengineering Procedural Software Systems to Object-Oriented Systems",
10th International Conference on Software Reuse, Beijing, China, May 2008.
Tagged BibTex xml
Yilmaz O., Chen I R., Kulczycki G., Frakes W.,
"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.
Tagged BibTex xml
Kulczycki G., Singh A.,
"Proving Correctness for Pointer Programs in a Verifying Compiler",
The Sixth NASA Langley Formal Methods Workshop, Newport News, VA, April 2008.
Tagged BibTex xml
Edelman A., Frakes W B., Lillie C.,
"SAM: Simple API for Object-Oriented Code Metrics",
10 International Conference on Software Reuse, H. Mei. Beijing, 2008.
Tagged BibTex xml
Frakes W B., Kulczycki G., Moodliar N.,
" An Empirical Comparison of Methods for Reengineering Procedural Software Systems to Object-Oriented Systems",
10 International Conference on Software Reuse: H. Mei. Beijing, 2008.
Tagged BibTex xml
2007
Shaffer C.A., Cooper M., Edwards S.H.,
"Algorithm visualization: a report on the state of the field",
SIGCSE '07: Proceedings of the 38th SIGCSE technical symposium on Computer science education, New York, NY, USA, ACM, pp. 150–154, 2007.
Tagged BibTex xml
Balci O., Ormsby W.F.,
"Conceptual Modeling for Designing Large-Scale Simulations",
Journal of Simulation, vol. 1, no. 3, pp. 175-186, 2007.
Tagged BibTex xml
Balci O., Ormsby W.F., Ince A N., Bragg A.,
Scenario Simulation for Network-Centric Technology Assessment,
, vol. Recent Adv, New York, NY, Springer, pp. 203-226, 2007.
Tagged BibTex xml
Arthur J.D., Nance R.E., Bazaz A., Balci O.,
"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.
Tagged BibTex xml
Archuleta J.S., Feng W., Tilevich E.,
"A Pluggable Framework for Parallel Pairwise Sequence Search",
International Conference of the IEEE Engineering in Medicine and Biology Society, Lyon, France, August, 2007.
Tagged BibTex xml
Archuleta J.S., Tilevich E., Feng W.,
"A Maintainable Software Architecture for Fast and Modular Bioinformatics Sequence Search",
23rd IEEE International Conference on Software Maintenance, Paris, France, October, 2007.
Tagged BibTex xml
Bohner S A., Ravichandar R., Arthur J D.,
"Model-Based Engineering for Change-Tolerant Systems",
Journal of Innovation in Systems and Software Engineering, vol. 3, no. 4, pp. 237-257, December 2007.
Tagged BibTex xml
Sidky A., Arthur J., Bohner S.,
"A Disciplined Approach to Adopting Agile Practices: The Agile Adoption Process",
Innovations in Software Engineering, vol. 3, no. 3, pp. 203-216, September 2007.
Tagged BibTex xml
Nance R E., Arthur J D.,
"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.
Tagged BibTex xml
Arthur J D., Nance R E., Bazaz A., Balci O.,
"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.
Tagged BibTex xml
Ravichandar R., Arthur J D., Perez-Quinones M A.,
"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.
Tagged BibTex xml
Pyla P S., Hartson H R., Arthur J D., Smith-Jackson T.L., Perez-Quinones M A.,
"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.
Tagged BibTex xml
Sidky A., Arthur J D.,
"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.
Tagged BibTex xml
Chigani A., Arthur J D.,
"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.
Tagged BibTex xml
Chigani A., Arthur J D., Bohner S.,
"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.
Tagged BibTex xml
Ravichandar R., Arthur J D., Broadwater R P.,
"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.
Tagged BibTex xml
Ravichandar R., Arthur J D., Bohner S A.,
"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.
Tagged BibTex xml
Bazaz A., Arthur J D.,
"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.
Tagged BibTex xml
Edwards S.H., Haggard W.,
"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.
Tagged BibTex xml
Edwards S.H., P´erez-Qui˜nones M.A.,
"Experiences using test-driven development with an automated grader",
Journal of Computing Sciences in Colleges, vol. 22, no. 3, pp. 44-50, 2007.
Tagged BibTex xml
Turner S.A., P´erez-Qui˜nones M.A., Edwards S.H.,
"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.
Tagged BibTex xml
Edwards S.H., Ly V.,
"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.
Tagged BibTex xml
Thornton M., Edwards S.H., Tan R.P.,
"Proceedings of the International Conference on Education and Information Systems",
Proceedings of the International Conference on Education and Information Systems: Technologies and Applications (EISTA’07), July, 2007.
Tagged BibTex xml
Henthorne C., Tilevich E.,
"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.
Tagged BibTex xml
Zhang W., Ryder B.G.,
"Automatic Construction of Accurate Application Call Graph With Library Call Abstraction For Java",
Journal of Software Maintenance and Evolution: Research and Practice, June, 2007.
Tagged BibTex xml
Fu C., Ryder B.G.,
"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.
Tagged BibTex xml
Dufour B., Ryder B.G., Sevitsky G.,
"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.
Tagged BibTex xml
Ren X., Ryder B.G.,
"Heuristic Ranking of Java Program Edits for Fault Localization",
Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), July, 2007.
Tagged BibTex xml
Zhang W., Ryder B.G.,
"“Discovering Accurate Interclass Test Dependences",
Proceedings of the ACM SIGPLAN Workshop on Program Analysis for Software Tools and Engineering (PASTE), 2007.
Tagged BibTex xml
Chesley O., Ren X., Ryder B.G., Tip F.,
"Crisp - A Fault Localization Tool for Java Programs",
Proceedings of the 29th International Confeence on Software Engineering, May, 2007.
Tagged BibTex xml
Kulczycki G., Singh A.,
"Accessibility Preserving Operations for Pointers",
2007 Resolve Workshop, Clemson, SC, June 2007.
Tagged BibTex xml
Kulczycki G., Sitaraman M., Keown H., Weide B.,
"Abstracting Pointers for a Verifying Compiler",
Proceedings 31st Annual Software Engineering Workshop, Baltimore, MD, March 2007.
Tagged BibTex xml
Fisher II M., Elbaum S., Rothermel G.,
"Dynamic characterization of web application interfaces",
Fundamental Approaches to Software Engineering, Braga, Portugal, 03/2007.
Tagged BibTex xml
2006
Balci O., Ormsby W.F., Ince A N., Topuz E.,
Quality Assessment of Modeling and Simulation of Network-Centric Military Systems,
, vol. Modeling a, New York, NY, Springer, pp. 365-382, 2006.
Tagged BibTex xml
Schneider T.W., Balci O.,
"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.
Tagged BibTex xml
Helms J W., Arthur J D., Hix D., Hartson H R.,
"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.
Tagged BibTex xml
Bazaz A., Arthur J D., Tront J G.,
"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.
Tagged BibTex xml
Vastani H., Edwards S.H., P´erez-Qui˜nones M.A.,
"Supporting on-line direct markup and evaluation of students’ projects",
Computers in Education Journal, vol. 16, no. 3, pp. 88–99, July-Sept, 2006.
Tagged BibTex xml
Nance R E., Arthur J D.,
"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.
Tagged BibTex xml
Edwards S.H., P´erez-Qui˜nones M.A., Phillips M., RajKumar J.,
"Graphing performance on programming assignments to improve student understanding",
Proceedings of the 9th iNEER International Conference on Engineering Education, pp. 6, 2006.
Tagged BibTex xml
Humphries W., Gawrilow J., Turner S., P´erez-Qui˜nones M.A., Edwards S.H.,
"Helping students visualize their grade performance",
Proceedings of the American Society for Engineering Education Annual Conference, ASEE, pp. 11, 2006.
Tagged BibTex xml
Agarwal R., Edwards S.H., P´erez-Qui˜nones M.A.,
"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.
Tagged BibTex xml
Powell A., Turner S., Tungare M., P´erez-Qui˜nones M.A., Edwards S.H.,
"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.
Tagged BibTex xml
Powell A., Turner S., Tungare M., P´erez-Qui˜nones M.A., Edwards S.H.,
"An online peer review system",
Eastern Educational Research Association 2006 Annual Conference, Hilton Head, SC, February 22–25, 2006.
Tagged BibTex xml
Tilevich E., Smaragdakis Y.,
"Transparent Program Transformations in the Presence of Opaque Code",
ACM Generative Programming and Component Engineering (GPCE 2006), 2006.
Tagged BibTex xml
Tilevich E., Smaragdakis Y., Handte M.,
"Appletizing: Running Legacy Java Code Remotely From a Web Browser",
IEEE International Conference on Software Maintenance (ICSM 2005), September, 2006.
Tagged BibTex xml
Stoerzer M., Ryder B.G., Ren X., Tip F.,
"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.
Tagged BibTex xml
Ren X., Chesley O., Ryder B.G.,
"CRISP, A Debugging Tool for Java Programs",
IEEE Transactions on Software Engineering, vol. 32, no. 9, pp. 1-16, Septermber, 2006.
Tagged BibTex xml
Zhang W., Ryder B.G.,
"Constructing Accurate Application Call Graph For Java To Model Library Callbacks",
6th International Workshop on Source Code Analysis and Manipulation (SCAM), September, 2006.
Tagged BibTex xml
Kulczycki G., Vasudeo J.,
"Simplifying Reasoning about Objects with Tako",
Proceedings Specification and Verification of Component-Based Systems (FSE014 SAVCBS '06) Workshop, Portland, OR, November 2006.
Tagged BibTex xml
Frakes W B., Kulczycki G., Saxena C.,
"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.
Tagged BibTex xml
Vasudeo J., Kulczycki G.,
"Walking the Line between Java and Resolve: Tako and the Verification Grand Challenge",
Resolve 2006 Proceedings, Blacksburg, VA, March 2006.
Tagged BibTex xml
Tortorella M., Frakes W B.,
"A Computer Implementation of the Separate Maintenance Model for Complex System Reliability",
Quality and Reliability Engineering International, 22, vol. 22, pp. 757-770, 2006.
Tagged BibTex xml
Frakes, Kulczycki W G., Saxena C.,
"Case Study of a Method for Reengineering Procedural Systems into OO Systems",
Proc. 9th Int'l Conference on Software Reuse (ICSR'06), June, 2006.
Tagged BibTex xml
Frakes B.,
"Reuse and Safety",
International Workshop on Reuse and Safety, Torino, Italy, June, 2006.
Tagged BibTex xml
Fisher II M., Rothermel G., Brown D., Cao M., Cook C., Burnett M.,
"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.
Tagged BibTex xml
Elbaum S., Chilakamarri K., Fisher II M., Rothermel G.,
"Web application characterization through directed requests",
International Workshop on Dynamic Analysis, Shanghai, China, 05/2006.
Tagged BibTex xml
Fisher II M., Rothermel G., Creelan T., Burnett M.,
"Scaling a dataflow testing methodology to the multiparadigm world of commercial spreadsheets",
IEEE International Symposium on Software Reliability Engineering, Raleigh, NC, USA, 11/2006.
Tagged BibTex xml
Carver J., Fisher II M., Rothermel G.,
"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.
Tagged BibTex xml
2005
Sabah M., Balci O.,
"Web-based Random Variate Generation for Stochastic Simulations",
International Journal of Simulation and Process Modelling, vol. 1, no. 1-2, pp. 16-25, 2005.
Tagged BibTex xml
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.
Tagged BibTex xml
Arthur J D., Groener M K.,
"An Operational Model for Structuring the Requirements Generation Process",
The Requirements Engineering Journal, vol. 10, no. 1, pp. 45-62, January 2005.
Tagged BibTex xml
Pyla P S., Perez-Quinones M A., Arthur J D., Hartson H R.,
"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.
Tagged BibTex xml
Turner S.A., P´erez-Qui˜nones M.A., Edwards S.H.,
"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.
Tagged BibTex xml
Cheon Y., Leavens G.T., Sitaraman M., Edwards S.,
"Model variables: Cleanly supporting abstraction in Design by Contract",
Software: Practice and Experience, vol. 35, no. 6, May, 2005.
Tagged BibTex xml
Edwards S.H., Hodge D.M.,
"Lessons learned by comparing on-line education strategies across disciplines",
Journal of Systemics, Cybernetics and Informatics, vol. 2, no. 6, 2005.
Tagged BibTex xml
Lobo L O., Arthur J D.,
"An Objectives-Driven Process for Selecting Methods to Support Requirments Engineering Activities",
29th Annual Software Engineering Workshop, Greenbelt, MD, pp. 118-130, April 2005.
Tagged BibTex xml
Lobo L O., Arthur J D.,
"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.
Tagged BibTex xml
Vastani H., Edwards S.H., P´erez-Qui˜nones M.A.,
"Supporting online direct markup and evaluation of students’ projects",
Proceedings of the American Society for Engineering Education Annual Conference, ASEE, pp. 12pp, 2005.
Tagged BibTex xml
Tilevich E., Smaragdakis Y.,
"Binary Refactoring: Improving Code Behind the Scenes",
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), May, 2005.
Tagged BibTex xml
Ryder B.G., Soffa M., Burnett M.,
"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.
Tagged BibTex xml
Milanova A., Rountev A., Ryder B.G.,
"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.
Tagged BibTex xml
Ren X., Shah F., Tip F., Ryder B.G., Chesley O.,
"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.
Tagged BibTex xml
Fu C., Ryder B.G.,
"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.
Tagged BibTex xml
Milanova A., Ryder B.G.,
"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.
Tagged BibTex xml
Chesley O., Ren X., Ryder B.G.,
"Crisp: A Debugging Tool for Java Programs",
Proceedings of the 21st International Conference on Software Maintenance (ICSM), Budapest, Hungary, September, 2005.
Tagged BibTex xml
Kulczycki G., Sitaraman M., Weide B W., Rountev A.,
"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.
Tagged BibTex xml
Frakes W B., Kang K.,
"Software Reuse Research: Status and Future",
IEEE Transactions on Software Engineering, vol. 31, no. 7, pp. 529-536, July, 2005.
Tagged BibTex xml
Elbaum S., Rothermel G., Karre S., Fisher II M.,
"Leveraging user session data to support web application testing",
IEEE Transactions on Software Engineering, vol. 31, no. 3, pp. 187-202, 03/2005.
Tagged BibTex xml
Fisher II M., Rothermel G.,
"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.
Tagged BibTex xml
2004
Edwards S H., Barnette N D.,
"Experiences Using Tablet PCs in a Programming Laboratory",
Proceedings of 2004 SIGITE Conference, Salt Lake City, UT, October 2004.
Tagged BibTex xml
Balci O., Nance R.E.,
"Visual Simulation Environment Lessons Learned",
Proceedings of the Simulation Workshop: UK Operations Research Society and ACM SIGSIM, pp. 75-82, 2004.
Tagged BibTex xml
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.
Tagged BibTex xml
Arthur J D., Groener M K.,
"Verification and Validation of Operational Software: A Methodology Critique",
Software Process: Improvement and Practice, vol. 9, no. 13, pp. 157-171, September 2004.
Tagged BibTex xml
Edwards S.H., Sitaraman M., Weide B.W., Hollingsworth J.,
"Contract-checking wrappers for C++ classes",
IEEE Transactions on Software Engineering, vol. 30, no. 11, pp. 794–810, November, 2004.
Tagged BibTex xml
Pyla P S., Perez-Quinones M A., Arthur J D., Hartson H R.,
"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.
Tagged BibTex xml
Bazaz A., Arthur J D., Marchany R C.,
"Reflections on Operating in Hostile Environments",
Hawaii International Conference on System Science (HICSS-37), vol. 7, Hawaii, pp. 190-199, January 2004.
Tagged BibTex xml
Edwards S.H., Barnette D.N.,
"Experiences using tablet PCs in a programming laboratory",
Proceedings of the 5th Conference on Information Technology Education: ACM Press, New York, NY, pp. 160–164, 2004.
Tagged BibTex xml
Yilmaz L., Edwards S.,
"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.
Tagged BibTex xml
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.
Tagged BibTex xml
Tilevich E., Smaragdak Y.,
"Portable and Efficient Distributed Threads for Java",
ACM/IFIP/USENIX 5th International Middleware Conference (Middleware 2004), October, 2004.
Tagged BibTex xml
Liogkas N., MacIntyre B., Mynatt E.D., Smaragdakis Y., Tilevich E., Voida S.,
"Automatic Partitioning: Prototyping Ubiquitous-Computing Applications",
IEEE Pervasive Computing, July-September, 2004.
Tagged BibTex xml
Fu C., Milanova A., Ryder B.G., Wonnacott D.,
"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.
Tagged BibTex xml
Rountev A., Milanova A., Ryder B.G.,
"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.
Tagged BibTex xml
Milanova A., Rountev A., Ryder B.G.,
"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.
Tagged BibTex xml
Frakes W.,
"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.
Tagged BibTex xml
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.
Tagged BibTex xml
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.
Tagged BibTex xml
Sidky A S., Arthur J D.,
"RGML: A Markup Language for Characterizing Requirments Generation Processes",
28th NASA/IEEE Software Engineering Workshop, Greenbelt, MD, pp. 29-38, December 2003.
Tagged BibTex xml
Pyla P S., Perez-Quinones M A., Arthur J D., Hartson H R.,
"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.
Tagged BibTex xml
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.
Tagged BibTex xml
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.
Tagged BibTex xml
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.
Tagged BibTex xml
Edwards S.H., Hodge D.M.,
"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.
Tagged BibTex xml
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.
Tagged BibTex xml
Tilevich E., Urbanski S., Smaragdakis Y., Fleury M.,
"Aspectizing Server-Side Distribution",
Automated Software Engineering (ASE), October, 2003.
Tagged BibTex xml
Tilevich E., Smaragdakis Y.,
"NRMI: Natural and Efficient Middleware",
The International Conference for Distributed Computing Systems (ICDCS), May, 2003.
Tagged BibTex xml
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.
Tagged BibTex xml
Rountev A., Milanova A., Ryder B.G.,
"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.
Tagged BibTex xml
Fu C., Naragan K., Nguyen T., Martin R., Ryder B.G., Wonnacott D.,
"Compiler-directed Program Fault Coverage for Highly Available Java Internet Serv",
Proceedings of the International Conference on Dependable Systems and Networks, June, 2003.
Tagged BibTex xml
W F., C.J. F.,
"Strength and Similarity of Affix Removal Stemming Algorithms",
ACM SIGIR Forum, vol. 37, no. 1, 2003.
Tagged BibTex xml
Ruthruff J., Creswick E., Burnett M., Cook C., Prabhakararao S., Fisher II M.,
"End-user software visualizations for fault localization",
ACM Symposium on Software Visualization, San Diego, CA, USA, 06/2003.
Tagged BibTex xml
2002
Overstreet M.C., Nance R.E., Balci O.,
"Issues in Enhancing Model Reuse",
Proceedings of the First International Conference on Grand Challenges for Modeling and Simulation, 2002.
Tagged BibTex xml
Balci O., Adams R.J., Myers D.S., Nance R.E.,
"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.
Tagged BibTex xml
Balci O., Saadi S.D.,
"Proposed Standard Processes for Certification of Modeling and Simulation Applications",
Proceedings of the 2002 Winter Simulation Conference: IEEE, pp. 1621-1627, 2002.
Tagged BibTex xml
Balci O., Nance R.E., Arthur J.D., Ormsby W.F.,
"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.
Tagged BibTex xml
and Arthur R.E D.,
Managing Software Quality: A Measurement Framework for Assessment and Prediction,
: Springer-Verlag, 2002.
Tagged BibTex xml
Balci O., Nance R E., Arthur J D., Ormsby W F.,
"Expanding Our Horizons in Verification, Validation, and Accreditation Research and Practice",
2002 Winter Simulation Conference, San Diego, CA, pp. 653-663, December 2002.
Tagged BibTex xml
Groener M K., Arthur J D.,
"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.
Tagged BibTex xml
Lloyd W J., Rosson M B., Arthur J D.,
"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.
Tagged BibTex xml
Sidky A S., Sud R R., Bhatia S., Arthur J D.,
"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.
Tagged BibTex xml
Guo J., Edwards S.H., Borojevic D.,
"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.
Tagged BibTex xml
Tilevich E., Smaragdakis Y.,
"J-Orchestra: Automatic Java Application Partitioning",
European Conference on Object-Oriented Programming (ECOOP), Malaga, May, 2002.
Tagged BibTex xml
Tilevich E., Smaragdakis Y.,
"Automatic Application Partitioning: The J-Orchestra Approach",
8th ECOOP Workshop on Mobile Object Systems, June, 2002.
Tagged BibTex xml
Arnold M., Hind M., Ryder B.G.,
"Online Feedback-directed Optimization of Java",
Proceedings of the Conference on Object Oriented Programming Languages, Systems and Applications, pp. 119-127, November, 2002.
Tagged BibTex xml
Milanova A., Rountev A., Ryder B.G.,
"Constructing Precise Object Relation Diagrams",
Proceedings of the IEEE International Conference on Software Maintenance, Montreal, Canada, pp. 586-595, October, 2002.
Tagged BibTex xml
Milanova A., Rountev A., Ryder B.G.,
"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.
Tagged BibTex xml
Milanova A., Rountev A., Ryder B.G.,
"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.
Tagged BibTex xml
Arnold M., Ryder Barbara G.,
"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.
Tagged BibTex xml
Kulczycki G., Sitaraman M., Ogden W F., Hollingsworth J E.,
"Capturing the Reference Behavior of Linked Data Structures",
Proceedings RESOLVE 2002 Workshop, Columbus, OH, June 2002.
Tagged BibTex xml
Kulczycki G.,
"Efficient Reusable Components with Value Semantics",
Proceedings of the ICSR2002 Young Researcher's Workshop, Austin, TX, April 2002.
Tagged BibTex xml
Fisher II M., Cao M., Rothermel G., Cook C., Burnett M.,
"Automated test case generation for spreadsheets",
International Conference on Software Engineering, Orlando, FL USA, 05/2002.
Tagged BibTex xml
Fisher II M., Jin D., Rothermel G., Burnett M.,
"Test reuse in the spreadsheet paradigm",
International Symposium on Software Reliability Engineering, Annapolis, MD, USA, 11/2002.
Tagged BibTex xml
2001
Balci O., Giley W S., Adams R J., Tunar E., Barnette N D.,
"Animation to Assist Learning Some Key Computer Science Topics",
ACM Journal on Educational Resources in Computing, vol. 1, no. 2, August 2001.
Tagged BibTex xml
Swisher J.R., Jacobson S.H., Jun B.J., Balci O.,
"Modeling and Analyzing a Physician Clinic Environment Using Discrete-Event (Visual) Simulation",
Computers and Operations Research, vol. 28, no. 2, pp. 105-125, 2001.
Tagged BibTex xml
Balci O., Gilley W.S., Adams R.J., Tunar E., Barnette D.N.,
"Animations to Assist Learning Some Key Computer Science Topics",
ACM Journal of Educational Resources in Computing (JERIC), vol. 1, no. 2, 2001.
Tagged BibTex xml
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.
Tagged BibTex xml
Balci O.,
"Defense Modeling and Simulation Office",
Verification, Validation and Accreditation (VV&A) Recommended Practices Guide, 2001.
Tagged BibTex xml
Nance R.E., Balci O.,
"Thoughts and Musings on Simulation Education",
Proceedings of the 2001 Winter Simulation Conference, Arlington, VA, IEEE, pp. 1567-1570, 2001.
Tagged BibTex xml
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.
Tagged BibTex xml
Rountev A., Milanova A., Ryder B.G.,
"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.
Tagged BibTex xml
Arnold M., Ryder B.G.,
"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.
Tagged BibTex xml
Chatterjee R., Ryder B.G., Landi W.A.,
"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.
Tagged BibTex xml
Arnold M., Hsiao M., Kremer U., Ryder B.G.,
"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.
Tagged BibTex xml
Ryder B.G., Landi W.A., Stocks P., Zhang S., Altucher R.,
"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.
Tagged BibTex xml
Ryder B.G., Tip F.,
"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.
Tagged BibTex xml
Rountev A., Ryder B.G.,
"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.
Tagged BibTex xml
Aronszajn M., Sitaraman M., Atkinson S., Kulczycki G.,
"A System for Predictable Component-Based Software Construction",
Volume on High Integrity Software, May 2001.
Tagged BibTex xml
Kulczycki G.,
"Type Handling in a Fully Integrated Programming and Specification Language",
Proceedings of the SAVCBS Workshop at OOPSLA 2001, Tampa, FL, October 2001.
Tagged BibTex xml
Sitaraman M., Krone J., Kulczycki G., Ogden W F., Reddy A L N.,
"Performance Specification of Reusable Software Components",
Proceedings ACM SIGSOFT Symposium on Software Reusability, Toronto, Canada, ACM Press, pp. 3-10, May 2001.
Tagged BibTex xml
Frakes W., Succi G.,
"An Industrial Study of Reuse, Quality, and Productivity",
Journal of Systems and Software, vol. 57, no. 2, pp. 99-106, June, 2001.
Tagged BibTex xml
2000
John T. Carr I., Balci O.,
"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.
Tagged BibTex xml
Balci O., Ormsby W.F., Carr J.T., III, Saadi S.D.,
"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.
Tagged BibTex xml
Balci O., Ormsby W.F.,
"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.
Tagged BibTex xml
Gibson D.S., Weide B.W., Pike S.M., Edwards S.H.,
"Toward a normative theory for component-based system design and analysis",
Foundations of Component-Based Systems: Cambridge University Press, pp. 211–230, 2000.
Tagged BibTex xml
Arthur J D., Nance R E.,
"Verification and Validation without Independence: A Recipe for Failure",
Proceedings of the 2000 Winter Simulation Conference, Orlando, FL, pp. 859-865, December 2000.
Tagged BibTex xml
Ravindran B., Edwards S.H.,
"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.
Tagged BibTex xml
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.
Tagged BibTex xml
Arnold M., Hind M., Ryder B.G.,
"An Empirical Study of Selective Optimization",
Proceedings of the Thirteenth Annual Workshop on Languages and Compilers For Parallel Computing, Yorktown Heights, August, 2000.
Tagged BibTex xml
Ryder B.G., Smith D., Kremer U., Gordon M., Shah N.,
"A Static Study of Java Exceptions Using JESP",
Proceedings of Ninth Annual International Conference on Compiler Construction, Berlin, Germany, pp. 67-81, March, 2000.
Tagged BibTex xml
Sitaraman M., Atkinson S., Kulczycki G., Weide B W., Long T J., Bucci P., Pike S., Heym W., Hollingsworth J E.,
"Reasoning About Software Component Behavior",
Proceedings of the Sixth International Conference on Software Reuse, Vienna, IEEE Computer Society Press, pp. 266-283, June 2000.
Tagged BibTex xml
Alonso O., Frakes W.B.,
"Visualization of Reusable Software Assets",
ICSR6 Sixth International Conference on Software Reuse, Vienna, Austria, 2000.
Tagged BibTex xml
Frakes W B.,
"Software Reuse in Practice",
The 3rd IEEE Symposium on Application-Specific Systems and Software Engineering Technology (ASSET 2000), Richardson, TX, 2000.
Tagged BibTex xml
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.
Tagged BibTex xml
Alonso O., Frakes W B.,
"DARE-Web: Domain Analysis in a Web Environment",
AMCIS 2000 Americas Conference on Information Systems, Long Beach, CA, 2000.
Tagged BibTex xml
Frakes W.,
"A Method for Bounding Domains",
IASTED International Conference Software Engineering and Applications 2000 (SEA 2000), Las Vegas, NV, Nov., 2000.
Tagged BibTex xml
1999
Edwards S H., Shaffer C A.,
"An Analysis of a Course-Oriented Electronic Mailing List",
Computer Science Education, vol. 9, no. 1, pp. 8–22, April, 1999.
Tagged BibTex xml
Bachelet B., Balci O.,
"Achieving Reusability in Visual Simulation of a Parts Distribution System",
Proceedings of the 1999 Summer Computer Simulation Conference, Chicago, Illinois, pp. 115-118, 1999.
Tagged BibTex xml
Page E.H., Nicol D.M., Balci O., Fujimoto R.M., Fishwick P.A., L'Ecuyer P., Smith R.,
"Panel: Strategic Directions in Simulation Research",
Proceedings of the 1999 Winter Simulation Conference, Phoenix, AZ, IEEE, pp. 1509-1520, 1999.
Tagged BibTex xml
Arthur J D., Groener M K., Hayhurst K J., Holloway C M.,
"Evaluating the Effectiveness of Independent Verification and Validation",
IEEE Computer, vol. 32, no. 10, pp. 79-83, October 1999.
Tagged BibTex xml
Edwards S.H., Henry S.M., Bodnar R.P.,
"Software metrics for multimedia languages",
Software Measurement: Current Trends in Research and Practice: Wiesbaden: Deutscher Universitats Verlag, 1999.
Tagged BibTex xml
Groener M K., Arthur J D.,
"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.
Tagged BibTex xml
Arthur J D., Sargent R G.,
"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.
Tagged BibTex xml
Rountev A., Ryder B.G., Landi W.A.,
"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.
Tagged BibTex xml
Yur J., Ryder B.G., Landi W.A.,
"An Incremental Flow- and Contextsensitive Pointer Aliasing Analysis",
Proceedings of the 21st International Conference on Software Engineering, pp. 442-451, May, 1999.
Tagged BibTex xml
Chatterjee R., Ryder B.G., Landi W.A.,
"Relevant Context Inference",
Proceedings of the 26th ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, pp. 133-146, January, 1999.
Tagged BibTex xml
Arnold M., Hsiao M., Kremer U., Ryder B.G.,
"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.
Tagged BibTex xml
Alonso O., Frakes B.,
"Visualization of Reusable Software Components",
Joint Conference on Intelligent Systems 1999 (JCIS'98): Assoc. for Intell. Machinery, 1999.
Tagged BibTex xml
1998
Balci O., Banks J.,
"Verification, Validation, and Testing",
The Handbook of Simulation, New York, NY, John Wiley & Sons, pp. 335-393, 1998.
Tagged BibTex xml
Balci O., Nance R.E.,
"A Taxonomy of Layout Composition Techniques for Visual Simulation",
Proceedings of the 1998 Summer Computer Simulation Conference, Reno, Nevada, pp. 380-386, 1998.
Tagged BibTex xml
Balci O., Nance R.E.,
"A Taxonomy of Layout Composition Techniques for Visual Simulation",
Proceedings of the 1998 Summer Computer Simulation Conference, Reno, Nevada, pp. 380-386, 1998.
Tagged BibTex xml
Balci O., c} C., Shah P., Fox E.A.,
"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.
Tagged BibTex xml
Balci O., Bertelrud A.I., Esterbrook C.M., Nance R.E.,
"Visual Simulation Environment",
Proceedings of the 1998 Winter Simulation Conference, Washington, DC, IEEE, pp. 279-287, 1998.
Tagged BibTex xml
Balci O.,
"Verification, Validation and Accreditation",
Proceedings of the 1998 Winter Simulation Conference, Washington, DC, IEEE, pp. 41-48, 1998.
Tagged BibTex xml
Arthur J D., Stapko R K., Rosenberg L H., Hyatt L E.,
"Estimating and Predicting Error Detection Trends and Relative Manpower Utilization",
IASTED International Conference on Modeling and Simulation, Pittsburgh, PA, pp. 571-575, May 1998.
Tagged BibTex xml
Dabney J B., Arthur J D.,
"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.
Tagged BibTex xml
Edwards S.H., Shakir G., Sitaraman M., Weide B.W., Hollingsworth J.,
"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.
Tagged BibTex xml
Balci O., Ulusarac C., Shah P., Fox E.A.,
"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.
Tagged BibTex xml
Zhang S., Ryder B.G., Landi W.A.,
"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.
Tagged BibTex xml
Chatterjee R., Ryder B.G., Landi W.A.,
"Complexity of Concrete Type-inference in the Presence of Exceptions",
Proceedings of ESOP’98, pp. 57- 74, March, 1998.
Tagged BibTex xml
Stocks P.A., Ryder B.G., Landi W.A., Zhang S.,
"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.
Tagged BibTex xml
Frakes W., Prieto-Diaz R., Fox C.,
"DARE: Domain Analysis and Reuse Environment",
Annals of Software Engineering, vol. 5, pp. 125-141, 1998.
Tagged BibTex xml
Frakes W.,
"Systematic Software Reuse",
Introduction to special issue on reuseAnnals of Software Engineering, pp. 1-3, 1998.
Tagged BibTex xml
Frakes B.,
"Linking Domain Analysis and Domain Implementation",
Proceedings of Fifth International Conference on Software Reuse, pp. 348-349, 1998.
Tagged BibTex xml
Frakes B.,
"A 10 Year Perspective on Reuse Benefits",
Proceedings of European Reuse Workshop '98, Madrid, Spain, pp. 135-138, 1998.
Tagged BibTex xml
1997
Derrick J.E., Balci O.,
"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.
Tagged BibTex xml
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.
Tagged BibTex xml
Balci O., Bertelrud A.I., Esterbrook C.M., Nance R.E.,
"Dynamic Object Decomposition in the Visual Simulation Environment",
Proceedings of the 11th European Simulation Multiconference, Istanbul, Turkey, pp. 69-73, 1997.
Tagged BibTex xml
Balci O., Bertelrud A.I., Esterbrook C.M., Nance R.E.,
"The Visual Simulation Environment",
Proceedings of the 11th European Simulation Multiconference, Istanbul, Turkey, pp. 61-68, 1997.
Tagged BibTex xml
Yilmaz L., Balci O.,
"Object-Oriented Simulation Model Verification and Validation",
Proceedings of the 1997 Summer Computer Simulation Conference, Arlington, VA, pp. 835-840, 1997.
Tagged BibTex xml
Balci O., Bertelrud A.I., Esterbrook C.M., Nance R.E.,
"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.
Tagged BibTex xml
Swisher J.R., Jun J.B., Jacobson S.H., Balci O.,
"Simulation of the Queston Physician Network",
Proceedings of the 1997 Winter Simulation Conference, Atlanta, GA, pp. 1146-1154, 1997.
Tagged BibTex xml
Balci O., Bertelrud A.I., Esterbrook C.M., Nance R.E.,
"The Visual Simulation Environment Technology Transfer",
Proceedings of the 1997 Winter Simulation Conference, Atlanta, GA, pp. 1323-1329, 1997.
Tagged BibTex xml
Balci O., Bertelrud A.I., Esterbrook C.M., Nance R.E.,
"Introduction to the Visual Simulation Environment",
Proceedings of the 1997 Winter Simulation Conference, Atlanta, GA, 1997.
Tagged BibTex xml
Balci O.,
"Verification, Validation and Accreditation of Simulation Models",
Proceedings of the 1997 Winter Simulation Conference, Atlanta, GA, pp. 135-141, 1997.
Tagged BibTex xml
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.
Tagged BibTex xml
Yur J., Ryder B.G., Landi W.A., Stocks P.,
"Incremental Analysis of Side Effects for C Software Systems",
Proceedings of the 19th International Conference of on Software Engineering, pp. 422-432, May, 1997.
Tagged BibTex xml
Fox C J., Frakes W B.,
"The Quality Approach: Is It Delivering?",
CACM, vol. 40, no. 6, pp. 24-29, June, 1997.
Tagged BibTex xml
Devanbu P., Frakes B.,
"Extracting Formal Domain Models from Existing Code for Generative Reuse",
ACM Applied Computing Review, vol. 5, no. 1, 1997.
Tagged BibTex xml
Frakes W B.,
"Automating Domain Analysis",
Eighth Workshop on Software Reuse, Columbus, Ohio, 1997.
Tagged BibTex xml
Frakes W., Prieto-Diaz R., Fox. C.,
"DARE-COTS A Domain Analysis Support Tool",
XVII International Confernce of the Chilean Computer Society, Valparaiso, Chile, IEEE CS Press, 1997.
Tagged BibTex xml
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.
Tagged BibTex xml
Balci O., Gass S I., Harris C M.,
"Verification, Validation and Testing of Models",
Encyclopedia of Operations Research and Management Science, Norwell, MA, Kluwer Academic Publishers, pp. 719-723, 1996.
Tagged BibTex xml
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.
Tagged BibTex xml
W.Weide B., Edwards S.H., Heym W.D., Long T.J., Ogden W.F.,
"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.
Tagged BibTex xml
Arthur J D., Gupta S., Groener M K., Cannon M., Khan Z.,
"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.
Tagged BibTex xml
Arthur J D., Nance R E.,
"Independent Verification and Validation: A Missing Link in Simulation Methodology?",
Proceedings of the 1996 Winter Simulation Conference , Coronado, CA, pp. 230-236, December 1996.
Tagged BibTex xml
Bundy G N., Arthur J D.,
"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.
Tagged BibTex xml
Ryder B.G.,
"A Position Paper on Compile-time Program Analysis",
ACM Computing Surveys, vol. 28A, no. 4, December, 1996.
Tagged BibTex xml
Zhang S., Ryder B.G., Landi W.,
"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.
Tagged BibTex xml
Pande, D. H., Ryder B.G.,
"Data-flow-based Virtual Function Resolution",
Proceedings of the Third International Symposium on Static Analysis (SAS’96), Aachen, Germany, pp. 238-254, September, 1996.
Tagged BibTex xml
Frakes W.B., Fox. C.J.,
"Quality Improvement Using A Software Reuse Failure Modes Model",
IEEE Transactions on Software Engineering, vol. 22, no. 4, pp. 274-279, 1996.
Tagged BibTex xml
Frakes. W.,
"The Software Reuse Business",
Proceedings of Fourth International Conference on Software Reuse., Orlando, FL, IEEE CS Press, 1996.
Tagged BibTex xml
1995
Derrick J.E., Balci O.,
"A Visual Simulation Support Environment Based on the Domino Conceptual Framework",
Journal of Systems and Software, vol. 31, no. 3, pp. 215- 237, 1995.
Tagged BibTex xml
Balci O., Bertelrud A.I., Esterbrook C.M., Nance R.E.,
"A Picture-Based Object-Oriented Visual Simulation Environment",
Proceedings of the 1995 Winter Simulation Conference, Arlington, VA, pp. 1333-1340, 1995.
Tagged BibTex xml
Balci O.,
"Principles and Techniques of Simulation Validation, Verification, and Testing",
Proceedings of the 1995 Winter Simulation Conference, Arlington, VA, pp. 147-154, 1995.
Tagged BibTex xml
Landry K D., Arthur J D.,
"Instructional Footprinting and Semantic Preservation in Linda",
Concurrency: Practice and Experience, vol. 7, no. 3, pp. 191-207, May 1995.
Tagged BibTex xml
Robinson P G., Arthur J D.,
"Distributed Process Creation Within a Shared Data Space Framework",
Software-Practice and Experience, vol. 25, no. 2, pp. 175-191, February 1995.
Tagged BibTex xml
Edwards. S.H.,
"Streams: A pattern for “pull-driven” processing",
Pattern Languages of Program Design,: Addison- Wesley, 1995.
Tagged BibTex xml
Zweben S., Edwards S., Weide B., Hollingsworth J.,
"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.
Tagged BibTex xml
Landry K D., Arthur J D.,
"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.
Tagged BibTex xml
Li W., Henry S., Lorch M.,
"Measuring Object-Oriented Design",
Journal of Object-Oriented Programming, vol. 8, no. 4, pp. 48-55, July/august 1995.
Tagged BibTex xml
Lee Y., Ryder B.G., Fiuczynski M.,
"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.
Tagged BibTex xml
Masticola S., Marlowe T.J., Ryder B.G.,
"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.
Tagged BibTex xml
Frakes W.B., Fox C.J.,
"Modeling Reuse Across the Software Lifecycle",
Journal of Systems and Software, vol. 30, no. 3, pp. 295-301, 1995.
Tagged BibTex xml
Frakes W.B., Fox. C.J.,
"Sixteen Questions about Software Reuse",
CACM, vol. 38, no. 6, pp. 75-87, 1995.
Tagged BibTex xml
Frakes W., Prieto-Diaz R., Fox. C.,
"DARE: Domain Analysis and Reuse Environment",
Seventh Annual Workshop on Software Reuse, 1995.
Tagged BibTex xml
Hollenbach C., Frakes. W.,
"Software Process Reuse",
Seventh Workshop on Software Reuse, 1995.
Tagged BibTex xml
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.
Tagged BibTex xml
Balci O.,
"Annals of Operations Research",
Simulation and Modeling, vol. 53, 1994.
Tagged BibTex xml
Derrick J.E., Balci O.,
"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.
Tagged BibTex xml
Talbert M.L., Balci O., Nance R.E.,
"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.
Tagged BibTex xml
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.
Tagged BibTex xml
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.
Tagged BibTex xml
W.Weide B., Edwards S.H., Harms D.E., Lamb D.A.,
"Design and specification of iterators using the swapping paradigm",
IEEE Transactions on Software Engineering, vol. 20, no. 8, pp. :631–643, August, 1994.
Tagged BibTex xml
Flanigan Wagner M A., Sevinc S., Tanir O., Haigh P L., Arthur J D., Nance R E.,
"A Standard Simulation Environment: A Review of Preliminary Requirements",
Proceedings of the 1994 Winter Simulation Conference, Orlando, FL, pp. 664-672, December 1994.
Tagged BibTex xml
Landry K D., Arthur J D.,
"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.
Tagged BibTex xml
Nance R E., Arthur J D.,
"Software Quality Measurement: Assessment, Prediction and Validation",
The 6th Annual Software Technology Conference, Salt Lake City, UT, April 1994.
Tagged BibTex xml
Lorch M., Lavender G.,
"Concurrent Object-Oriented Languages and the Inheritance Anomaly",
Parallel Computers: Theory and Practice: IEEE Press, pp. 165-198, 1994.
Tagged BibTex xml
Henry J., Henry S., Lorch M., Matheson L.,
"Improving Software Maintenance at Martin Marietta",
IEEE Software, Special issue on Measurement-Based Process Improvement, vol. 11, no. 1, pp. 67-75, July 1994.
Tagged BibTex xml
Lee Y., Ryder B.G.,
"Effectively Exploiting Parallelism in Data Flow Analysis",
The Journal of Supercomputing, vol. 8, pp. 233-262, 1994.
Tagged BibTex xml
Pande H., Landi W., Ryder B.G.,
"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.
Tagged BibTex xml
Sgro V., Ryder B.G.,
"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.
Tagged BibTex xml
Lee Y., Ryder B.G., Fiuczynski M.,
"Region Analysis: A Parallel Elimination Method for Data Flow Analysis",
IEEE International Conference on Computer Languages, Toulouse, France, May, 1994.
Tagged BibTex xml
Pande H., Ryder B.G.,
"Static Type Determination in C++",
Proceedings of the Sixth USENIX C++ Technical Conference, Cambridge, MA, pp. 85-97, April , 1994.
Tagged BibTex xml
Frakes W.B., Pole T.,
"An Empirical Study of Representation Methods for Reusable Software Components",
IEEE Transactions on Software Engineering, vol. 20, no. 8, pp. 617-630, 1994.
Tagged BibTex xml
Frakes W., Isoda S.,
"Success Factors of Systematic Reuse",
Introduction to special issue on reuse IEEE Software, vol. 11, no. 5, pp. 14-19, September, 1994.
Tagged BibTex xml
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.
Tagged BibTex xml
Frakes W.,
"Position Paper for Panel on Software Engineering Education",
TRI-Ada '94, Baltimore, Md., ACM Press, 1994.
Tagged BibTex xml
1993
Arthur J.D., Nance R.E., Balci O.,
"Establishing Software Development Process Control: Technical Objectives, Operational Requirements, and the Foundational Framework",
Journal of Systems and Software, vol. 22, no. 2, 1993.
Tagged BibTex xml
Balci O., DeVaux D., Nance R.E.,
"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.
Tagged BibTex xml
Arthur J D., Nance R E., Balci O.,
"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.
Tagged BibTex xml
Degrace, 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.
Tagged BibTex xml
Edwards S.H.,
"Common interface models for reusable software",
Journal of Software Engineering and Knowledge Engineering, vol. 3, no. 2, pp. 193–206, 1993.
Tagged BibTex xml
Cline G E., Arthur J D.,
"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.
Tagged BibTex xml
Okie E G., Arthur J D.,
"Implicit-Specification Errors and Automatic, Trace-Based Debugging",
Proceedings of the 21st Annual Computer Science Conference, Indianapolis, IN, pp. 23-29, February 1993.
Tagged BibTex xml
Lorch M., Mukherji M., Lavendar G.,
"ACT++ 2.0: A Class Library for Concurrent Programming in C++ Using Actors",
Journal of Object-Oriented Programming, pp. 47-55, October 1993.
Tagged BibTex xml
Landi W., Ryder B.G., Zhang S.,
"Interprocedural Modification Side Effect AnalysisWith Pointer Aliasing",
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 56-67, June, 1993.
Tagged BibTex xml
Masticola S., Ryder B.G.,
"Non-concurrency Analysis",
Proceedings of the ACM Conference on Principles and Practices of Parallel Programming, pp. 129-138, May, 1993.
Tagged BibTex xml
Frakes W.B.,
"Software Reuse as Industrial Experiment",
American Programmer, vol. 6, no. 8, pp. 27-33, September, 1993.
Tagged BibTex xml
1992
Balci O., Sharda R., Zenios S.A.,
Computer Science and Operations Research: New Developments in Their Interfaces,
, Oxford, U.K., Pergamon Press, 1992.
Tagged BibTex xml
Balci O., Nance R.E.,
"Simulation Model Development Environment Research Project at VPI&SU",
Proceedings of the Symposium on Advances in Simulation `92, Istanbul, Turkey, pp. 189-196, 1992.
Tagged BibTex xml
Balci O., Nance R.E.,
"The Simulation Model Development Environment: An Overview",
Proceedings of the 1992 Winter Simulation Conference, Arlington, VA, pp. 726-736, 1992.
Tagged BibTex xml
Landry K D., Arthur J D.,
"Instructional Footprinting: A Model for Concurrency",
Proceedings of the Twenty-Second Annual Virginia Computer Users Conference, Blacksburg, VA, pp. 41-55, October 1992.
Tagged BibTex xml
Lewis J., Henry S., Lorch M., Schulman R.,
"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.
Tagged BibTex xml
Laribi A., Lorch M.,
"A Protection Model Incorporating Both Authorizations and Constraints",
Computer Security, vol. 11, pp. 57-73, 1992.
Tagged BibTex xml
Lewis J., Henry S., Lorch M., Shulman R.,
"Human Factors and Software Reuse: the Manager’s Impact",
ACM 30th Southeast Conference, Raleigh, NC, April 1992.
Tagged BibTex xml
Landi W., Ryder B.G.,
"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.
Tagged BibTex xml
Lee Y., Ryder B.G.,
"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.
Tagged BibTex xml
Lee Y., Ryder B.G.,
"A Comprehensive Approach to Parallel Data Flow Analysis",
Proceedings of the International Conference on Supercomputing, pp. 236-247, July, 1992.
Tagged BibTex xml
Schatz E., Ryder B.G.,
"Directed Tracing of Race Conditions",
Proceedings of the International Conference on Parallel Processing, pp. II-247:II-250, August, 1992.
Tagged BibTex xml
Arnold R.S., Frakes W.B.,
"Software Reuse and Reengineering",
CASE Trends, pp. 44-48, February, 1992.
Tagged BibTex xml
1991
Schumann C N., Landry K D., Arthur J D.,
"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.
Tagged BibTex xml
Lewis J., Henry S., Lorch M., Shulman R.,
"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.
Tagged BibTex xml
Lee Y., Marlowe T.J., Ryder B.G.,
"Experiences with a Parallel Algorithm for Data Flow Analysis",
The Journal of Supercomputing, vol. 5, no. 2, pp. 163-188, October, 1991.
Tagged BibTex xml
Landi W., Ryder B.G.,
"Pointer-induced Aliasing: A Problem Taxonomy",
Proceedings of the Eighteenth Symposium on Principles of Programming Languages, pp. 93-103, January, 1991.
Tagged BibTex xml
Pande H., Ryder B.G., Landi W.,
"Interprocedural Def-Use Associations for C Programs",
Proceedings of the ACM SIGSOFT Conference on Testing, Analysis and Validation, pp. 139-153, October, 1991.
Tagged BibTex xml
Masticola S., Ryder B.G.,
"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.
Tagged BibTex xml
Marlowe T.J., Ryder B.G.,
"Hybrid Incremental Alias Algorithms",
Proceedings of Twenty-Fourth Hawaii International Conference on System Sciences, pp. 428-437, January, 1991.
Tagged BibTex xml
Frakes W B., Lubinsky D J., Neal D N.,
"Experimental Evaluation of a Test Coverage Analyzer for C and C++",
Journal of Systems and Software, pp. 135-139, October , 1991.
Tagged BibTex xml
1990
Balci O., Sadowski R.P., Nance R.E.,
Proceedings of the 1990 Winter Simulation Conference,
: IEEE, 1990.
Tagged BibTex xml
Bishop J.L., Balci O.,
"General Purpose Visual Simulation System: A Functional Description",
Proceedings of the 1990 Winter Simulation Conference, New Orleans, pp. 504-512, 1990.
Tagged BibTex xml
Balci O., Nance R.E., Derrick J.E., Page E.H., Bishop J.L.,
"Model Generation Issues in a Simulation Support Environment",
Proceedings of the 1990 Winter Simulation Conference, New Orleans, LA, pp. 257-263, 1990.
Tagged BibTex xml
Balci O.,
"Guidelines for Successful Simulation Studies",
Proceedings of the 1990 Winter Simulation Conference, New Orleans, LA, pp. 25-32, 1990.
Tagged BibTex xml
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.
Tagged BibTex xml
Bundy G N., Arthur J D.,
"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.
Tagged BibTex xml
Arthur J D., Nance R E.,
"A Framework for Assessing the Adequacy and Effectiveness of Software Development Methodologies",
Proceedings of the Fifteenth Annual Software Engineering Workshop, Greenbelt, MD, December 1990.
Tagged BibTex xml
Lorch M., Yerneni A.,
"Reliability Using Complexity Metrics",
Eight Annual Pacific Northwest Software Quality Conference, Portland, OR, October 1990.
Tagged BibTex xml
Marlowe T.J., Ryder B.G.,
"Properties of Data Flow Frameworks: A Unified Model",
Acta Informatica, vol. 28, pp. 121-163, 1990.
Tagged BibTex xml
Berman M.A., Paull M.C., Ryder B.G.,
"Proving Relative Lower Bounds for Incremental Algorithms",
Acta Informatica, vol. 27, July, 1990.
Tagged BibTex xml
Burke M., Ryder B.G.,
"A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms",
IEEE Transactions on Software Engineering, pp. 723-728, July, 1990.
Tagged BibTex xml
Ryder B.G., Landi W., Pande H.,
"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.
Tagged BibTex xml
Marlowe T.J., Ryder B.G.,
"An Efficient Hybrid Algorithm for Incremental Data Flow Analysis",
Proceedings of the Seventeenth Symposium on Principles of Programming Languages, pp. 184-196, January, 1990.
Tagged BibTex xml
Lee Y., Marlowe T.J., Ryder B.G.,
"Performing Data Flow Analysis in Parallel",
Proceedings of ACM Supercomputing90, pp. 942-951, November, 1990.
Tagged BibTex xml
Masticola S., Ryder B.G.,
"Static Infinite Wait Anomaly Detection in Polynomial Time",
Proceedings of International Conference on Parallel Processing, August, 1990.
Tagged BibTex xml
Frakes W B., Gandel P B.,
"Representing Reusable Software",
Information and Software Technology, December, 1990.
Tagged BibTex xml
Frakes W B., Pole T P.,
"Proteus: A Software Reuse Library System that Supports Multiple Representation Methods",
ACM SIGIR Forum, 1990.
Tagged BibTex xml
1989
Frankel V.L., Balci O.,
"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.
Tagged BibTex xml
Balci O., Nance R.E., Sharda R.,
"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.
Tagged BibTex xml
Sharda R., Golden B.L., Wasil E., Balci O., Stewart W.,
Impacts of Recent Computer Advances on Operations Research,
, New York, NY, Elsevier Science Publishing, 1989.
Tagged BibTex xml
Whitner R.B., Balci O.,
"Guidelines for Selecting and Using Simulation Model Verification Techniques",
Proceedings of the 1989 Winter Simulation Conference, Washington, DC, pp. 559-568, 1989.
Tagged BibTex xml
Derrick J.E., Balci O., Nance R.E.,
"A Comparison of Selected Conceptual Frameworks for Simulation Modeling",
Proceedings of the 1989 Winter Simulation Conference, Washington, DC, pp. 711-718, 1989.
Tagged BibTex xml
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.
Tagged BibTex xml
Arthur J D., Raghu K S.,
"Taskmaster: An Interactive, Graphical Environment for Task Specification, Execution and Monitoring",
Behavior and Information Technology, vol. 8, no. 3, pp. 219-233, 1989.
Tagged BibTex xml
Arthur J D., Stevens K T.,
"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.
Tagged BibTex xml
Lorch M., Lee K.,
"Inheritance in Actor Based Concurrent Object-Oriented Languages",
The Computer Journal, vol. 32, no. 4, pp. 297-304, August 1989.
Tagged BibTex xml
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.
Tagged BibTex xml
1988
Venkateshwaran A., Nance R.E., Balci O.,
"Dynamically Reconfigurable Networks: Concept Evaluation Through Simulation",
Proceedings of the 12th IMACS World Congress on Scientific Computation, Paris, France, pp. 460-463, 1988.
Tagged BibTex xml
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.
Tagged BibTex xml
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.
Tagged BibTex xml
Okie E G., Arthur J D.,
"The Execution History Approach to Intelligent Debugging",
Proceedings of the 1988 Computer Science Conference, Atlanta, GA, pp. 273-281, February 1988.
Tagged BibTex xml
Nance R E., Arthur J D.,
"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.
Tagged BibTex xml
Henry S., Lorch M.,
"A Reliability Model Based on Software Quality Factors",
Annual National Joint Conference on Software Quality and Reliability, Arlington, VA, March 1988.
Tagged BibTex xml
Ryder B.G., Marlowe T.J., Paull M.C.,
"Conditions for Incremental Iteration: Examples and Counterexamples",
Science of Computer Programming, vol. 11, pp. 1-15, October, 1988.
Tagged BibTex xml
Ryder B.G., Pendergrast S.J.,
"Experiments in Optimizing FP",
IEEE Transactions on Software Engineering, vol. 14, no. 4, pp. 444-454, April, 1988.
Tagged BibTex xml
Ryder B.G., Paull M.C.,
"Incremental Data Flow Analysis Algorithms",
ACM Transactions on Programming Languages and Systems, vol. 10, no. 1, pp. 1-50, January, 1988.
Tagged BibTex xml
Carroll M., Ryder B.G.,
"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.
Tagged BibTex xml
1987
Balci O., Nance R.E.,
"Simulation Model Development Environments: A Research Prototype",
Journal of the Operational Research Society, vol. 38, no. 8, pp. 753-763, 1987.
Tagged BibTex xml
O'Keefe R.M., Balci O., Smith E.P.,
"Validating Expert System Performance",
IEEE Expert, vol. 2, no. 4, pp. 81-90, 1987.
Tagged BibTex xml
Nance R.E., Balci O., Singh M G.,
"Simulation Model Management Objectives and Requirements",
Systems and Control Encyclopedia: Theory, Technology, Applications, Oxford, Pergamon Press, pp. 4328-4333, 1987.
Tagged BibTex xml
Balci O.,
Proceedings of the Conference on Methodology and Validation,
, Orlando, FL, 1987.
Tagged BibTex xml
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.
Tagged BibTex xml
Balci O., Nance R.E.,
"Simulation Support: Prototyping the Automation- Based Paradigm",
Proceedings of the 1987 Winter Simulation Conference, Atlanta, GA, pp. 495-502, 1987.
Tagged BibTex xml
Arthur J D., Ehrich R W., Mulheren K C.,
"A Network Specification and Execution Environment",
International Journal of Mini and Microcomputers, vol. 9, no. 3, pp. 57-62, 1987.
Tagged BibTex xml
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.
Tagged BibTex xml
Lorch M., Reddy G.R.,
"The Use of Software Complexity Metrics in Software Maintenance",
IEEE Transactions on Software Engineering, vol. SE-13, no. 3, pp. 335-343, 1987.
Tagged BibTex xml
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.
Tagged BibTex xml
1986
Balci O.,
"Requirements for Model Development Environments",
Computers & Operations Research, vol. 13, no. 1, pp. 53-67, 1986.
Tagged BibTex xml
Balci O.,
"Credibility Assessment of Simulation Results",
Proceedings of the 1986 Winter Simulation Conference, Washington, DC, pp. 38-43, 1986.
Tagged BibTex xml
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.
Tagged BibTex xml
Arthur J D., Ehrich R W., Mulheren K C.,
"A Network Specification and Execution Environment",
International Symposium on Software and Hardware Applications of Microcomputers, Beverly Hills, CA, pp. 132-136, 1986.
Tagged BibTex xml
Ryder B.G., Paull M.C.,
"Elimination Algorithms for Data Flow Analysis",
ACM Computing Surveys, vol. 18, no. 3, pp. 277-316, September, 1986.
Tagged BibTex xml
Ryder B.G., Carroll M.D.,
"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.
Tagged BibTex xml
Ryder B.G., Pendergrast S.J.,
"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.
Tagged BibTex xml
1985
Balci O., Nance R.E.,
"Formulated Problem Verification as an Explicit Requirement of Model Credibility",
Simulation, vol. 45, no. 2, pp. 76-86, 1985.
Tagged BibTex xml
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.
Tagged BibTex xml
Lorch M., Canning J.,
"A Validation of Software Metrics Using Many Metrics and Two Resources",
Eighth International Conference on Software Engineering, London, England, August 1985.
Tagged BibTex xml
Lorch M.,
"A Survey of Software Metrics",
ACM Annual Conference, Denver, CO, October 1985.
Tagged BibTex xml
Lorch M., Henry S.,
"Software Quality Measurement: Recent Experience and New Tools",
Eighth Annual Minnowbrook Workshop on Software Performance Evaluation, July 1985.
Tagged BibTex xml
1984
Balci O., Sargent R.G.,
"Validation of Simulation Models via Simultaneous Confidence Intervals",
American Journal of Mathematical and Management Sciences, vol. 4, no. 3 & 4, pp. 375-406, 1984.
Tagged BibTex xml
Nance R.E., Balci O., Jr. R.L.,
"Evaluation of the UNIX Host for a Model Development Environment",
Proceedings of the 1984 Winter Simulation Conference, Dallas, TX, pp. 577-584, 1984.
Tagged BibTex xml
Arthur J D., Reed D A.,
"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.
Tagged BibTex xml
Arthur J D., Comer D E.,
"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.
Tagged BibTex xml
Lindquist T., Facemire J., Lorch M.,
"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.
Tagged BibTex xml
Henry S., Lorch M.,
"Evaluation of System Structure Using Software Metrics",
Software: Practice and Experience, vol. 14, no. 6, pp. 561-573, June 1984.
Tagged BibTex xml
Lorch M., Canning J., Reddy G.,
"The Independence of Software Metrics Taken at Different Life Cycle Stages",
Ninth Annual Software Engineering Workshop, NASA/Goddard, November 1984.
Tagged BibTex xml
1983
Balci O., Sargent R.G., Agrawala A K., Tripathi S K.,
Validation of Multivariate Response Trace-Driven Simulation Models,
, vol. Performanc, Amsterdam, North- Holland Publishing, pp. 309-323, 1983.
Tagged BibTex xml
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.
Tagged BibTex xml
1982
Balci O., Sargent R.G.,
"Validation of Multivariate Response Models Using Hotelling's Two-Sample T2 Test",
Simulation, vol. 39, no. 6, pp. 185-192, 1982.
Tagged BibTex xml
Balci O., Sargent R.G.,
"Some Examples of Simulation Model Validation Using Hypothesis Testing",
Proceedings of the 1982 Winter Simulation Conference, San Diego, CA, pp. 621-629, 1982.
Tagged BibTex xml
Lorch M.,
"Analyzing the Structure of Software Systems Using Software Metrics",
Fifth Minnowbrook Workshop on Software Performance Evaluation, July 1982.
Tagged BibTex xml
1981
Balci O., Sargent R.G.,
"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.
Tagged BibTex xml
Arthur J D., Ramanathan J.,
"Design of Analyzers for Selective Program Analysis",
IEEE Transactions on Software Engineering, vol. SE-7, no. 1, pp. 39-51, January 1981.
Tagged BibTex xml
Lorch M., Henry S.,
"Software Quality Metrics Based on Interconnectivity",
Journal of Systems and Software, vol. 2, pp. 121-131, 1981.
Tagged BibTex xml
Henry S., Lorch M.,
"Software Structure Metrics Based on Information Flow",
IEEE Transactions on Software Engineering, vol. SE-7, no. 5, pp. 510-518, September 1981.
Tagged BibTex xml
Lorch M., Henry S., Harris K.,
"On the Relationships Among Three Software Metrics",
Performance Evaluation Review, vol. 10, no. 1, pp. 81-88, Spring, 1981.
Tagged BibTex xml
1980
Shanthikumar G.J., Balci O.,
"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.
Tagged BibTex xml
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.
Tagged BibTex xml
1973
Ryder B.G.,
"The PFORT Verifier",
Software Practice and Experience, vol. 4, pp. 359-377, October-December, 1973.
Tagged BibTex xml
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.
Blended Static/Dynamic Analyses for Performance Understanding and Improved Security of Framework-intensive Systems
Granting Institution: National Science Foundation
Amount: $240,000
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
