External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Test-data generation for control coverage by proof

Ana Cavalcanti, Steve King, Colin O'Halloran, Jim Woodcock. Test-data generation for control coverage by proof. Formal Asp. Comput., 26(4):795-823, 2014. [doi]

Authors

Ana Cavalcanti

This author has not been identified. Look up 'Ana Cavalcanti' in Google

Steve King

This author has not been identified. Look up 'Steve King' in Google

Colin O'Halloran

This author has not been identified. It may be one of the following persons: Look up 'Colin O'Halloran' in Google

Jim Woodcock

This author has not been identified. Look up 'Jim Woodcock' in Google
runs on