id: 70319835 dt: a an: 70319835 au: Jones, Edward L. ti: Test-driven specification: paradigm and automation so: ACM Southeast Regional Conference, 796-797 (2006). py: 2006 pu: la: EN cc: ut: ci: li: doi:10.1145/1185448.1185641