Jeffrey Douglas

According to our database, Jeffrey Douglas authored at least 1 paper in 1994.

Collaborative distances:

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

1994

Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications.

Jeffrey Douglas, Richard A. Kemmerer

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994