J. A. Stankovic, T. Abdelzaher, C. Lu, L. Sha, J. Hou, "Real-Time Communication and Coordination in Embedded Sensor Networks", accepted for publication in Proceedings of the IEEE, 2003.

Radhika Nagpal, Daniel Coore, "An Algorithm for Group Formation In an Amorphous Computer", Technical Report LCS-TR-737, MIT, 1998.

Radhika Nagpal, Daniel Coore, "An Algorithm for Group Formation and Maximal Independent Set In an Amorphous Computer", AI Memo 1626, MIT, 1997

Abdelzaher T., Blum B., Evans D., George J., George S., Gu L., He T., Huang C., Nagaraddi P., Son S., Sorokin P., Stankovic J., Wood A., "EnviroTrack: An Environmental Programming Model for Tracking Applications in Distributed Sensor Networks",

B. M. Blum, P. Nagaraddi, A. Wood, T. F. Abdelzaher, S. Son, and J. A. Stankovic. "An Entity Maintenance and Connection Service for Sensor Networks" , The First International Conference on Mobile Systems, Applications, and Services (MobiSys), San Francisco, CA, May 2003

GloMoSim Homepage

A Comprehensible GloMoSim Tutorial, compilation by Jorge Nuevo, INRS, University of Quebec

Top

CS751: Topics in Software Engineering and Languages (Spring 2003)

Web: http://www.cs.virginia.edu/~cs751/

Teacher: Kevin Sullivan ( sullivan@cs.virginia.edu )

Project

Group members: Yuanyuan Song, Guangyu Dong, Jia Xu

Project Proposal

Proposal Presentation: Prioritization on Regression Test

The first update presentation: Test Case Prioritization on Regression Test

The second update presentation: Coverage Prediction Based on Invocation Relations

The final presentation: Static Coverage Prediction for Regression Test

The final report: Static Coverage Prediction for Regression Test

The test suite (GNU RegExp)

Reference:

Mary Jean Harroad, "Testing: A Roadmap", in The Future of Software Engineering, special volume, A. Finkelstein, Ed., 22nd International Conference on Software Engineering, June, 2000.

W. Wong, J.Horgan, S.London, and H.Agrawal. "A Study of Effective Regression Testing in Practice". In Proc. of the Eighth Intl. Symp. on Software Rel. Engr., Nov. 1997

G. Rothermel, R. H. Untch, C. Chu, and M. J. Harrold. "Test case prioritization: An empirical study". In Proceedings of the International Conference on Software Maintenance, August 1999.

G. Rothermel, R. H. Untch, C. Chu, and M. J. Harrold. "Prioritizing Test Cases For Regression Testing". IEEE Transactions on Software Engineering, October 2001 (Vol. 27, No. 10).

G. Rothermel, S. Elbaum, A. Malishevsky, P. Kallakuri, B. Davia, "The Impact of Test Suite Granularity on the Cost-Effectiveness of Regression Testing", Proceedings of the 24th International Conference on Software Engineering, May, 2002

J.-M. Kim, A. Porter, and G. Rothermel. "An empirical study of regression test application frequency". In Proc. of the 22nd lnt'l. Conf. on Softw. Eng., pages 126-135, Jun. 2000.

Jung-Min Kim, Adam Porter, "A history-based test prioritization technique for regression testing in resource constrained environments", Proceedings of the 24th International Conference on Software Engineering, May, 2002

Amitabh Srivastava, Jay Thiagarajan, "Effectively prioritizing tests in development environment", Proceedings of the international symposium on Software testing and analysis, 2002

Top

CS660: Theory of Computation (Spring 2003)

Web: N/A

Teacher: Worthy Martin ( martin@virginia.edu )

CS654: Computer Architecture (Fall 2002)

CS650: Designing Complex Software Systems (Fall 2002)

CS757: Computer Networks (Fall 2002)

Top

Home