Aggie Y. Sun

According to our database, Aggie Y. Sun authored at least 2 papers between 1992 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Wheels: An Automated Program Analysis Tool.

Aggie Y. Sun, Bruce M. McMillin

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

1992

Fault-tolerant concurrent branch and bound algorithms derived from program verification.

Hanan Lutfiyya, Aggie Y. Sun, Bruce M. McMillin

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992